[논문 리뷰] Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds

Tianjun Li, Weiyi Zhang|ArXiv.org|2007. 08. 19.

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

한 줄 요약

이 논문은 거의 복소다양체에 대해 $H^{1,1}_J(M)_{\mathbb{R}}$ 및 $H^{(2,0),(0,2)}_J(M)_{\mathbb{R}}$와 같은 코homological 불변량을 도입하여 $J$-tamed 및 $J$-compatible 심플렉틱 콘을 비교한다. $C^\infty$ full 거의 복소다양체에 대해 tamed 콘은 compatible 콘에 특정 코homology 부분군을 더한 것과 같음을 증명하며, 4차원에서 Donaldson의 질문의 핵심 케이스를 해결한다.

ABSTRACT

We introduce certain homology and cohomology subgroups for any almost complex structure and study their pureness, fullness and duality properties. Motivated by a question of Donaldson, we use these groups to relate J-tamed symplectic cones and J-compatible symplectic cones over a large class of almost complex manifolds, including all Kahler manifolds, almost Kahler 4-manifolds and complex surfaces.

연구 동기 및 목표

• 4차원 다이나믹에서 $J$-tamed 심플렉틱 형식이 같은 코homology 클래스에 $J$-compatible 대표를 가지는지에 대한 Donaldson의 질문을 다룸.
• 비통합적인 거의 복소다양체를 위한 Dolbeault 코hom로의 유사물로 간주되는 $H^{1,1}_J(M)_{\mathbb{R}}$ 및 $H^{(2,0),(0,2)}_J(M)_{\mathbb{R}}$의 정의 및 연구.
• 이 부분군이 $H^2(M;\mathbb{R})$ 및 $H_2(M;\mathbb{R})$의 직접 합 분해를 이룰 수 있는 조건을 특성화하고, $C^\infty$ pure 및 full 구조의 개념을 도입함.
• $J$-tamed 및 $J$-compatible 심플렉틱 콘 사이의 구조적 관계를 이러한 코homological 부분군을 통해 수립함.
• 특정 4차원 다이나믹에서 모든 복소다양체에 대해 통합된 tamed 및 compatible 콘을 분석하며, 특히 카이러 및 비카이러 표면의 맥락에서 고려함.

제안 방법

• 일반화된 Dolbeault 코homology를 위해 거의 복소다양체 $J$와 관련된 실수 코homology 부분군 $H^{1,1}_J(M)_{\mathbb{R}}$ 및 $H^{(2,0),(0,2)}_J(M)_{\mathbb{R}}$를 도입함.
• $H^2(M;\mathbb{R})$ 및 $H_2(M;\mathbb{R})$에 대한 직접 합 분해를 이루는 경우를 위해 $C^\infty$ pure 및 full 구조를 정의함.
• [30] 및 [17]의 기법을 사용하여, 만약 $J$가 $C^\infty$ full 이고 $\mathcal{K}_J^c \neq \emptyset$ 이면 $\mathcal{K}_J^t = \mathcal{K}_J^c + H_J^{(2,0),(0,2)}(M)_{\mathbb{R}}$ 임을 증명함.
• 카이러 다양체 및 거의 카이러 4차원 다이나믹에 결과를 적용하여, 통합된 경우에 $H_J^{(2,0),(0,2)}(M)_{\mathbb{R}}$ 가 $H_{\bar{\partial}}^{2,0}(M) \oplus H_{\bar{\partial}}^{0,2}(M)$ 와 동형임을 보임.
• 고정된 4차원 다이나믹 $M$ 에서 모든 복소다양체에 대해 통합된 tamed 및 compatible 콘 $\mathcal{K}_{\text{Int}}^t(M)$ 및 $\mathcal{K}_{\text{Int}}^c(M)$ 을 분석함. 특히 일반 유형의 표면에 대해 고려함.
• 호지-리만 양자관계 및 변형 기법을 적용하여, $p_g > 0$ 이고 $n=2$ 이며 $\beta$ 에 대해 특정 조건을 만족할 경우, $\mathcal{K}_{\text{Int}}^c(M,e) \subsetneq \mathcal{K}_{\text{Int}}^t(M,e)$ 를 보임.

실험 결과

연구 질문

• RQ1 Donaldson의 질문에 따르면, 4차원 다이나믹에서 $J$-tamed 심플렉틱 형식이 같은 코homology 클래스에 $J$-compatible 대표를 가지는가?
• RQ2 비통합적인 $J$ 에 대해 $J$-tamed 및 $J$-compatible 심플렉틱 콘 사이에 코homological 불변량을 통해 관계를 설정할 수 있는가?
• RQ3 $H^{1,1}_J(M)_{\mathbb{R}}$ 및 $H^{(2,0),(0,2)}_J(M)_{\mathbb{R}}$ 가 $H^2(M;\mathbb{R})$ 의 직접 합 분해를 이룰 수 있는 거의 복소다양체 $J$ 는 어떤 경우인가?
• RQ4 일반 유형의 복소표면에서 $p_g \geq 1$ 인 경우, 통합된 tamed 콘은 통합된 compatible 콘보다 엄밀히 큰가?
• RQ5 고정된 차수 2의 클래스 $e$ 에 대해 $\mathcal{K}_{\text{Int}}^c(M,e) \subsetneq \mathcal{K}_{\text{Int}}^t(M,e)$ 가 성립하는 조건은 무엇인가?

주요 결과

• 모든 $C^\infty$ full 거의 복소다양체 $J$ 에 대해, 만약 $J$-compatible 콘 $\mathcal{K}_J^c$ 가 비어있지 않다면, $J$-tamed 콘은 $\mathcal{K}_J^t = \mathcal{K}_J^c + H_J^{(2,0),(0,2)}(M)_{\mathbb{R}}$ 를 만족한다.
• 카이러 다양체의 경우, $H_J^{(2,0),(0,2)}(M)_{\mathbb{R}}$ 는 $H_{\bar{\partial}}^{2,0}(M) \oplus H_{\bar{\partial}}^{0,2}(M)$ 와 동형이며, 고전적 Dolbeault 이론과의 일致를 확인한다.
• $b^+ = 1$ 인 4차원 다이나믹에서는 $H_J^{(2,0),(0,2)}(M)_{\mathbb{R}}$ 가 자명하므로, $\mathcal{K}_J^c \neq \emptyset$ 이면 항상 $\mathcal{K}_J^t = \mathcal{K}_J^c$ 이다.
• 일반 유형의 복소표면에서 $p_g \geq 1$ 이면, 통합된 tamed 콘 $\mathcal{K}_{\text{Int}}^t(M)$ 은 통합된 compatible 콘 $\mathcal{K}_{\text{Int}}^c(M)$ 보다 엄밀히 크며, 이는 추측 4.12 를 지지한다.
• $n=2$ 이고 $p_g > 0$, $e$ 가 캐논컬 클래스이며 $\beta$ 가 0이 아닌 $(2,0)+(0,2)$-형식이며 $|t|$ 가 크거나 0이 아닌 작은 값이면, $\mathcal{K}_{\text{Int}}^c(M,e) \subsetneq \mathcal{K}_{\text{Int}}^t(M,e)$ 가 성립한다.
• $c_1(E)=0$ 이고 $c_5(E) = m\lambda$ 인 $\mathbb{P}(E)$ 에서는 tamed 이지만 compatible 이 아닌 심플렉틱 형식이 존재함을 보여, $\mathbb{P}(E)$ 는 비카이러이지만 tamed 심플렉틱 구조를 가짐을 보여주며, tamed 및 compatible 콘 사이의 격차를 설명한다.