[论文解读] A new construction of compact 8-manifolds with holonomy Spin(7)

Dominic Joyce|arXiv (Cornell University)|Oct 1, 1999

Geometry and complex manifoldsMathematics参考文献 9被引用 19

一句话总结

本文提出了一种新的构造方法，通过从具有孤立奇点的卡拉比–丘 4-轨道丛和一个固定这些奇点的反全纯等距对合开始，构造出具有 G2 丛 holonomy 的紧致 8-流形。该对合将结构群从 SU(4) 降低至 Spin(7)，并通过使用渐近局部欧几里得的 Spin(7)-流形对商轨道丛进行解析，从而得到新的具有完整 Spin(7) holonomy 的紧致 8-流形。关键贡献在于发现了中等贝蒂数 b⁴ 高达 11,662 的例子，显著超过了以往构造的上限。

ABSTRACT

The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. In a previous paper (Invent. math. 123 (1996), 507-552) the author constructed the first examples of compact 8-manifolds with holonomy Spin(7), by resolving orbifolds T^8/G, where T^8 is the 8-torus and G a finite group of automorphisms of T^8. This paper describes a different construction of compact 8-manifolds with holonomy Spin(7). We start with a Calabi-Yau 4-orbifold Y with isolated singularities, and an isometric, antiholomorphic involution σof Y fixing only the singular points. Let Z=Y/. Then Z is an orbifold with isolated singularities, and a natural Spin(7)-structure. We resolve the singular points of Z to get a compact 8-manifold M, and show that M has holonomy Spin(7). Taking Y to be a hypersurface in a complex weighted projective space, we construct new examples of compact 8-manifolds with holonomy Spin(7), and calculate their Betti numbers b^k. The fourth Betti number b^4 tends to be rather large, as high as 11,662 in one example.

研究动机与目标

• 开发一种新的构造紧致 8-流形与 Spin(7) holonomy 的方法，区别于以往基于环面的构造。
• 探讨卡拉比–丘 4-轨道丛上的反全纯对合在将结构群从 SU(4) 降低至 Spin(7) 中的作用。
• 使用渐近局部欧几里得（ALE）的 Spin(7)-流形解析由此类对合产生的商轨道丛 Z = Y/⟨σ⟩。
• 计算并分析所得紧致 Spin(7)-流形的贝蒂数，特别是中等贝蒂数 b⁴。
• 识别区分这些新例子与先前已知的紧致 Spin(7)-流形的拓扑不变量。

提出的方法

• 从具有孤立奇点 p₁,…,pₖ 的卡拉比–丘 4-轨道丛 Y 开始，其局部模型为 C⁴/ℤ₄ 或 C⁴/{±1}。
• 引入一个固定奇点并保持诱导的 Spin(7)-结构的反全纯等距对合 σ: Y → Y。
• 形成商轨道丛 Z = Y/⟨σ⟩，其继承一个具有孤立奇点的无 torsion Spin(7)-结构。
• 使用渐近于 R⁸/G 的 ALE Spin(7)-流形解析 Z 的奇点，确保解析过程保持 Spin(7) holonomy。
• 使用分析方法将所得的近乎平行 Spin(7)-结构族形变为 torsion 为零的结构，从而得到具有完整 Spin(7) holonomy 的度量。
• 通过代数几何技术计算贝蒂数，特别是利用 Hodge 理论和解析的拓扑结构。

实验结果

研究问题

• RQ1 能否通过反全纯对合从卡拉比–丘 4-轨道丛构造出具有 Spin(7) holonomy 的紧致 8-流形？
• RQ2 对合与奇点的何种条件可确保商轨道丛能在 Spin(7) holonomy 类中被解析？
• RQ3 此类构造所得流形的贝蒂数与基于环面商的先前构造相比如何？
• RQ4 是否存在在 Spin(7) 设置下具有可 crepant 解析的卡拉比–丘 4-轨道丛，以及哪些类型的奇点允许这种解析？
• RQ5 此类构造中中等贝蒂数 b⁴ 的可能取值范围是什么？

主要发现

• 该构造至少产生了 14 个拓扑上互异的具有 Spin(7) holonomy 的紧致 8-流形，其中没有任何一个的贝蒂数与早期基于环面的构造相同。
• 在某个例子中，中等贝蒂数 b⁴ 高达 11,662，远超以往构造中观察到的 162 的上限。
• 对于加权射影空间中的超曲面族，贝蒂数被显式计算：b² = 4−k，b³ = 33，b⁴ = 200+2k，其中 k = 0,…,4。
• 所得流形上 Spin(7) 度量的模空间维数为 69+k，表明存在丰富多样的不同 holonomy 度量族。
• 并非所有类型为 C⁴/{±1} 的奇点都能在 Spin(7) holonomy 类中实现 crepant 解析；只有对切空间上对合作用的特定类型允许此类解析。
• b⁴ = 11,662 的例子来源于一个具有 12 个奇点的卡拉比–丘 4-轨道丛，每个奇点局部模型为 C⁴/ℤ₄，且对合在切空间上有特定作用。