[论文解读] Small Dehn surgery and SU(2)

John A. Baldwin, Zhenkun Li+2 more|arXiv (Cornell University)|Oct 6, 2021

Geometric and Algebraic Topology参考文献 36被引用 5

一句话总结

该论文证明了在3-球面中任意非平凡扭结的3-德恩手术均存在不可约的SU(2)表示，从而证实了Kronheimer与Mrowka的猜想。通过瞬子弗洛尔同调、基于Smith定理的亏格2曲面微分同胚的辛弗洛尔同调，以及关于分次欧拉特征的近期结果，作者证明此类手术并非SU(2)-阿贝尔的，将结果推广至[3,5)区间内无穷多个斜率。

ABSTRACT

We prove that the fundamental group of 3-surgery on a nontrivial knot in the 3-sphere always admits an irreducible SU(2)-representation. This answers a question of Kronheimer and Mrowka dating from their work on the Property P conjecture. An important ingredient in our proof is a relationship between instanton Floer homology and the symplectic Floer homology of genus-2 surface diffeomorphisms, due to Ivan Smith. We use similar arguments at the end to extend our main result to infinitely many surgery slopes in the interval [3,5).

研究动机与目标

• 解决Kronheimer与Mrowka关于S³中非平凡扭结的3-手术SU(2)表示的猜想。
• 将德恩手术的非SU(2)-阿贝尔性质从此前已知的范围[0,2]及r=4扩展至更广范围。
• 确立任意非平凡扭结的3-手术并非SU(2)-阿贝尔的，从而表明其基本群存在不可约的SU(2)表示。
• 利用先进的弗洛尔同调技术，将结果推广至[3,5)区间内无穷多个手术斜率。
• 刻画亏格2的瞬子L-空间扭结，并证明某些分枝双覆盖的透镜空间并非塞弗特纤维化。

提出的方法

• 应用Smith定理，将映射环丛的瞬子弗洛尔同调与亏格2曲面微分同胚的辛弗洛尔上同调联系起来。
• 利用带框架的瞬子同调 $I^{ \text{\#}}(S^3_0(K), \mu)$ 推出纤维化的单行变换为无不动点的伪阿诺索夫映射。
• 借助Baldwin–Hu–Sivek关于双周期扭结的结果，证明扭结 $K$ 为双周期扭结，商空间为平凡扭结，轴线的环绕数为5。
• 将 $S^3_3(K)$ 表示为透镜空间 $L \cong L(3,2)$ 沿一个初等扭结 $J$ 的分枝双覆盖 $\Sigma(L,J)$。
• 证明所有将 $J$ 的子午线映射到 $i$ 的 $SU(2)$ 表示均具有有限循环像，且这些表示是非退化的 $\mathit{KHI}(L,J)$ 生成元。
• 利用瞬子同调与扭结弗洛尔同调之间分次欧拉特征相等（Li–Ye）的结果，推导出 $\chi_{\mathrm{gr}}(\mathit{KHI}(L,J)) = t^{-1} + 1 + t^1$，从而推出 $J$ 的有理亏格为0且其外部为纤维化。

实验结果

研究问题

• RQ1 S³中任意非平凡扭结的3-手术是否非SU(2)-阿贝尔？
• RQ2 德恩手术的非SU(2)-阿贝尔性质能否从 $r \in [0,2]$ 及 $r=4$ 扩展至 $r=3$？
• RQ3 在 $[3,5)$ 区间内是否存在无穷多个斜率，使得非平凡扭结的 $r$-手术非SU(2)-阿贝尔？
• RQ4 瞬子同调与扭结弗洛尔同调的分次欧拉特征对扭结外部的拓扑结构施加了何种限制？
• RQ5 在何种条件下，沿初等扭结的透镜空间的分枝双覆盖是塞弗特纤维化或非塞弗特纤维化？

主要发现

• S³中任意非平凡扭结的3-手术并非SU(2)-阿贝尔，因此其基本群存在不可约的SU(2)表示。
• 该结果可推广至[3,5)区间内无穷多个斜率，具体为当 $p/q \in [3,4)$ 且满足 $23p - 9 \leq 80q \leq 25p + 9$，或 $p/q \in [4,5)$ 时。
• 在 $L(p,2q)$ 中，扭结 $S(p,2q,10q)$ 的亏格为 $g(S(p,2q,10q)) = |20q - 6p - 2|$，当 $p/q \in [3,10/3)$ 时成立，其他区间有类似表达式。
• 若 $p/q \in [3,4)$，则分枝双覆盖 $\Sigma(L,S)$ 的第一同调群阶为 $p$；若 $p/q \in (4,6)$，则阶为 $5p$。
• 若 $g(S(p,2q,10q)) \leq (p+1)/4$，则 $J$ 同痕于 $S$，意味着 $\Sigma(L,J)$ 为塞弗特纤维化，这与非SU(2)-阿贝尔假设矛盾。
• 在透镜空间 $L(p,2q)$ 中，扭结 $J$ 的亚历山大多项式等于扭结 $T_{5,d}$ 的亚历山大多项式，且当 $p/q \in [3,4)$ 时 $|\Delta_J(-1)| = 1$，当 $p/q \in (4,6)$ 时 $|\Delta_J(-1)| = 5$。