[论文解读] On the geography and botany of irreducible nonspin 4-manifolds with abelian fundamental group

Rafael Torres|arXiv (Cornell University)|Mar 31, 2009

Geometric and Algebraic Topology参考文献 50被引用 4

一句话总结

该论文将辛几何与辛植物学计划扩展至基本群为阿贝尔群的不可约非自旋4-流形，包括ℤₚ、ℤₚ⊕ℤ_q、ℤ及ℤ⊕ℤ。通过结合广义纤维和与Luttinger手术于辛构造块，该研究构建了不可约辛4-流形，实现了当χₕ ≥ 1时区域0 ≤ c₁² ≤ 8χₕ − 1内所有对(c₁², χₕ)的实现，并证明在某些同胚类中存在无穷多类微分同构类型。

ABSTRACT

The geography and botany of smooth/symplectic nonspin 4-manifolds with abelian fundamental group are addressed.

研究动机与目标

• 将辛几何与辛植物学计划从单连通4-流形扩展至基本群为小秩阿贝尔群的4-流形。
• 确定对于基本群ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q及ℤ⊕ℤ的不可约非自旋辛4-流形，其哪些同胚类型可被实现。
• 研究这些基本群下每个同胚类中微分同构类型的数量（辛植物学问题）。
• 通过构造显式例子，实现辛几何区域中特定对(c₁², χₕ)的实现，涵盖负与非负亏格情况。

提出的方法

• 利用辛4-流形沿拉格朗日子环的广义纤维和构造新辛4-流形，以控制其基本群。
• 将Luttinger手术作为关键工具，以修改基本群并实现期望的拓扑不变量。
• 应用Seifert–van Kampen定理计算辛和的基本群，确保其为平凡或阿贝尔群。
• 通过扰动辛形式使拉格朗日子环成为辛子环，从而实现辛粘合操作。
• 利用单连通辛4-流形的已知结果（如Akhmedov–Park）作为高亏格构造的构建块。
• 应用Hambleton–Kreck与Hambleton–Teichner的分类结果，识别所构造流形的同胚类型。

实验结果

研究问题

• RQ1 哪些对(c₁², χₕ)可被基本群为ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q或ℤ⊕ℤ的不可约非自旋辛4-流形实现？
• RQ2 在给定同胚类型下，这些基本群的微分同构类型有多少？
• RQ3 使用当前构造技术，能否完全填充这些非单连通情况下的辛几何区域？
• RQ4 广义纤维和与Luttinger手术在控制基本群与保持辛结构方面起什么作用？
• RQ5 所构造的流形在其同胚类型中是否表现出∞²性质（即存在无穷多光滑结构）？

主要发现

• 通过辛构造块的广义纤维和，所有考虑的基本群（包括ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q及ℤ⊕ℤ）均完全实现了区域0 ≤ c₁² ≤ 8χₕ − 1。
• 当χₕ = 1与χₕ = 2时，辛地理与辛植物学问题完全解决，每种情况均实现无穷多微分同构类型。
• 当χₕ ≥ 3时，区域8χₕ − 16 ≤ c₁² ≤ 8χₕ − 1通过n份对称流形Z的迭代广义纤维和实现，基本群保持平凡。
• 当χₕ ≥ 3时，区域0 ≤ c₁² < 8χₕ − 16通过望远镜三元组与广义纤维和实现，同样保持基本群平凡。
• 对于非负亏格情况，论文构造了实现特定对(c₁², χₕ) = (4m+4, (m+1)/2)的4-流形，其中m为奇数且m ≥ 49，以及r, s, t ≥ 47, 53, 51时的类似形式，基本群G ∈ {1, ℤₚ, ℤₚ⊕ℤ_q, ℤ, ℤ⊕ℤ_q, ℤ⊕ℤ}，并证明当G为平凡、ℤ或ℤₚ（p为奇数）时，其具有∞²性质。
• 所构造的流形为不可约、辛、非自旋，其万有覆盖具有指定基本群，确认了这些族中存在奇异光滑结构。