[논문 리뷰] Symplectic forms and cohomology decomposition of almost complex 4-manifolds

Tedi Drăghici, Tianjun Li외 1명|arXiv (Cornell University)|2008. 12. 19.

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

한 줄 요약

이 논문은 임의의 컴acts한 거의 복소 4차원 다양체에서 실 de Rham 코homology 군 $ H^2(M,\mathbb{R}) $ 가 $ J $-관찰적 및 $ J $-반관찰적 코homology 부분군 $ H_J^+ $ 와 $ H_J^- $ 의 직합으로 분해됨을 증명한다. 이 성질은 유일하게 4차원에서만 성립한다. 또한 $ J $ 가 심플렉틱 형식에 의해 티밍될 경우 차원 $ h_J^+ $ 와 $ h_J^- $ 에 대한 추정치를 제시하며, 도널드슨의 질문(일반화된 심플렉틱 형식의 존재성에 관한 질문)을 다른 형태로 재구성한다.

ABSTRACT

For any compact almost complex manifold $(M,J)$, the last two authors defined two subgroups $H_J^+(M)$, $H_J^-(M)$ of the degree 2 real de Rham cohomology group $H^2(M, \mathbb{R})$ in arXiv:0708.2520. These are the sets of cohomology classes which can be represented by $J$-invariant, respectively, $J$-anti-invariant real $2-$forms. In this note, it is shown that in dimension 4 these subgroups induce a cohomology decomposition of $H^2(M, \mathbb{R})$. This is a specifically 4-dimensional result, as it follows from a recent work of Fino and Tomassini. Some estimates for the dimensions of these groups are also established when the almost complex structure is tamed by a symplectic form and an equivalent formulation for a question of Donaldson is given.

연구 동기 및 목표

• 거의 복소 4차원 다양체에서의 코homological 효과를 $ J $-관찰적 및 $ J $-반관찰적 2형식을 분석함으로써 이해하는 것.
• 컴팩트한 거의 복소 4차원 다양체에서 $ H_J^+(M) \oplus H_J^-(M) = H^2(M,\mathbb{R}) $ 가 성립함을 증명하는 것. 이 성질은 높은 차원에서는 성립하지 않는다.
• $ J $ 가 심플렉틱 형식에 의해 티밍될 경우 $ h_J^+ $ 와 $ h_J^- $ 의 차원을 추정하는 것.
• 도널드슨의 질문(거의 복소 구조 $ J $ 가 존재하는 4차원 다양체에서 $ J $-호환 심플렉틱 형식이 존재하는가)을 $ J $-반관찰적 부분에 대한 기하적 제약 조건의 관점에서 재구성하는 것.

제안 방법

• 특정 코homology 군 $ H_J^+(M) $ 와 $ H_J^-(M) $ 는 각각 $ J $-관찰적 및 $ J $-반관찰적 실 2형식으로 표현 가능한 $ H^2(M,\mathbb{R}) $ 의 부분군으로 정의한다.
• 거의 복소 구조 $ J $ 가 유도하는 분해 $ \Lambda^2 = \Lambda_J^+ \oplus \Lambda_J^- $ 를 사용하여 2형식의 공간을 분석한다.
• 호지 분해와 조화형식의 사영을 적용하여 $ H_J^\pm $ 와 $ \Omega_J^\pm $ 내의 조화형식 공간을 연결한다.
• 거의 켈러 구조의 기본 2형식 $ \omega $ 를 사용하여 메트릭의 동치류를 구성하고, $ \tilde{J}_\alpha $-관찰적 형식을 분석한다.
• 레마 2.4 를 적용하여 $ \tilde{J}_\alpha $-관찰적 2형식이 닫혀져 있을 조건을 결정함으로써 잠재적인 심플렉틱 형식을 식별한다.
• 형식 $ \alpha \in \Omega_J^- $ 에 대한 국소적 양성 조건 (38) 을 유도하여 $ \tilde{J}_\alpha $ 가 심플렉틱 형식과 호환됨을 보장한다.

실험 결과

연구 질문

• RQ1 컴팩트한 거의 복소 4차원 다양체의 코homology 군 $ H^2(M,\mathbb{R}) $ 는 $ J $-관찰적 및 $ J $-반관찰적 코homology 부분군으로 직합 분해가 가능한가?
• RQ2 $ J $ 가 심플렉틱 형식에 의해 티밍될 경우 $ h_J^+ $ 와 $ h_J^- $ 의 차원을 추정할 수 있는가?
• RQ3 도널드슨의 질문—즉, 4차원 다양체에서 티밍된 거의 복소 구조가 호환되는 심플렉틱 형식을 가질 수 있는가—는 $ 티밍 형식의 $ J $-반관찰적 부분에 대한 기하적 조건과 동치인가?
• RQ4 $ J $ 가 적합할 경우 $ H_J^+ $, $ H_J^- $ 와 도르베오르 코homology 간의 관계는 무엇인가?
• RQ5 $ J $ 가 적합하지 않은 경우, 거의 복소 구조의 변형에 따라 부분군 $ H_J^\pm $ 는 어떻게 행동하는가?

주요 결과

• 임의의 컴팩트한 거의 복소 4차원 다양체에서 $ H^2(M,\mathbb{R}) = H_J^+(M) \oplus H_J^-(M) $ 가 성립함을 증명하여, 모든 4차원 다양체에서의 거의 복소 구조가 $ C^\infty $-pure 및 full 임을 보였다.
• 만약 $ J $ 가 적합하다면, $ H_J^+ $ 와 $ H_J^- $ 는 각각 도르베오르 코homology 군 $ H^{2,0}_J $ 와 $ H^{1,1}_J $ 와 자연스럽게 관련되어 있다.
• 만약 $ b^+ = 1 $ 이고 $ J $ 가 티밍된다면, $ h_J^+ = 1 + b^- = b_2 $ 이고 $ h_J^- = 0 $ 이며, 이는 차원에 대한 날카로운 추정치를 보여준다.
• 티밍된 $ J $ 에 대해 $ h_J^+ \geq b^+ $ 이 성립함을 증명하였으며, 이는 기존의 호환 가능한 $ J $ 에 대한 결과를 티밍된 경우로 확장한 것이다.
• 도널드슨의 질문은 임의의 $ \alpha \in \Omega_J^- $ 에 대해, $ \omega + \alpha $ 에 의해 유도된 거의 복소 구조 $ \tilde{J}_\alpha $ 가 심플렉틱 형식과 호환되는가를 묻는 것과 동치이다.
• 형식 $ \tilde{J}_\alpha $ 가 심플렉틱 형식과 호환되기 위한 충분조건은 국소적으로 $ 2 + |\alpha|^2 - 4|((\alpha^{\text{exact}})_g^-)^2 > 0 $ 이 성립함을 보여주며, 이는 닫혀지고 정의된 양성 $ \tilde{J}_\alpha $-관찰적 2형식의 존재를 보장한다.