[论文解读] Coassociative K3 fibrations of compact G_2-manifolds

Alexei Kovalev|arXiv (Cornell University)|Nov 6, 2005

Geometric Analysis and Curvature Flows参考文献 30被引用 9

一句话总结

该论文通过从两个渐近柱状的 SU(3)-流形构造广义连通和，首次构建了紧致 G₂-流形的共协子流形纤维化。通过在每个 SU(3)-流形上利用 K3 曲面的 Lefschetz 笔帘实现纤维化，粘合后得到在 S³ 上的共协纤维化，其奇异纤维微分同胚于具有普通双点的 K3 奥尔比特，参数化于 S³ 中的 Hopf 型链环。

ABSTRACT

A class of examples of Riemannian metrics with holonomy G_2 on compact 7-manifolds was constructed by the author in arXiv:math.DG/0012189 and later in a joint work with N.-H. Lee in arXiv:0810.0957, using a certain `generalized connected sum' of two asymptotically cylindrical manifolds with holonomy SU(3). We consider, on each of the two initial SU(3)-manifolds, a fibration arising from a Lefschetz pencil of K3 surfaces. The gluing of the two K3 fibrations yields a coassociative fibration of the connected sum G_2-manifold over a 3-dimensional sphere. The singular fibres of this fibration are diffeomorphic to K3 orbifolds with ordinary double points and are parameterized by a Hopf-type link. We believe that these are the first examples of fibrations of compact manifolds of holonomy G_2 by coassociative minimal submanifolds.

研究动机与目标

• 构造紧致 G₂-流形的共协极小子流形纤维化，这是 G₂ 几何中长期存在的猜想性结构。
• 将 McLean 对共协子流形的形变理论扩展至具有普通双点的共协 K3 奥尔比特。
• 证明在广义连通和构造中，当满足“长颈”条件（对应于无 torsion G₂-结构模空间边界附近的一点）时，此类纤维化存在。
• 表明纤维化在奇异纤维处具有 C¹,α 正则性，且奇异纤维以 codimension-two 家族形式出现，与特殊拉格朗日子流形纤维化中的 codimension-one 奇异纤维形成对比。
• 通过 Banach 空间中的隐函数定理进行摄动分析，建立此类纤维化的存在性，依赖于 [Ko] 中的 G₂-度量粘合构造。

提出的方法

• 利用 [Ko] 中发展的从两个具有 SU(3) 旋光性的渐近柱状 SU(3)-流形构造 G₂-流形的广义连通和构造。
• 通过 K3 曲面的 Lefschetz 笔帘在每个 SU(3)-流形上构造纤维化，其在 S² 上诱导纤维化，包含 24 个奇异纤维。
• 沿柱状端粘合两个 K3 纤维化，得到 G₂-流形在 S³ 上的纤维化。
• 对具有小 torsion 的近似纤维化应用摄动分析，利用 Banach 空间中的隐函数定理将其形变为真正的共协纤维化。
• 通过分析线性化算子，将 McLean 的形变理论扩展至共协 K3 奥尔比特，证明该情形下核与余核条件成立。
• 通过估计导数与曲率，建立纤维化在奇异纤维处的 C¹,α 正则性，表明定义纤维化的向量场在奇异点处为 Lipschitz 连续。

实验结果

研究问题

• RQ1 紧致 G₂-流形能否被共协极小子流形纤维化？若能，此类纤维化的结构如何？
• RQ2 此类纤维化的奇异纤维行为如何？其表现出何种拓扑或几何结构？
• RQ3 共协子流形的形变理论能否扩展至具有普通双点的奇异共协 K3 奥尔比特？
• RQ4 对 G₂-结构（如连通和中的“长颈”）需满足何种条件，才能保证此类纤维化的存在？
• RQ5 与卡拉比-丘流形中特殊拉格朗日子流形纤维化的正则性相比，此类纤维化的正则性如何，特别是奇异纤维的余维数方面？

主要发现

• 首次构造出紧致 G₂-流形被共协极小子流形纤维化的已知例子，其一般纤维微分同胚于 K3 曲面。
• 奇异纤维为具有普通双点的 K3 奥尔比特，以 S¹ 家族形式出现，参数化于 S³ 中的 Hopf 型链环，且数量有限。
• 纤维化在奇异纤维处具有 C¹,α 正则性，与特殊拉格朗日子流形纤维化中分段光滑的奇异点形成对比。
• 由于隐函数定理论证，该纤维化在由闭 3-形式定义的环境 G₂-结构的小扰动下保持不变。
• 该构造依赖于将 McLean 的形变理论扩展至共协 K3 奥尔比特，其奇异纤维上的自对偶调和 2-形式由 Kähler 形式及 (2,0)-形式的实部与虚部张成。
• 定义纤维化的向量场的 C¹ 范数由扰动中使用的 1-形式 η 的 C¹ 范数控制，且该界与连通和中的颈长 T 无关，具有统一性。