[论文解读] On Certain 5-manifolds with Fundamental Group of Order 2

Ian Hambleton, Yang Su|arXiv (Cornell University)|Mar 30, 2009

Geometric and Algebraic Topology参考文献 19被引用 3

一句话总结

本文在纤维类型条件下，对基本群为 ℤ/2 且第二同调群无挠的光滑与拓扑闭定向 5-流形进行了完整分类。通过使用 Pin^†- bordism 不变量与 H₂ 的秩，证明了两个此类流形微分同胚（或同胚）当且仅当它们具有相同的 w₂-类型、H₂ 秩以及特征子流形在 Ω₄^Pin^†/± 中的 bordism 类。

ABSTRACT

In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds.

研究动机与目标

• 在纤维类型条件下，对基本群为 ℤ/2 且 H₂ 无挠的光滑与拓扑 5-流形进行分类。
• 识别出完全确定此类流形微分同胚与同胚类型的不变量集合。
• 为基本群为 ℤ/2 的单连通 4-流形上的圆丛提供显式的几何模型。
• 建立此类 5-流形可光滑化或不可光滑化的条件。
• 将分类结果与接触结构、Sasakian 结构或爱因斯坦度量等几何结构的存在性联系起来。

提出的方法

• 应用克雷克（Kreck）发展的修正手术理论，对给定同伦类型的流形进行分类。
• 利用手术精确序列与稳定向量丛上的 Pin^†-结构来定义不变量。
• 利用 5-流形 M 的特征子流形 P，定义 bordism 类 [P] ∈ Ω₄^Pin^†/±。
• 依赖于 Pin^†-bordism 群的分类，特别是 Ω₄^Pin^c ≅ ℤ/8 ⊕ ℤ/2 与 Ω₄^Top ≅ ℤ ⊕ ℤ/2。
• 应用 w₂-类型分类（I、II、III）以区分不同的自旋与非自旋结构。
• 利用 c₁(ξ)² 与 w₂(X)² 的模 2 和模 8 不变量，以确定 bordism 类与可光滑化性。

实验结果

研究问题

• RQ1 哪些不变量能完全分类在纤维类型条件下基本群为 ℤ/2 且 H₂ 无挠的光滑与拓扑 5-流形？
• RQ2 特征子流形的 Pin^†-bordism 类如何决定此类 5-流形的微分同胚类型？
• RQ3 在何种条件下，基本群为 ℤ/2 的单连通 4-流形上的圆丛，其 c₁(ξ) = 2·(primitive) 是可光滑化或不可光滑化的？
• RQ4 w₂-类型、H₂ 秩与特征子流形的 bordism 类在分类中如何关联？
• RQ5 能否为这些 5-流形构造显式的几何模型，特别是针对基本群为 ℤ/2 的 4-流形上的圆丛？

主要发现

• 两个基本群为 ℤ/2 且 H₂ 无挠的光滑、闭、定向纤维类型 5-流形微分同胚当且仅当它们具有相同的 w₂-类型、H₂ 秩以及特征子流形的 Pin^†-bordism 类。
• 对于类型 II 的圆丛（在单连通自旋 4-流形上，且 c₁(ξ) = 2·(primitive)），若 KS(X) = 0，则 M 微分同胚于 (S²×ℝP³)♯_{S¹}((#_k S²×S²)×S¹)；若 KS(X) = 1，则同胚于同一构造但其中 S²×ℝP³ 为不可光滑化版本。
• 对于类型 I 的圆丛（在非自旋 4-流形上），微分同胚类型取决于 w₂(X)² 与 c₁(ξ)² 的模 2 奇偶性，其不同模型分别为 X⁵(q)♯_{S¹}(S²×ℝP³) 或 X⁵(q)♯_{S¹}(ℂP²×S¹)。
• 在 S²×ℝP³ 情况下，连通和中的整数 k 由 k = ½(rank H₂(X) − ½(7 + (−1)^q)) 给出；在 ℂP²×S¹ 情况下，k = ½(rank H₂(X) − ½(5 + (−1)^q))。
• 该分类确保所有列出的流形均满足 W₃ = 0，这是接触结构存在的必要条件。
• 该结果已被 Geiges 与 Stipsicz 应用于证明 5-流形上接触结构的新存在性定理。