[논문 리뷰] Kodaira dimensions of almost complex manifolds II

Haojie Chen, Weiyi Zhang|arXiv (Cornell University)|2020. 04. 27.

Geometry and complex manifolds참고 문헌 54인용 수 18

한 줄 요약

이 논문은 편의성에 기반한 다중 복소다양체에 대해 편의성 다중선형 캐논리컬 사상( pseudoholomorphic pluricanonical maps )을 사용하여 코다이라 차원과 이타카 차원의 두 번째 판을 도입한다. 이는 최고 차원에서의 코다이라 차원이 거의 복소다양체의 적분 가능성으로 이어짐을 증명하며, 4차원 다양체에서 코다이라 차원이 1인 경우의 구조적 결과를 확립하고, 복소기하학의 퇴화정리들을 거의 복소기하학으로 일반화한다. 또한 확률적 조합론적 접근을 통해, 테임드 심플렉틱 4차원 다양체에서 거의 코다이라 차원이 심플렉틱 코다이라 차원에 의해 위에서 유계임을 보인다.

ABSTRACT

This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the almost complex setting. For tamed symplectic $4$-manifolds, we show that the almost Kodaira dimension is bounded above by the symplectic Kodaira dimension, by using a probabilistic combinatorics style argument. The appendix also contains a few results including answering a question of the second author that there is a unique subvariety in exceptional curve classes for irrational symplectic $4$-manifolds, as well as extending Evans-Smith's constraint on symplectic embeddings of certain rational homology balls by removing the assumption on the intersection form.

연구 동기 및 목표

• 편의성 다중선형 캐논리컬 사상의 이미지 차원을 사용하여, 컴acts한 거의 복소다양체에 대해 코다이라 차원과 이타카 차원의 두 번째 판을 정의한다.
• 특히 4차원에서 거의 복소기하학적 설정에서 높은 코다이라 차원이 지닌 기하학적 및 위상적 함의를 조사한다.
• 복소기하학에서의 퇴화정리를 거의 복소기하학으로 일반화한다.
• 특히 테임드 심플렉틱 4차원 다양체에서 거의 코다이라 차원을 심플렉틱 불변량과 연결한다.
• 특정 공간들, 즉 $\mathbb{C}P^n$, $S^6$, 그리고 동차공간 $G/T$ 에서 이러한 불변량의 행동을 탐색한다.

제안 방법

• $(J,\mathcal{J})$-편의성 다중선형 섹션을 사용하여 $\mathcal{K}_X^{\otimes m}$ 에 대한 $\Phi_m: X \setminus B \to \mathbb{C}P^N$ 를 정의한다.
• 이미지 $\Phi_m$ 가 $\mathbb{C}P^N$ 내의 열린 분석적 부분다양체임을 증명함으로써, 이미지의 최대 복소차원을 이타카 차원으로 정의할 수 있다.
• 편의성 다중선형 사상의 구조와 호지 이론을 활용하여, $\kappa_J(X) = \dim_{\mathbb{C}} X$ 이면 $J$ 가 적분 가능하다는 것을 증명한다. 이는 다중선형계의 분석을 통해 이루어진다.
• 테임드 심플렉틱 4차원 다양체에서 거의 코다이라 차원 $\kappa_J(X)$ 가 심플렉틱 코다이라 차원 $\kappa^s(X,\omega)$ 에 의해 위에서 유계임을 증명하기 위해 확률적 조합론적 접근을 적용한다.
• 선다발 위에 거의 복소다양체의 구조를 구성하고, $m$-번째 다중선형수 $P_m(X,J)$ 를 $\mathcal{K}_X^{\otimes m}$ 의 편의성 다중선형 섹션 공간의 차원으로 정의한다.
• 비표준 루트 분해 $R = R_1 \sqcup R_2$ (여기서 $R_1 = -R_2$) 를 통해 비적분 가능한 거의 복소다양체로 분해된 루트계를 이용하여, 동차공간 $G/T$ 에서 선다발의 이타카 차원을 연구한다.

실험 결과

연구 질문

• RQ1 이중 코다이라 차원이 다중선형 사상의 이미지 차원을 통해 정의되었을 때, 최대값에 도달하면 거의 복소다양체의 적분 가능성을 감지할 수 있는가?
• RQ2 테임드 심플렉틱 4차원 다양체에서 거의 코다이라 차원이 심플렉틱 코다이라 차원에 의해 위에서 유계일 수 있으며, 그러한 유계를 확보하는 데 어떤 기법이 사용되는가?
• RQ3 비적분 가능한 루트 분해로부터 유도된 비적분 가능한 거의 복소다양체를 가진 $G/T$ 에서 반가역다발의 이타카 차원은 어떻게 행동하는가?
• RQ4 편의성 다중선형 빈티오 맵을 통한 컴팩트한 거의 복소4차원다양체에서 코다이라 및 이타카 차원이 비라션 불변량인가?
• RQ5 다양체 $M \times S^1$ 에서의 불변량 $\kappa_J$, $\kappa_{J}$, $h^{p,0}$ 이 3차원 다양체의 거의 접촉 구조에 대해 의미 있는 불변량을 유도하는가?

주요 결과

• 컴팩트한 거의 복소다양체 $(X,J)$ 에 대해 코다이라 차원 $\kappa_J(X)$ 가 $\dim_{\mathbb{C}} X$ 와 같다면, $J$ 는 적분 가능하다.
• 코다이라 차원이 1인 컴팩트한 거의 복소4차원다양체에서는 다중선형 사상이 복소다양체 위에 편의성 다중선형 타원곡선 구조를 유도한다.
• 테임드 심플렉틱 4차원다양체에서 거의 코다이라 차원 $\kappa_J(X)$ 는 심플렉틱 코다이라 차원 $\kappa^s(X,\omega)$ 에 의해 위에서 유계이며, 이는 확률적 조합론적 접근을 통해 증명되었다.
• 컴팩트한 거의 복소4차원다양체에서 다중선형수 $P_m(X,J)$ 는 비라션 불변량이며, 이는 $\kappa_J(X)$ 가 4차원에서 비라션 불변량이기도 하다는 것을 의미한다.
• 비유리 심플렉틱 4차원다양체에서는 각 예외적 곡선 클래스에 대해 유일한 부분다양체가 존재하며, 이는 제2저자에 의한 질문에 대한 답이다.
• 비표준 루트 분해를 통해 유도된 비적분 가능한 거의 복소다양체를 가진 $G/T$ 에서 반가역다발의 이타카 차원은 계산 가능하며, 이는 에반스-스미스의 심플렉틱 임베딩 제약 조건을 일반적인 교차형태로 확장한다.