[论文解读] Generalized Kaehler manifolds with split tangent bundle

Vestislav Apostolov, Marco Gualtieri|ArXiv.org|May 12, 2006

Geometry and complex manifolds参考文献 23被引用 3

一句话总结

本文对具有分裂切丛且诱导复结构 $J_+$ 与 $J_-$ 交换并诱导相反定向的紧致广义凯勒四维流形进行了分类。证明了此类流形必为全纯分裂切丛的复曲面，并将其完全分类为卡拉比-丘或双椭圆曲面，或特定类型的霍普夫曲面，通过共形几何与李形式归一化方法明确建立了广义凯勒度量的存在性。

ABSTRACT

We study generalized Kaehler manifolds for which the corresponding complex structures commute and classify completely the compact generalized Kaehler four-manifolds for which the induced complex structures yield opposite orientations.

研究动机与目标

• 对诱导复结构 $J_+$ 与 $J_-$ 交换且诱导相反定向的紧致广义凯勒四维流形进行分类。
• 确定哪些紧致复曲面可从分裂切丛 $TM = T_-M \bigoplus T_+M$ 中获得非平凡的广义凯勒结构。
• 通过共形几何与李形式归一化方法，建立这些曲面上广义凯勒度量的存在性。
• 解决具有分裂全纯切丛的复曲面上安比赫尔米特广义凯勒结构的存在性问题。

提出的方法

• 利用广义凯勒结构与三元组 $(g, J_+, J_-)$ 之间的等价性，其中复结构可交换且满足 $d^c_+F_+ + d^c_-F_- = 0$，此处 $F_ullet = gJ_ullet$。
• 应用 $T_{ullet}M$ 为 $TM$ 的全纯可积子丛的条件，从而在 $M$ 上诱导出全纯叶状结构。
• 应用博伊莱夫关于全纯切丛分裂的猜想，确认 $TM$ 可分裂当且仅当 $M$ 局部为具有对角 $ ho_1(M)$-作用的复流形的积。
• 利用高斯丘关于共形类中 $ar\bd$-闭基本形式的结果，构造一个标准度量 $g_0$，使得 $ heta_{g_0}^{g_0}$ 为调和形式。
• 利用与分裂相容的度量满足 $ heta_+^g = heta_-^g$ 的事实，并将 $g_0$ 归一化使得 $ar\bd(\theta_{g_0}^{g_0}) = 0$，从而得到广义凯勒结构。
• 应用文献 [8]、[50] 与 [22] 的结果，对 $b_1(M)$ 为偶数或奇数的曲面进行分类，通过单值性与覆叠空间论证排除非分裂情形。

实验结果

研究问题

• RQ1 哪些紧致复四维流形可具有非平凡的广义凯勒结构，且其交换复结构 $J_+$ 与 $J_-$ 诱导相反定向？
• RQ2 复曲面的全纯切丛分裂为两个全纯可积子丛的充要条件是什么？
• RQ3 对于此类分裂切丛，是否存在一个与 $J_+$ 和 $J_-$ 均相容的黎曼度量 $g$，使得三元组 $(g, J_+, J_-)$ 构成广义凯勒结构？
• RQ4 当 $J_+$ 与 $J_-$ 交换且诱导相反定向时，哪些卡拉比-丘或双椭圆曲面，或霍普夫曲面，可具有广义凯勒度量？
• RQ5 此类广义凯勒结构的存在性是否可通过共形几何与李形式归一化方法确立？

主要发现

• 所有具有分裂切丛且诱导复结构 $J_+$、$J_-$ 交换并诱导相反定向的紧致广义凯勒四维流形，均按定理 1 中的六类（a）–（f）完成分类。
• 该分类包括卡拉比-丘曲面（K3、艾内鲁克斯曲面）与主/次卡拉比-丘曲面（Kodaira 维数为 0），以及 $b_1$ 为偶数或奇数的椭圆曲面，以及特定霍普夫曲面。
• 对于 $b_1(M)$ 为偶数的情形，分类与博伊莱夫结果一致：$M$ 要么为黎曼曲面的积，要么为具有射影平坦丛的纤维曲面。
• 对于 $b_1(M)$ 为奇数的情形，仅特定霍普夫曲面（如 $ ho_1(M)$ 在 $\bbC \times \bbH$ 上作用对角）可具有此类结构，排除了非对角单值性的曲面。
• 通过构造共形类 $[g]$ 中的标准度量 $g_0$，使得 $ar\bd(\theta_{g_0}^{g_0}) = 0$，证明了广义凯勒度量的存在性，从而确保三元组 $(g_0, J_+, J_-)$ 满足广义凯勒条件。
• 此类广义凯勒度量的族依赖于一个任意光滑函数，反映了选择共形因子的自由度。