[论文解读] The Ozsv{á}th-Szab{ó} and Rasmussen concordance invariants are not equal

Matthew Hedden, Philip Ording|ArXiv.org|Dec 15, 2005

Geometric and Algebraic Topology参考文献 17被引用 6

一句话总结

该论文通过证明 $s(K) \neq 2\tau(K)$ 的反例，否定了 Rasmussen 的猜想，即对所有纽结均有 $s(K)$ 等于 $2\tau(K)$。作者利用 $(2,2n+1)$ 正则扭结的扭曲 Whitehead 双纽结，通过 skein 正合序列与纽结 Floer 同调技术计算了 $\tau$ 和 $s$，发现 $\tau(D_+(T_{2,3},2))=0$ 而 $s(D_+(T_{2,3},2))=2$，从而提供了该猜想的第一个反例。

ABSTRACT

In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.

研究动机与目标

• 否定 Rasmussen 的猜想，即对所有纽结均有 $s(K) = 2\tau(K)$。
• 通过 $(2,2n+1)$ 扭结的扭曲 Whitehead 双纽结构造明确的反例。
• 利用 Floer 同调与 skein 正合序列，计算这些纽结的 Ozsváth-Szabó 不变量 $\tau$ 与 Rasmussen 不变量 $s$。
• 证明尽管 $\tau$ 与 $s$ 具有许多形式性质，但二者并不总是一致。
• 提供一种系统化的方法，通过滤子分析与 skein 关系计算扭曲 Whitehead 双纽结的 $\tau$ 与 $s$。

提出的方法

• 作者利用纽结 Floer 同调的 skein 正合序列，将 Whitehead 双纽结的同调群与三叶纽结及单位纽结的同调群联系起来。
• 他们应用 Goda、Morifuji 与 Matsuda 的技术，计算 $(1,1)$ 纽结的纽结 Floer 同调，特别是扭曲 Whitehead 双纽结。
• 该计算依赖于对 skein 序列中微分的滤子保持部分的分析，特别是映射 $f_2$。
• 通过定义 $\tau$ 为具有非平凡同调的最小滤子水平，确定 $\tau$ 的值。
• 作者利用 Eftekhary 关于 $0$-扭曲 Whitehead 双纽结的结果，计算特定滤子水平下的 $\widehat{HFK}$。
• 他们应用不等式 $\tau(K_+) - 1 \leq \tau(K_-) \leq \tau(K_+)$，在交叉变化下约束 $\tau$ 在不同扭结下的行为。

实验结果

研究问题

• RQ1 Rasmussen 不变量 $s(K)$ 是否对所有纽结都恒等于 Ozsváth-Szabó 不变量 $2\tau(K)$？
• RQ2 $(2,2n+1)$ 扭结的扭曲 Whitehead 双纽结能否作为等式 $s(K) = 2\tau(K)$ 的反例？
• RQ3 在 Whitehead 双纽结中，当 $t > 2n-1$ 时，$\tau$ 与 $s$ 的行为如何，特别是其变化规律？
• RQ4 skein 正合序列与纽结 Floer 同调中的滤子结构如何控制 $\tau$ 与 $s$ 的取值？
• RQ5 是否存在一种系统化的方法，通过同调代数与滤子分析计算扭曲 Whitehead 双纽结的 $\tau$ 与 $s$？

主要发现

• 对于右手三叶纽结的 $2$-扭正则 Whitehead 双纽结，有 $\tau(D_+(T_{2,3},2)) = 0$ 而 $s(D_+(T_{2,3},2)) = 2$，直接与猜想 $s = 2\tau$ 矛盾。
• 作者证明了当 $t \leq 2n-1$ 时，$\tau(D_+(T_{2,2n+1},t)) = 1$；当 $t > 2n-1$ 时，$\tau(D_+(T_{2,2,2n+1},t)) = 0$，从而得出 $t_\tau(T_{2,2n+1}) = 2n-1$。
• 在 $(2,5)$ 情况下 $t=5,4$，在 $(2,7)$ 情况下 $t=8,7,6$ 时，$s(D_+(T_{2,2n+1},t)) = 2$ 而 $\tau = 0$，确认了多个反例。
• 在所测试的值中，skein 序列中的映射 $f_2$ 仅在 $t=2,1$ 时非平凡，其平凡性或非平凡性决定了 $\tau$ 的取值。
• 结果表明 $t_s(T_{2,2n+1}) = 3n-1$ 是一个合理的猜想，暗示存在无限多个反例。
• 该研究证实，尽管 $\tau$ 与 $s$ 具有许多形式性质，且在大量纽结族中一致，但二者并不总是一致。