[论文解读] A concordance invariant from the Floer homology of +/- 1 surgeries

Thomas D. Peters|arXiv (Cornell University)|Mar 15, 2010

Geometric and Algebraic Topology参考文献 15被引用 32

一句话总结

本文引入了一种源自三球面中扭结的 +1 和 -1 手术的 Heegaard Floer 修正项的共轭不变量。利用 knot 复形 $CFK^{∞}(K)$ 的过滤链同伦型，本文证明了 $d(S^3_{+1}(K))$ 是一个共轭不变量，并建立了 skein 不等式与四维球面亏格下界，同时提供了在 $\mathbb{Z}_2$ 系数下的算法实现。

ABSTRACT

We discuss a concordance invariant constructed from Heegaard Floer homology "correction terms" and +/- 1 surgeries on knots in the three-sphere.

研究动机与目标

• 通过三球面中扭结的 +1-手术的修正项定义一个新的共轭不变量。
• 建立一个关于因交叉变化而不同的扭结的 +1-手术 $d$-不变量之间的 skein 不等式。
• 利用 $d(S^3_{+1}(K); \mathbb{Z}_2)$ 推导光滑四维球面亏格的下界。
• 提供一种从 $CFK^{\infty}(K)$ 的过滤链同伦型计算 $d(S^3_{\pm1}(K))$ 的算法方法。
• 在软件工具 dCalc 中实现计算，适用于 $\mathbb{Z}_2$-系数。

提出的方法

• 该不变量定义为 $d(S^3_{+1}(K); \mathbb{F})$，即在域 $\mathbb{F}$ 系数下，对扭结 $K$ 的 +1-手术的修正项。
• 通过 $CFK^{\infty}(K)$ 的结构及 $d$-不变量在 cobordism 下的性质，证明了 skein 不等式。
• 从不等式 $0 \leq -d(S^3_{+1}(K); \mathbb{Z}_2) \leq 2g_4(K)$ 推导出四维球面亏格的下界。
• 该算法通过 knot 复形的张量积及在 $\mathbb{Z}_2$ 上的边界矩阵行化简来计算 $d$-不变量。
• 实现工具 dCalc 使用整数作为顶点的键，计算双过滤结构与邻接表以表示复形。
• 该方法依赖于 $CFK^{\infty}(K)$ 的过滤链同伦型，对于交替或扭结型扭结，该型可从 $\widehat{HFK}(K)$ 恢复。

实验结果

研究问题

• RQ1 +1-手术的 $d$-不变量能否作为三球面中扭结的共轭不变量？
• RQ2 在扭结图中发生交叉变化时，+1-手术的 $d$-不变量行为如何？
• RQ3 +1-手术的 $d$-不变量能否为扭结的光滑四维球面亏格提供下界？
• RQ4 是否存在一种算法方法，可从过滤链复形 $CFK^{\infty}(K)$ 计算 $d(S^3_{\pm1}(K))$？
• RQ5 $\mathbb{Z}_2$ 上计算的 $d$-不变量与在 $\mathbb{Z}$ 上计算的有何差异？

主要发现

• $d(S^3_{+1}(K); \mathbb{F})$ 是三球面中扭结的共轭不变量。
• 对任意域 $\mathbb{F}$，有 skein 不等式 $d(S^3_{1}(D_{-});\mathbb{F})-2 \leq d(S^3_{1}(D_{+});\mathbb{F}) \leq d(S^3_{1}(D_{-});\mathbb{F})$。
• 四维球面亏格满足 $0 \leq -d(S^3_{1}(K); \mathbb{Z}_2) \leq 2g_4(K)$。
• 软件 dCalc 可从过滤链复形 $CFK^{\infty}(K)$ 使用 $\mathbb{Z}_2$ 系数计算 $d(S^3_{+1}(K))$ 和 $d(S^3_{-1}(K))$。
• 对于交替或扭结型扭结，$CFK^{\infty}(K)$ 可从 $\widehat{HFK}(K)$ 恢复，从而可直接计算而无需计算机。
• 实现受限于顶点键的整数溢出及边界矩阵行化简过程中的内存使用。