[论文解读] HF=HM V: Seiberg-Witten-Floer homology and handle addition

Çağatay Kutluhan, Yi‐Jen Lee+1 more|arXiv (Cornell University)|Mar 31, 2012

Geometric and Algebraic Topology参考文献 10被引用 39

一句话总结

本文通过在处理添加（即与 $S^1 \times S^2$ 的连通和）时建立塞伯格-威滕弗洛尔同调的过滤连通和公式，完成了对闭合、定向三维流形上海格达弗洛尔同调与塞伯格-威滕弗洛尔同调之间同构性的证明。关键贡献在于通过非平衡扰动的过滤变体连通和公式，在辅助流形与原流形之间建立了更精细的单极子弗洛尔同调同构，从而完成了五步程序中的最后一步。

ABSTRACT

This is the last of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold.

研究动机与目标

• 完成对闭合、定向三维流形上海格达弗洛尔同调与塞伯格-威滕弗洛尔同调之间同构性的证明。
• 在通过辅助流形连接海格达弗洛尔同调与塞伯格-威滕弗洛尔同调的三步程序中，确立第三个同构。
• 在处理添加（即与 $S^1 \times S^2$ 的连通和）的情况下，证明塞伯格-威滕弗洛尔同调的过滤连通和公式，推广至非平衡扰动。
• 提供塞伯格-威滕弗洛尔同调在非平衡扰动下连通和公式的详细证明，填补了尽管专家们已知但文献中缺失的空白。

提出的方法

• 证明依赖于塞伯格-威滕弗洛尔同调的过滤变体连通和公式，特别针对其中一个和为 $S^1 \times S^2$ 的情形，称为“处理添加”。
• 作者在描述处理附加的cobordism上构造了一个过滤单极子弗洛尔复形，使用一组具有受控 $L^2$-范数的度量和2-形式。
• 他们定义了一个在过滤单极子弗洛尔复形之间保持过滤结构的链映射，并在相应的同调上诱导出同构。
• 该构造涉及对4维cobordism上塞伯格-威滕方程的详细分析，包括逐点估计、微局部结构以及谱流函数。
• 证明使用单位分解和截断函数，将cobordism不同区域的局部数据粘合起来，确保涉及的2-形式和联络的 $L^2$-范数有界。
• 最后一步涉及通过分析塞伯格-威滕方程解的行为，并利用柯尔祖对偶性和 $\mathbf{A}_{\dagger}$-模结构，验证所得映射为同构。

实验结果

研究问题

• RQ1 如何在 $S^1 \times S^2$ 的处理添加情况下，构造塞伯格-威滕弗洛尔同调的过滤连通和公式？
• RQ2 处理附加后的单极子弗洛尔同调的精确结构是什么？它与原始同调有何关系？
• RQ3 塞伯格-威滕弗洛尔同调的连通和公式能否推广至非平衡扰动？其必要的分析条件是什么？
• RQ4 过滤在单极子弗洛尔复形上如何在处理添加下表现？什么确保了诱导映射为同构？
• RQ5 谱流函数和曲率形式的 $L^1$-范数在控制塞伯格-威滕方程解的行为中起什么作用？

主要发现

• 本文确立了定理1.1，即证明 $\widehat{HM} \cong \widehat{HF}$ 程序中的第三个同构，完成了塞伯格-威滕同调与海格达同调之间完整同构的证明。
• 在 $Y \sharp (S^1 \times S^2)$ 的情况下，证明了塞伯格-威滕弗洛尔同调的过滤连通和公式，即使在非平衡扰动下也成立。
• 该证明提供了在过滤单极子弗洛尔复形之间构造链映射的详细过程，该映射在同调上诱导出同构，使用了 $L^2$-范数一致有界的度量和2-形式。
• 作者验证了在cobordism相关部分上，2-形式 $\mathpzc{p}_X$ 的 $L^2$-范数被一个与 $T$ 无关的常数 $c_0$ 控制，确保了分析上的控制。
• 谱流函数和曲率 $B_A$ 的 $L^1$-范数被证明由陈-西蒙斯泛函和过滤层级控制，确保了映射尊重过滤结构。
• 最终构造在原始流形与处理添加后的辅助流形的单极子弗洛尔同调之间产生了一个良定义的同构，完成了 HM = HF 程序。