[论文解读] A concordance invariant from the Floer homology of double branched covers

Ciprian Manolescu, Brendan Owens|arXiv (Cornell University)|Aug 2, 2005

Geometric and Algebraic Topology参考文献 21被引用 8

一句话总结

本文引入了一种新的同痕不变量 δ，该不变量源自三球面上的纽结的双分支覆叠的海格福勒同调。利用奥兹瓦斯-萨博的校正项 d-不变量，证明 δ 是从光滑同痕群到 ℤ 的满射群同态。关键结果是：δ 对所有交替纽结以及所有至多九个交叉点的纽结都等于归一化的符号数 σ′，并且即使在其他不变量失效时，δ 也能提供非平凡的不可 sliceness 障碍。

ABSTRACT

Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alternating knots and knots with up to nine crossings, and conjecture a similar relation for all H-thin knots. We also use delta to prove that for all knots K with tau(K)>0, the positive untwisted double of K is not smoothly slice.

研究动机与目标

• 使用三球面上纽结的双分支覆叠的海格福勒同调中的校正项 d-不变量，定义一个新的同痕不变量 δ。
• 研究 δ 与经典不变量（如符号数 σ′、τ 和 s′）之间的关系，特别是针对交替纽结和 H-薄纽结。
• 确定 δ 是否能检测在其他不变量失效时的非 sliceness，特别是在 Whitehead 双纽结的背景下。
• 建立 δ 是从光滑同痕群 C 到 ℤ 的满射同态，并探讨其对拓扑 sliceness 同痕群结构的影响。
• 证明 δ(Wh(K)) ≤ 0，且当 τ(K) > 0 时严格不等式成立，并显示 δ 可以非零，而 σ′ = τ = s′ = 0，从而在其他不变量为平凡时检测非 sliceness。

提出的方法

• 定义 δ(K) = 2d(Σ(K), t₀)，其中 Σ(K) 是三球面关于纽结 K 的双分支覆叠，t₀ 是由自旋结构诱导的 Spinᶜ 结构。
• 将奥兹瓦斯-萨博关于有理同调球面的工作中的 d-不变量应用于三维流形 Σ(K)，利用其在同调 bordism 下的群同态性质。
• 利用 d-不变量在同调 bordism 下的不变性，以及 δ 在连通和下的可加性，确立 δ 为同痕不变量。
• 通过将 Montesinos 和扭结的双分支覆叠表示为塞弗特纤维化，算法计算 δ。
• 应用奥兹瓦斯和萨博在 [26] 中的方法，计算具有特殊形式的 H-薄纽结（包括交替纽结和某些扭结）的 δ。
• 使用带有扭曲系数的海格福勒同调中的正合三角形分析 cobordism 映射并推导出度数偏移，从而得出手术流形的公式 d(K_{-1/2}) = 2h₀。

实验结果

研究问题

• RQ1 不变量 δ(K) = 2d(Σ(K), t₀) 是否对所有交替纽结都与归一化的符号数 σ′(K) 一致？
• RQ2 δ(K) 是否等于所有至多九个交叉点的纽结的 σ′(K)？
• RQ3 δ 是否能检测在 σ′、τ 和 s′ 为平凡时（如某些 Whitehead 双纽结）的非 sliceness？
• RQ4 即使 |δ| 不限制切片亏格，δ 是否仍能提供非平凡的不可 sliceness 障碍？
• RQ5 未扭曲的 Whitehead 双纽结 Wh(K) 的 δ 值是多少，它与 τ(K) 的关系如何？

主要发现

• 对所有交替纽结，δ(K) = σ′(K)，如定理 1.2 所证明。
• 对所有至多九个交叉点的纽结，δ(K) = σ′(K)，如定理 1.3 所确立。
• 对于 Whitehead 双纽结 Wh(K)，有 δ(Wh(K)) ≤ 0，且当 τ(K) > 0 时 δ(Wh(K)) < 0，如定理 1.5 所示。
• 对于交替纽结 K，有 δ(Wh(K)) = -4 max{τ(K), 0}，为 Whitehead 双纽结上的 δ 提供了精确公式。
• 存在满足 σ′ = τ = s′ = 0 但 δ ≠ 0 的纽结，例如 Wh(T(2,2m+1)) # (-Wh(T(2,2n+1)))（当 m ≠ n 时），证明了 δ 在其他不变量失效时仍能检测非 sliceness。
• 拓扑同痕群 𝒞_ts 包含一个 ℤ ⊕ ℤ 的直和项，由满射同态 (τ, δ/4) 到 ℤ ⊕ ℤ 所示，显式生成元为 Wh(T(2,3)) 和 Wh(T(2,5))。