[论文解读] Fibered knots with the same $0$-surgery and the slice-ribbon conjecture

Tetsuya Abe, Keiji Tagami|arXiv (Cornell University)|Feb 4, 2015

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

一句话总结

本文研究了切片-扣環猜想与阿克布尔特-基尔比关于0-手术同痕的猜想之间的关系。通过在纤维化纽结 $6_3$ 上使用环带扭转技巧，作者构造了一个具有相同0-手术的纤维化纽结的无限家族。他们证明，若切片-扣環猜想成立，则这些纽结不可能同痕，从而表明猜想1.5（由相同0-手术导出的同痕）必然为假。其关键贡献是通过环带扭转构造出一个纤维化的潜在反例，挑战切片-扣環猜想。

ABSTRACT

Akbulut and Kirby conjectured that two knots with the same $0$-surgery are concordant. In this paper, we prove that if the slice-ribbon conjecture is true, then the modified Akbulut-Kirby's conjecture is false. We also give a fibered potential counterexample to the slice-ribbon conjecture.

研究动机与目标

• 研究切片-扣環猜想与阿克布尔特-基尔比关于0-手术同痕的猜想之间的逻辑关系。
• 在切片-扣環猜想成立的假设下，判断两个具有相同0-手术的纽结是否必须同痕。
• 通过环带扭转技巧，构造一个纤维化的潜在反例以挑战切片-扣環猜想。
• 分析扭曲纽结的单值性和接触结构，以在拓扑上区分它们。

提出的方法

• 对纤维化纽结 $6_3$ 应用环带扭转操作，生成一族具有相同0-手术的纽结 $K_n = A^n(6_3)$。
• 利用宫崎的结果，证明 $K_0 \# \overline{K_1}$ 不是扣环纽结，从而在切片-扣環猜想成立时，可推出其非同痕。
• 通过在纤维曲面上使用德恩变换，计算纤维化纽结 $K_n$ 的单值性，表达式为 $f_n = t_{c'_1}^{-n} \circ t_{c'_2}^{n} \circ t_d^{-1} \circ t_b \circ t_c^{-1} \circ t_a$。
• 利用由开书 $(F, f_n)$ 支持的接触结构的 $d_3$-不变量来区分纽结，证明 $d_3(\xi_n) = -n^2 - n + \frac{3}{2}$。
• 利用加贝依定理确认所有 $K_n$ 均为纤维化纽结，因为从纤维化纽结出发，环带扭转保持纤维性。
• 利用闭合单值性 $\widehat{f}_n$ 相共轭，但开单值性 $f_n$ 通过 $d_3$-不变量可区分纽结 $K_n$。

实验结果

研究问题

• RQ1 若切片-扣環猜想为真，是否意味着具有相同0-手术的两个纽结不可能同痕？
• RQ2 环带扭转能否产生具有相同0-手术但属于不同同痕类的纤维化纽结？
• RQ3 是否存在一个具有相同0-手术的纤维化纽结的无限家族，可作为切片-扣環猜想的反例？
• RQ4 由开书分解支持的接触结构的 $d_3$-不变量能否区分通过环带扭转获得的纽结？
• RQ5 在切片-扣環猜想下，$K_0 \# \overline{K_1}$ 的非扣环性是否意味着猜想1.5的 falsification？

主要发现

• 本文证明，若切片-扣環猜想成立，则猜想1.5（即具有相同0-手术的纽结是同痕的）必然为假。
• 通过在 $6_3$ 上进行 $n$ 次环带扭转得到的纽结 $K_n = A^n(6_3)$，所有纽结均具有相同的0-手术，形成一个以 $S^1$ 为底、单值性为 $\widehat{f}_n$ 的曲面丛。
• $K_n$ 支持的接触结构 $\xi_n$ 的 $d_3$-不变量为 $d_3(\xi_n) = -n^2 - n + \frac{3}{2}$，该值在 $n \neq m$ 且 $n + m \neq -1$ 时可区分 $K_n$ 与 $K_m$，从而证明当 $n \geq 0$ 时，$K_n$ 两两不同。
• $K_0 \# \overline{K_1}$ 不是扣环纽结，且在切片-扣環猜想成立时，这表明 $K_0$ 与 $K_1$ 不同痕，从而否定了猜想1.5。
• 该构造产生了一个具有相同0-手术的纤维化纽结的无限家族，提供了无穷多个切片-扣環猜想的潜在反例。
• $K_n$ 的单值性 $f_n$ 明确定义为 $t_{c'_1}^{-n} \circ t_{c'_2}^{n} \circ t_d^{-1} \circ t_b \circ t_c^{-1} \circ t_a$，且当 $n \neq m$ 时 $f_n$ 与 $f_m$ 的差异确认了 $K_n$ 与 $K_m$ 的非同痕性。