[论文解读] Asymptotically cylindrical manifolds with holonomy Spin(7). I

Alexei Kovalev|arXiv (Cornell University)|Sep 19, 2013

Geometry and complex manifolds参考文献 26被引用 5

一句话总结

本文通过扩展乔伊斯对紧致 Spin(7)-流形的方法，首次构造出完整、渐近圆柱形的八维黎曼流形，其全霍洛尼群为 Spin(7)。通过解析具有光滑反canonical Calabi–Yau 3-流形除子和相容反全纯对合的法诺型凯勒 4-轨道丛的奇点，作者得到了具有受控拓扑结构和模空间维数的非紧致 Spin(7)-流形，包括两个不同例子的显式计算：b⁴(M₁) = 455 且模空间维数为 352，以及 b⁴(M₂) = 455 且模空间维数为 224。

ABSTRACT

We construct examples of asymptotically cylindrical Riemannian 8-manifolds with holonomy group Spin(7). To our knowledge, these are the first such examples. The construction uses an extension to asymptotically cylindrical setting of Joyce's existence result for torsion-free Spin(7)-structures. One source of examples arises from `Fano-type' Kaehler 4-orbifolds with smooth anticanonical Calabi-Yau 3-fold divisors and with compatible antiholomorphic involution. We give examples using weighted projective spaces and calculate basic topological invariants of the resulting Spin(7)-manifolds.

研究动机与目标

• 构造首个完整、非紧致、渐近圆柱形的八维流形，其全霍洛尼群为 Spin(7)。
• 将乔伊斯关于无 torsion 的 Spin(7)-结构的存在性定理推广至渐近圆柱形情形。
• 提出一种系统化方法，利用具有光滑反canonical Calabi–Yau 3-流形除子的法诺型凯勒 4-轨道丛来生成此类流形。
• 计算由加权射影空间生成的显式例子的拓扑不变量与模空间维数。
• 通过诺德斯特伦准则验证全霍洛尼群为 Spin(7)，即通过横截面的一阶贝蒂数为零。

提出的方法

• 通过在凯勒 4-轨道丛中解析奇点，将乔伊斯构造紧致 Spin(7)-流形的方法推广，用渐近圆柱形设定替代紧致商空间。
• 利用具有光滑反canonical Calabi–Yau 3-流形除子和相容反全纯对合的法诺型凯勒 4-轨道丛，构造渐近圆柱形的 Spin(7)-轨道丛。
• 应用乔伊斯存在性定理在渐近圆柱形情形的推广，依赖于 4-形式在无穷远处收敛至圆柱形模型。
• 使用加权射影空间定义显式例子，如 ℂP⁵₁,₁,₁,₁,₄,₄ 中的八次超曲面，并计算其奇点集与典范除子。
• 通过连续的爆破操作解析轨道丛奇点，确保反canonical 除子的法丛为全纯平凡，以满足构造要求。
• 应用霍奇理论与施滕布林公式计算轨道丛的霍奇数与欧拉示性数，并据此推导出所得 Spin(7)-流形的贝蒂数。

实验结果

研究问题

• RQ1 能否通过推广乔伊斯对紧致例子的方法，构造出渐近圆柱形的八维流形，其全霍洛尼群为 Spin(7)？
• RQ2 何种拓扑与几何条件可确保渐近圆柱形 Spin(7)-结构的霍洛尼群为全 Spin(7)，而非其真子群？
• RQ3 如何从复代数几何数据（如具有反canonical 除子的加权射影超曲面）生成此类流形的显式例子？
• RQ4 所得渐近圆柱形 Spin(7)-流形的贝蒂数与模空间维数为何？
• RQ5 能否在 4-形式以受控收敛速率趋近 Cayley 形式的情况下，建立乔伊斯存在性定理在渐近圆柱形情形的推广？

主要发现

• 通过在具有光滑反canonical Calabi–Yau 3-流形除子的法诺型凯勒 4-轨道丛中解析奇点，首次构造出完整、渐近圆柱形的八维流形，其全霍洛尼群为 Spin(7)。
• 对于第一个例子，渐近圆柱形的 Spin(7)-流形 M₁ 满足 b⁴(M₁) = 455，其中 b⁴₋(M₁) = 200，且其 Spin(7)-结构的模空间维数为 352。
• 对于第二个例子，M₂ 满足 b⁴(M₂) = 455，b⁴₋(M₂) = 72，模空间维数为 224，确认其与 M₁ 拓扑不同。
• 该构造依赖于一个 4-轨道丛 V，其定义为 ℂP⁵₁,₁,₁,₁,₄,₄ 中的八次超曲面，具有两个孤立的轨道丛奇点，且其反canonical 除子微分同构于八次费马曲面 Σ₈。
• V 的欧拉示性数为 χ(V) = 306，通过轨道丛分支覆盖递归计算得出，h³,₁(V) = 35 由雅可比理想上的施滕布林公式推导。
• 渐近圆柱形的 Spin(7)-流形 M₂ 也可从 ℂP⁴₁,₁,₁,₁,₄ 中的双倍反canonical 除子构造，需经两次连续爆破操作以实现法丛平凡，从而确认该构型的适配性。