[논문 리뷰] Oka properties of complements of holomorphically convex sets

Yuta Kusakabe|arXiv (Cornell University)|2020. 05. 17.

Holomorphic and Operator Theory참고 문헌 26인용 수 8

한 줄 요약

이 논문은 밀도 성질을 가진 스타인 다양체에서 컴acts한 헬름로프릭ally 볼록한 집합의 여부가 옥아 다양체임을 증명하여, 옥아 이론에서 오랫동안 열려있던 문제를 해결한다. 주요 결과는 $\mathbb{C}^n$ ($n>1$)에서 컴acts한 다항식 볼록 집합의 여부가 옥아임을 확인함으로써, 새로운 비타원형 옥아 다양체를 제공하고, 그로모프의 질문에 대해 부정적인 답변을 제시한다.

ABSTRACT

Our main theorem states that the complement of a compact holomorphically convex set in a Stein manifold with the density property is an Oka manifold. This gives a positive answer to the well-known long-standing problem in Oka theory whether the complement of a compact polynomially convex set in $\mathbb{C}^{n}$ $(n>1)$ is Oka. Furthermore, we obtain new examples of nonelliptic Oka manifolds which negatively answer Gromov's question. The relative version of the main theorem is also proved. As an application, we show that the complement $\mathbb{C}^{n}\setminus\mathbb{R}^{k}$ of a totally real affine subspace is Oka if $n>1$ and $(n,k) eq(2,1),(2,2),(3,3)$.

연구 동기 및 목표

• 컴acts한 다항식 볼록 집합의 여부가 $\mathbb{C}^n$ ($n>1$)에서 옥아 다양체인지 여부를 해결하는 것.
• 비타원형 옥아 다양체의 새로운 예를 제공하여, 옥아 성질에서 타원성으로의 함의에 대해 그로모프의 질문에 대해 부정적인 답변을 제시하는 것.
• 콤팩트 볼록 집합에서의 주어진 행동을 갖는 헬름로프릭스 맵에 대한 주요 정리의 상대적 버전을 수립하는 것.
• 주요 결과를 특정 기하 설정에 적용하는 것, 예를 들어 전체 실 아핀 부분공간과 닫힌 볼의 합집합의 여부에 대한 것.
• 밀도 성질을 가진 스타인 다양체에서 그래프 여부와 구성 공간의 사영에 대한 옥아 성질을 탐색하는 것.

제안 방법

• 밀도 성질을 가진 스타인 다양체의 성질을 활용하여, $\mathbb{C}$-완전한 헬름로프릭스 벡터장의 리 대칭이 모든 헬름로프릭스 벡터장의 리 대칭에 밀도를 이룬다는 것을 보장한다.
• 안더센–렌프트 이론을 적용하여, 연속 맵을 콤팩트 볼록 집합에서 헬름로프릭스 맵으로 변형하는 헬름로프릭스 미분형을 구성한다.
• 스타인 다양체에서 옥아 다양체로의 헬름로프릭스 맵에 대해, 옥아 상대 원리의 히포터피 리프팅을 활용하여 연속 섹션의 근사 및 변형을 보장한다.
• 특정 여부의 보편 커버(예: 격자 배열의 볼)를 구성하여, 밀도 성질을 가진 기저 공간에서의 옥아 성질을 전달한다.
• $\pi: \mathbb{C} \times \mathbb{C}^{n-1} \to \mathbb{C}^* \times \mathbb{C}^{n-1}$ 지수 함수를 사용하여 $\mathbb{C}^n$ 내의 콤팩트 볼록 집합을 $\mathbb{C}^* \times \mathbb{C}^{n-1}$로 옮기며, 밀도 성질이 여부가 옥아임을 보장한다.
• 밀도 성질을 가진 옥아 다양체로의 헬름로프릭스 서브머지온과 유한한 헬름로프릭스 섹션에 대해 옥아 성질을 적용하여, 그 여부가 옥아 성질을 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 컴acts한 다항식 볼록 집합의 여부가 $\mathbb{C}^n$ ($n>1$)에서 옥아 다양체인지 여부는 무엇인가?
• RQ2 밀도 성질을 가진 스타인 다양체에서 컴acts한 헬름로프릭스 볼록 집합의 여부에 대해 옥아 성질이 성립하는가?
• RQ3 옥아 성질에서 타원성으로의 함의에 대해 그로모프의 질문에 대해 부정적인 답변을 줄 수 있는 비타원형 옥아 다양체가 존재하는가?
• RQ4 밀도 성질을 가진 스타인 다양체에서 전체 실 아핀 부분공간 $\mathbb{R}^k$의 여부가 $n > 1$ 이고 $(n,k) \neq (2,1),(2,2),(3,3)$ 일 때 옥아 성질을 가진다?
• RQ5 함수 $f$가 헬름로프릭스가 아닐 때, $\mathbb{D} \times \mathbb{C}^n$ 내의 그래프 $\Gamma_f \subset \mathbb{D} \times \mathbb{C}^n$의 여부에서의 사영 $F(Y,n+1) \to F(Y,n)$에 대해 옥아 성질이 성립하는가?

주요 결과

• 밀도 성질을 가진 스타인 다양체 $Y$에서 컴acts한 $\mathcal{O}(Y)$-볼록 집합의 여부는 옥아 다양체이다.
• $n > 1$ 일 때, 임의의 컴acts한 다항식 볼록 집합 $K \subset \mathbb{C}^n$ 에 대해 $\mathbb{C}^n \setminus K$ 는 옥아이다. 이는 오랫동안 열려있던 문제를 해결한다.
• $n > 1$ 이고 $(n,k) \neq (2,1),(2,2),(3,3)$ 일 때, $\mathbb{C}^n \setminus \mathbb{R}^k$ 는 옥아이다. 이는 실 부분공간을 제거한 새로운 옥아 다양체의 예를 제공한다.
• $n > 1$ 이고 $0 < \varepsilon < 1/2$ 일 때, $\mathbb{C}^n \setminus \bigcup_{p \in \mathbb{Z} \times \{0\}^{n-1}} \overline{\mathbb{B}^n(p,\varepsilon)}$ 는 옥아이다. 이는 $\mathbb{C}^* \times \mathbb{C}^{n-1}$-기반의 보편 커버를 통해 도출된다.
• 모든 밀도 성질을 가진 스타인 다양체 $Y$ 와 $n \in \mathbb{N}$ 에 대해, 사영 $F(Y,n+1) \to F(Y,n)$ 는 옥아 성질을 가진다. 이는 옥아 성질을 구성 공간으로 확장한다.
• 헬름로프릭스가 아닌 실해석함수 $f: \mathbb{D} \to \mathbb{C}^n$ ($n > 1$)가 존재하며, 예를 들어 $f(z) = (\bar{z}, 0, \ldots, 0)$ 와 같이, 사영 $(\mathbb{D} \times \mathbb{C}^n) \setminus \Gamma_f \to \mathbb{D}$ 는 옥아 성질을 가진다. 이는 이 성질에 대해 헬름로프릭스 성질이 필수적이지 않음을 보여준다.