[论文解读] Lectures on monopole Floer homology

Francesco Lin|arXiv (Cornell University)|May 10, 2016

Geometric and Algebraic Topology参考文献 18被引用 14

一句话总结

本文提供了对单极子 Floer 上同调的简明介绍，这是低维拓扑中一个强大的不变量，源自 3-流形上的 Seiberg-Witten 理论。它阐明了该理论背后的微分几何、Morse 理论以及等变上同调结构，并将其应用于构造 Manolescu 的校正项——Rokhlin 不变量的整数提升——从而推翻了 ≥5 维的三角剖分猜想。

ABSTRACT

These lecture notes are a friendly introduction to monopole Floer homology. We discuss the relevant differential geometry and Morse theory involved in the definition. After developing the relation with the four-dimensional theory, our attention shifts to gradings and correction terms. Finally, we sketch the analogue in this setup of Manolescu's recent disproof of the long standing Triangulation Conjecture.

研究动机与目标

• 为低维拓扑领域的研究人员提供单极子 Floer 上同调的教科书式导论。
• 阐明该理论的几何与分析基础，重点在于 Seiberg-Witten 方程与 S¹-等变 Morse 理论。
• 建立单极子 Floer 上同调与 Rokhlin 不变量之间的联系，从而提供一种对三角剖分的拓扑障碍。
• 通过单极子 Floer 上同调呈现 Manolescu 对三角剖分猜想的反证的替代推导。
• 强调单极子 Floer 上同调与 Heegaard Floer 上同调之间的形式类比，尤其是在校正项的语境下。

提出的方法

• 利用连接与 Higgs 场模规范变换的全空间上的 S¹-等变 Morse 理论构建单极子 Floer 上同调。
• 引入三种变体：HM-to、HM-from 和 HM-bar，每种均按 spin c 结构分解，并通过第一陈类进行分次。
• 使用由配对 ⟨c₁(𝔰) ∪ x, [Y]⟩ 定义的相对 Z/dZ 分次，当 c₁(𝔰) 为挠率时在 Q 上有绝对分次。
• 通过 F[[V]] 上 HS-bar 模的结构，利用 Q 对塔的作用，构造校正项 α(Y)、β(Y)、γ(Y)。
• 应用 Poincaré 对偶性与 cobordism 不变量性，证明 β(−Y) = −β(Y)，这是反证中的关键对称性。
• 利用 Floer 上同调的模结构，在负定自旋 cobordism 下导出不等式，证明其在同调 cobordism 下的不变性。

实验结果

研究问题

• RQ1 如何利用 3-流形配置空间上的 S¹-等变 Morse 理论构建单极子 Floer 上同调？
• RQ2 Rokhlin 不变量与单极子 Floer 上同调中的校正项 α、β、γ 之间的确切关系是什么？
• RQ3 在校正项中，当同调球面方向反转时，它们如何变换？
• RQ4 校正项以何种方式为同调球面在同调 cobordism 族中阶为二的存在性提供障碍？
• RQ5 单极子 Floer 上同调的正式结构能否复现 Manolescu 对三角剖分猜想的反证？

主要发现

• 校正项 α(Y)、β(Y)、γ(Y) 是 Rokhlin 不变量的整数提升，满足 α(Y) ≥ β(Y) ≥ γ(Y)，并与模结构有特定关系。
• 校正项 β 满足 β(−Y) = −β(Y)，这意味着任何阶为二的同调球面必须满足 β(Y) = 0。
• 由于 β 是整数提升且满足符号反转性质，因此所有阶为二的同调球面上的 Rokhlin 不变量必为零。
• 校正项在同调 cobordism 下保持不变，这由负定自旋 cobordism 下的不等式 β(Y₁) ≥ β(Y₀) + b₂(W)/8 所证明。
• 若存在一个满足 β(−Y) = −β(Y) 且提升 Rokhlin 不变量的整数提升 β，则假设三角剖分猜想成立将导致矛盾。
• 因此，三角剖分猜想在至少 5 维时为假，这由某些阶为二的同调球面上 β 的非零性所确立。