[论文解读] New Heegaard Floer slice genus and clasp number bounds

András Juhász, Ian Zemke|arXiv (Cornell University)|Jul 14, 2020

Geometric and Algebraic Topology被引用 3

一句话总结

本文从纽结 Floer 同调中引入了新的同痕不变量 Yn(K)，其对 4 维截面亏格和交叉数的界比以往的不变量更紧致。通过使用链 cobordism 映射和楼梯复形，作者证明了 Yn(K) ≥ Vn(K)，并建立了 ω+(K) + ω+(−K) ≤ c4(K)，从而得到了改进的亏格与交叉数界——尤其对 T2,11#−T4,5 等纽结，c4 的增长速度明显快于 g4。

ABSTRACT

We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound.

研究动机与目标

• 从纽结 Floer 同调中发展新的同痕不变量，以改进现有对 4 维截面亏格和交叉数的界。
• 通过构造对交叉数敏感、超越亏格界的新不变量，解决 c4(K) > 2g4(K) 是否成立的开放问题。
• 通过引入 Yn 和 ω+(K)，推广校正项与 Vn 不变量的作用，以捕捉纽结 Floer 复形中的更精细结构。
• 证明交叉数可在连通和中严格快于截面亏格增长，从而回答一个长期存在的问题。

提出的方法

• 利用链 cobordism 映射和来自楼梯复形 Sn 的过滤链映射，定义一族同痕不变量 Yn(K) ∈ ℕ。
• 证明：若存在亏格为 n 的曲面，则存在从 Sn 到 CFK⁻(K) 的保持分次的链映射，且在对 U 取逆后成为同构。
• 引入 ω+(K) = min{n ∈ ℕ : Yn(K) = 0}，其同时界定了 g4(K) 与 c⁺₄(K)，并满足 ω+(K) + ω+(−K) ≤ c4(K)。
• 使用 U V = 0 版本的纽结 Floer 同调来定义 ω(K) ∈ {τ(K), τ(K)+1}，其满足 ν(K) ≤ ω(K) ≤ g4(K)。
• 通过楼梯复形结构与 CFK⁻(K) 中的双分次分析，应用不变量计算界。
• 利用 ν+(K)、ΥK(t) 与 Levine–Tristram 亏格之间的已知关系，推导出定理 1.4 中的交叉数界。

实验结果

研究问题

• RQ1 是否存在满足 c4(K) > 2g4(K) 的纽结？若存在，能否通过 Heegaard Floer 不变量检测到此类例子？
• RQ2 新不变量 Yn(K) 是否对截面亏格与交叉数的界严格优于 Vn(K) 与 Levine–Tristram 亏格？
• RQ3 c⁺₄(K) − g4(K) 是否可任意大？能否通过新同痕不变量检测到这一点？
• RQ4 ω+(K) 是否可能超过 ν+(K) + 1？这对其纽结 Floer 复形结构意味着什么？
• RQ5 是否存在能检测到 c⁺₄(K) > g4(K) 的不变量，从而解决交叉数是否可超过亏格的问题？

主要发现

• 不变量 Yn(K) 满足 Yn(K) ≥ Vn(K)，在某些情况下提供严格更优的截面亏格界——例如，对 J = T2,11#T4,7#−T5,6，Yn 给出 g4 ≥ 6，而 Vn 与亏格函数仅给出 g4 ≥ 5。
• 对纽结 K = T2,11#−T4,5，不变量给出 c4(#nK) ≥ 2n 且 g4(#nK) = n，因此 limₙ→∞(c4(#nK) − g4(#nK)) = ∞。
• 不变量 ω+(K) 满足 ω+(K) ≤ min{g4(K), c⁺₄(K)} 且 ω+(−K) ≤ c⁻₄(K)，因此其和界定了交叉数：ω+(K) + ω+(−K) ≤ c4(K)。
• 对纽结 T2,3#T4,7#−T5,6，V0 = 2 且 Y0 = 3，表明 Yn 在亏格界方面优于 Vn。
• 在 Ozsváth–Stipsicz–Szabó 复形 C 的代数例子中，Yn 通过 Y2 或 Y4 得到 g4 ≥ 5，而 Vn 仅通过 V0 或 V2 得到 g4 ≥ 3。
• 作者计算出对 J = T2,11#T4,7#−T5,6，有 (Y0, Y1, Y2, Y3, Y4, Y5, Y6) = (3, 2, 2, 1, 1, 1, 0)，确认了亏格界为 6，比 Vn 或亏格函数的界高 1。