[论文解读] A symplectic manifold homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

Scott Baldridge, Paul Kirk|ArXiv.org|Feb 8, 2007

Geometric and Algebraic Topology参考文献 12被引用 7

一句话总结

本论文通过在 T⁴ # 2ℂℙ²̄ 和 F₂ × T² 中对拉格朗日子环进行辛和与卢蒂杰手术，构造了一个极小辛 4-流形，该流形与 ℂℙ² # 3ℂℙ²̄ 同胚但不同胚，首次显式构造了 ℂℙ² # 3ℂℙ²̄ 上的奇异辛结构。该结果通过基本群计算和乌舍尔定理对极小性的验证得以确认，通过辛流形中不存在 -1-球面排除了微分同胚性。

ABSTRACT

In this paper we construct a minimal symplectic 4-manifold and prove it is homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

研究动机与目标

• 构造一个与 ℂℙ² # 3ℂℙ²̄ 同胚但不同胚的极小辛 4-流形。
• 通过将卢蒂杰手术与辛和结合，拓展辛 4-流形构造的工具集。
• 通过细致的基于基点的同伦计算，验证所得流形的基本群为平凡。
• 提供一个具有欧拉示性数 6 和亏格 -2 的小辛 4-流形上奇异微分结构的新例子。

提出的方法

• 该构造使用两个 4-流形的辛和：W 来自 T⁴ # 2ℂℙ²̄ 中两个拉格朗日子环的卢蒂杰手术，P 来自 F₂ × T² 中四个拉格朗日子环的卢蒂杰手术。
• 卢蒂杰手术用于在保持辛结构的同时修改初始流形的基本群与拓扑。
• 辛和沿 genus 2 曲面 F ⊂ P 和 G ⊂ W 进行，通过微分同胚识别其基本群生成元。
• 使用塞弗特–范坎彭定理计算所得流形 X 的基本群，关系由手术和粘合数据导出。
• 通过验证所有生成元均通过手术规则与粘合条件导出的关系链被平凡化，证明基本群为平凡。
• 应用乌舍尔定理确认所得辛流形 X 的极小性，因为 P 和 W 均不含 -1-球面。

实验结果

研究问题

• RQ1 能否构造一个与 ℂℙ² # 3ℂℙ²̄ 同胚但不同胚的极小辛 4-流形？
• RQ2 能否将卢蒂杰手术与辛和技术结合，生成一个欧拉示性数为 6、亏格为 -2 的单连通辛 4-流形？
• RQ3 能否在不依赖有理暴胀的情况下，通过辛和与卢蒂杰手术构造出基本群为平凡的辛 4-流形？
• RQ4 在曲面积上的拉格朗日子环上进行卢蒂杰手术时，会产生哪些精确的基本群关系？
• RQ5 在 4-流形的剪切-粘贴构造中，如何系统地处理基于基点的基本群计算？

主要发现

• 所构造的辛 4-流形 X 的欧拉示性数 e(X) = 6，亏格 σ(X) = -2，与 ℂℙ² # 3ℂℙ²̄ 的拓扑不变量一致。
• 基本群 π₁(X) 为平凡，通过验证所有生成元均通过卢蒂杰手术与粘合条件导出的关系链被平凡化而得证。
• X 是极小的，由乌舍尔定理确认，因其不含光滑嵌入的 -1-球面，且继承自极小分量 P 和 W 的极小性。
• X 与 ℂℙ² # 3ℂℙ²̄ 同胚，由弗里德曼分类定理保证，因其单连通且具有相同的交形式。
• X 与 ℂℙ² # 3ℂℙ²̄ 不同胚，因为后者包含光滑嵌入的 -1-球面（例外除子），而 X 是极小的，故不含此类球面。
• 该构造首次提供了与 ℂℙ² # 3ℂℙ²̄ 同胚但不同胚的辛流形的显式例子，填补了小辛 4-流形上奇异结构的已知空白。