[论文解读] Lectures notes on Heegaard Floer homology

Jennifer Hom|arXiv (Cornell University)|Aug 4, 2020

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

一句话总结

本文使用Heegaard图对Heegaard Floer同调与纽结Floer同调提供了全面的介绍，通过链复形构造3-流形与纽结的不变量，其同伦型与图的选择无关。关键贡献在于提出了映射锥公式，用于计算$S^3$中纽结的Dehn手术后的Heegaard Floer同调，从而在对称手术猜想与整同调球面上纽结手术障碍问题中具有应用价值。

ABSTRACT

These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3-manifold invariants.

研究动机与目标

• 为不熟悉该主题的研究者提供Heegaard Floer同调与纽结Floer同调的自包含导论。
• 证明同调群在Heegaard移动下的不变性，确保不变量定义良好。
• 阐明纽结Floer同调与纽结Dehn手术后3-流形的Heegaard Floer同调之间的关系。
• 将映射锥公式作为手术后3-流形不变量的计算工具进行展示。
• 将理论应用于纽结手术的障碍判定，并研究对称手术猜想。

提出的方法

• 使用Heegaard图$(\Sigma, \boldsymbol{\alpha}, \boldsymbol{\beta})$表示3-流形与纽结，其中$\Sigma$为亏格$g$的曲面，$\boldsymbol{\alpha}, \boldsymbol{\beta}$为附着圆的集合。
• 从图的数据构造链复形$CF^{-}(Y)$与$CFK^{-}(K)$，微分通过计数伪全纯的Whitney圆盘定义。
• 通过链复形的拟同构证明在Heegaard移动（稳定化、同伦、滑移）下的不变性。
• 将映射锥公式定义为$\operatorname{Cone}(\iota_U \oplus V^n \phi \circ \iota_U)$，建立纽结Floer同调与Dehn手术流形同调之间的关系。
• 利用纽结Floer复形上的$\mathbb{F}[U,V]$-模结构，通过映射锥计算手术流形的$\mathit{HF}^-$。
• 将公式应用于计算$\mathit{HF}^{-}(S^3_{+1}(T_{3,4}))$，并证明对某些Brieskorn同调球面的手术障碍。

实验结果

研究问题

• RQ1 如何通过Heegaard图构造Heegaard Floer同调，使其与图的选择无关？
• RQ2 在$S^3$中的纽结$K$的纽结Floer同调与沿$K$的Dehn手术后3-流形的Heegaard Floer同调之间存在何种精确关系？
• RQ3 映射锥公式能否用于计算纽结的整数手术下的$\mathit{HF}^-$？其对手术障碍问题有何影响？
• RQ4 映射锥公式对$S^3$中纽结的对称手术猜想施加了何种约束？
• RQ5 哪些整同调球面无法通过$S^3$中单个纽结的手术得到？如何通过Floer同调检测这一现象？

主要发现

• 由于在Heegaard移动下保持不变，3-流形的Heegaard Floer同调与$S^3$中纽结的纽结Floer同调是与Heegaard图选择无关的不变量。
• 映射锥公式将$\mathit{HF}^{-}(S^3_{p/q}(K))$计算为涉及纽结Floer复形与手术映射的映射锥的同调。
• 对于$S^3_{+1}(T_{3,4})$，通过映射锥的计算得到$\mathit{HF}^{-}(S^3_{+1}(T_{3,4})) \cong \mathbb{F}[U] \oplus \mathbb{F}[U]$，反映了纽结的Alexander分次与手术系数。
• 对称手术猜想受到阻碍：若$S^3_r(K) \cong S^3_{r'}(K)$且$r \neq r'$，则必有$r = -r'$，且对$r = p/q$，满足$q^2 \equiv -1 \pmod{p}$。
• 当$n \geq 8$且$n$为偶数时，Brieskorn同调球面$\Sigma(n, 2n-1, 2n+1)$无法通过$S^3$中任何纽结的手术得到，该结论通过映射锥公式导出的$d$-不变量障碍得以证明。
• 映射锥公式使我们能够证明：不存在几何上单连通、正定的4-流形（满足$b_2^+ \geq 2$）是辛流形，该结论基于Ozsváth-Szabó 4-流形不变量。