[论文解读] Heegaard Floer homology and Morse surgery

Eaman Eftekhary|ArXiv.org|Mar 7, 2006

Geometric and Algebraic Topology参考文献 5被引用 5

一句话总结

本文建立了在同调球中零同调余维数纽结的有理手术下，由手术环面核心诱导的Heegaard Floer同调复叠的手术公式。通过涉及一个带过滤的链复叠和一个扭曲链映射的映射锥构造，计算了手术后流形的纽结Floer同调，证明了对于$S^3$中 genus $g(K)$ 的纽结$K$，同调$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$仅在$\underline{\mathfrak{t}} = -qg(K)$ 和 $\underline{\mathfrak{t}} = qg(K)+p-1$ 处非零，且在此范围外为零。

ABSTRACT

We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which produces the surgery). This would generalize a result of Ozsvath and Szabo. We will re-prove that surgery on non-trivial knots can not produce S^3, as a corollary of a non-vanishing result for the knot Floer homology of K_{p/q}.

研究动机与目标

• 将Ozsváth与Szabó对整数手术的手术公式推广至同调球中零同调余维数纽结的有理手术。
• 计算在$Y_{p/q}(K)$中由手术环面核心诱导的Heegaard Floer复叠的过滤，扩展[OS4]的框架。
• 利用纽结Floer同调中的非零结果，重新证明非平凡纽结手术无法产生$S^3$。
• 通过涉及$\mathbb{Z}[ζ]/(\zeta^q=1)$-扭曲映射的映射锥构造，为手术后流形的带过滤链复叠提供一个计算工具。

提出的方法

• 从$\text{CFK}^\infty(Y,K)$复叠构造一个带过滤的链复叠$\mathbb{D}$，使用四个整数分次，其微分$\partial_\mathbb{D}$ 由$\partial^\infty$ 导出。
• 基于不变量$\Delta(a) = i-j+k-l$ 定义子复叠$\mathbb{D}_\delta$，并将$\mathbb{D}^{up}$ 与 $\mathbb{D}^{down}$ 构造为带不同$\mathbb{Z}\oplus\mathbb{Z}$ 分次的$\mathbb{D}_1$ 的副本。
• 通过涉及$\lfloor (t+p)/q \rfloor$ 的平移，引入一个从$\mathbb{D}^{up} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$ 到 $\mathbb{D}^{down} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$ 的链映射$g_{p/q}$，以编码手术数据。
• 定义$\overline{f}_{p/q} = \text{Id} + g_{p/q}$，并构造映射锥$\mathbb{M}(\overline{f}_{p/q})$，其携带手术后流形同调的带过滤结构。
• 利用不同标记点处过滤之间的同伦等价$\tau$，确保基点选择下的不变性。
• 通过正测试区域的分解及对$C\{i\leq 0,k=0\}$ 和 $C\{i=0,k\leq 0\}$ 中生成元的分析，将映射锥的同调与$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 识别。

实验结果

研究问题

• RQ1 在同调球中对零同调余维数纽结进行有理手术时，Heegaard Floer复叠上的过滤如何变换？
• RQ2 在$S^3$中纽结$K$的$p/q$-手术后，$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 非零的$\underline{\mathfrak{t}} \in \mathbb{Z}$ 的精确范围是什么？
• RQ3 能否利用$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 的非零性来排除有理手术产生$S^3$的可能性？
• RQ4 带有$\mathbb{Z}[\zeta]/(\zeta^q=1)$-扭曲映射的映射锥构造如何捕捉手术后流形的带过滤链复叠？

主要发现

• 对于$S^3$中 genus $g(K)$ 的纽结$K$，纽结Floer同调$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 仅在$\underline{\mathfrak{t}} = -qg(K)$ 和 $\underline{\mathfrak{t}} = qg(K)+p-1$ 处非零，且满足$\widehat{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$。
• 对于所有$\underline{\mathfrak{t}} < -qg(K)$ 或 $\underline{\mathfrak{t}} \geq qg(K)+p$，同调$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 为零，这是由映射锥分解中相应同调群的平凡性所表明的。
• 在极端$\underline{\mathfrak{t}}$-值处$\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 的非零性意味着不存在非平凡纽结手术可产生$S^3$，因为此类手术要求对所有$\underline{\mathfrak{t}} \neq 0$ 都有$\widehat{\text{HFK}}(S^3, \underline{\mathfrak{t}}) = 0$，这与非零结果矛盾。
• 复叠$\mathbb{M}(\overline{f}_{p/q})$ 计算了$Y_{p/q}(K)$ 的带过滤$\text{CFK}^\infty$，其中${\mathrm{Spin}}^c$ 结构通过$\underline{\mathfrak{s}} = q(i(\mathbf{x})+j-k) + p(i-j) + t$ 赋予。
• 通过将$H_*(\widehat{\mathbb{A}}_0(-qg(K)))$ 与$C\{i=0,k\leq 0\}(-g(K))$ 识别，建立了同构$\widehat{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$，其中满足$i(\mathbf{x}) < -g(K)$ 的生成元在同调中相互抵消。
• 类似地，通过分析$C\{i\leq 0,k=0\}(g(K)-1)$ 并证明仅满足$i(\mathbf{x}) = g(K)$ 的生成元在同调中存活，可证得$\widehat{\text{HFK}}(K_r, qg(K)+p-1) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$。