[論文レビュー] Symplectic forms and cohomology decomposition of almost complex 4-manifolds

Tedi Drăghici, Tianjun Li+1 more|arXiv (Cornell University)|Dec 19, 2008

Geometry and complex manifolds参考文献 25被引用数 18

ひとこと要約

本稿は、任意のコン pact なほぼ複素構造をもつ 4 次元多様体において、実 de Rham コホロロジー群 $ H^2(M,\mathbb{R}) $ が $ J $-不変および $ J $-反変コホロロジー部分群 $ H_J^+ $ と $ H_J^- $ の直和に分解されることを確立している。これは 4 次元に特有の性質である。さらに、$ J $ がシンプレクティック形式によってたたくときの次元 $ h_J^+ $ と $ h_J^- $ の推定値を提供し、ドナルドソンの問題（$ 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 次元多様体におけるほぼ複素構造のコホロロジー的効果を、$ J $-不変および $ J $-反変 2 形式の分析によって理解すること。
• コン pact なほぼ複素構造 4 次元多様体に対して $ H_J^+(M) \oplus H_J^-(M) = H^2(M,\mathbb{R}) $ が成り立つことを確立すること。これは高次元では成り立たない性質である。
• $ J $ がシンプレクティック形式によってたたくときの次元 $ h_J^+ $ と $ h_J^- $ を推定すること。
• ドナルドソンの問題（ほぼ複素構造 $ J $ に対して $ J $-適合なシンプレクティック形式が存在するか）を、taming 形式の $ J $-反変部分に関する幾何的制約の観点から同値な定式化すること。

提案手法

• $ 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 形式が閉形式であるための条件を特定し、潜在的なシンプレクティック形式を同定する。
• 点ごとの正定性条件 (38) を $ \alpha \in \Omega_J^- $ に対して導出し、$ \tilde{J}_\alpha $ がシンプレクティック形式と適合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 コン pact なほぼ複素構造 4 次元多様体 $ M $ のコホロロジー群 $ H^2(M,\mathbb{R}) $ は、$ J $-不変および $ J $-反変コホロロジー部分群への直和分解をもつか？
• RQ2 $ J $ がシンプレクティック形式によってたたくとき、次元 $ h_J^+ $ と $ h_J^- $ を推定できるか？
• RQ3 ドナルドソンの問題（4 次元多様体上のたたくほぼ複素構造が、適合するシンプレクティック形式を持つのか）は、taming 形式の $ J $-反変部分に関する幾何的条件と同値か？
• RQ4 $ J $ が整型のとき、$ H_J^+ $、$ H_J^- $ とドルベール・コホロロジーとの関係は何か？
• RQ5 特に非整型の場合に、ほぼ複素構造の変形に伴い、部分群 $ H_J^\pm $ はどのように振る舞うか？

主な発見

• 任意のコン pact なほぼ複素構造 4 次元多様体に対して、$ H^2(M,\mathbb{R}) = H_J^+(M) \oplus H_J^-(M) $ が成り立つ。これは、任意の 4 次元多様体上のほぼ複素構造が $ C^\infty $-純粋かつ完全であることを示している。
• $ J $ が整型のとき、$ H_J^+ $ と $ H_J^- $ はそれぞれドルベール・コホロロジー群 $ 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 形式の存在が保証される。