[论文解读] 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

一句话总结

本文证明，在任意紧致几乎复 4-流形上，实 de Rham 上同调群 $ H^2(M,\mathbb{R}) $ 可分解为 $ J $-不变与 $ J $-反不变上同调子群 $ H_J^+ $ 和 $ H_J^- $ 的直和，此性质仅在四维时成立。当 $ 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.

研究动机与目标

• 通过分析 $ J $-不变与 $ J $-反不变 2-形式，理解几乎复结构对 4-流形上同调的影响。
• 证明对于紧致几乎复 4-流形，有 $ H_J^+(M) \oplus H_J^-(M) = H^2(M,\mathbb{R}) $，此性质在更高维不成立。
• 当 $ J $ 被辛形式张量时，估计维数 $ h_J^+ $ 与 $ h_J^- $。
• 以 2-形式的几何约束条件，给出唐纳森关于 $ J $-兼容辛形式存在性问题的等价表述。

提出的方法

• 将 $ H_J^+(M) $ 与 $ H_J^-(M) $ 定义为 $ H^2(M,\mathbb{R}) $ 的子群，分别由可由 $ J $-不变与 $ J $-反不变实 2-形式代表的上同调类组成。
• 利用几乎复结构 $ J $ 导出的分解 $ \Lambda^2 = \Lambda_J^+ \oplus \Lambda_J^- $ 分析 2-形式空间。
• 应用 Hodge 分解与调和投影，将 $ 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-流形的上同调群 $ H^2(M,\mathbb{R}) $ 是否允许分解为 $ J $-不变与 $ J $-反不变上同调子群的直和？
• RQ2 当 $ J $ 被辛形式张量时，能否估计 $ h_J^+ $ 与 $ h_J^- $ 的维数？
• RQ3 唐纳森的问题——即在 4-流形上，被张量的几乎复结构是否允许存在兼容的辛形式——是否等价于对张量形式的 $ J $-反不变部分的几何约束条件？
• RQ4 当 $ J $ 整复时，$ H_J^+ $、$ H_J^- $ 与 Dolbeault 上同调之间有何关系？
• RQ5 在非整复情形下，子群 $ H_J^\pm $ 在几乎复结构形变下的行为如何？

主要发现

• 对任意紧致几乎复 4-流形，有 $ H^2(M,\mathbb{R}) = H_J^+(M) \oplus H_J^-(M) $，证明了任意 4-流形上的几乎复结构均为 $ C^\infty $-纯且完全的。
• 当 $ J $ 整复时，$ H_J^+ $ 与 $ H_J^- $ 分别自然地与 Dolbeault 上同调群 $ 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 $ 是否与辛形式兼容？
• 一个充分条件是：点态地有 $ 2 + |\alpha|^2 - 4|((\alpha^{\text{exact}})_g^-)^2 > 0 $，以确保存在一个闭的、正定的 $ \tilde{J}_\alpha $-不变 2-形式。