[论文解读] Instantons and L-space surgeries

John A. Baldwin, Steven Sivek|arXiv (Cornell University)|Oct 29, 2019

Geometric and Algebraic Topology被引用 4

一句话总结

该论文通过在框架化瞬子弗洛尔同调中建立cobordism映射的新分解定理，证明了瞬子L-空间纽结是纤维化的且强拟正的。它证明了对于S³中的非平凡纽结K，当有理数斜率r ≥ 2g(K)−1时，德恩手术S³_r(K)为SU(2)-阿贝尔的，当且仅当K是纤维化的且强拟正的，广泛推广了克罗尼梅尔与姆罗夫卡的性质P结果，并证实了对非平凡纽结的4-德恩手术存在非平凡的SU(2)表示。

ABSTRACT

We prove that instanton L-space knots are fibered and strongly quasipositive. Our proof differs conceptually from proofs of the analogous result in Heegaard Floer homology, and includes a new decomposition theorem for cobordism maps in framed instanton Floer homology akin to the $ extrm{Spin}^c$ decompositions of cobordism maps in other Floer homology theories. As our main application, we prove (modulo a mild nondegeneracy condition) that for $r$ a positive rational number and $K$ a nontrivial knot in the $3$-sphere, there exists an irreducible homomorphism \[π_1(S^3_r(K)) o SU(2)\] unless $r \geq 2g(K)-1$ and $K$ is both fibered and strongly quasipositive, broadly generalizing results of Kronheimer and Mrowka. We also answer a question of theirs from 2004, proving that there is always an irreducible homomorphism from the fundamental group of 4-surgery on a nontrivial knot to $SU(2)$. In another application, we show that a slight enhancement of the A-polynomial detects infinitely many torus knots, including the trefoil.

研究动机与目标

• 通过瞬子弗洛尔同调中的规范理论技术，建立瞬子L-空间纽结为纤维化且强拟正的结论。
• 将克罗尼梅尔与姆罗夫卡关于SU(2)-阿贝尔手术的结果推广至r > 2的范围，特别是r ≥ 3的情况。
• 通过证明4-德恩手术对任意非平凡纽结均存在非平凡SU(2)表示，解决克罗尼梅尔与姆罗夫卡于2004年提出的问题。
• 表明A-多项式的轻微增强形式可检测无穷多类圆纽结，包括三叶纽结。
• 对SU(2)-回避纽结及其极限斜率施加强限制，证明其必须是纤维化的且强拟正的，且极限斜率大于2g(K)−1。

提出的方法

• 引入框架化瞬子弗洛尔同调中cobordism映射的新分解定理，类似于其他弗洛尔理论中的Spin^c分解。
• 将此分解应用于研究纽结德恩手术的瞬子弗洛尔同调，特别关注0-德恩手术流形的奇数维瞬子同调。
• 利用表面类作用于瞬子同调的欧拉示性数与特征子空间维数，约束可能的纽结类型。
• 运用克拉斯滕与林关于SU(2)表示和特征簇的结果，分析德恩手术流形Y的表示簇R(Y)的结构。
• 应用薄纽结理论及其亏格界，排除在特定r-薄条件下的非圆纽结。
• 利用若纽结为r-薄且满足r的某些数论条件，则其必为圆纽结的性质，结合卫星构造中的亏格可加性。

实验结果

研究问题

• RQ1 对于S³中非平凡纽结K，当有理数德恩手术斜率r满足何种条件时，3-流形S³_r(K)不是SU(2)-阿贝尔的？
• RQ2 能否在r = 3和r = 4时，特别是当r ≥ 2g(K)−1时，确立德恩手术中非平凡SU(2)表示的存在性？
• RQ3 对于亏格g(K) = 2的纤维化、强拟正纽结，当r = 3时是否产生SU(2)-阿贝尔手术？若存在，是否存在除三叶纽结外的其他此类纽结？
• RQ4 A-多项式或其增强形式能否检测特定圆纽结，如T_{p,q}（p, q为素数）？
• RQ5 SU(2)-表示簇对SU(2)-回避纽结施加了何种限制，特别是关于其极限斜率和拓扑类型？

主要发现

• 证明了瞬子L-空间纽结为纤维化且强拟正的，通过瞬子弗洛尔同调给出了新的刻画。
• 对任意非平凡纽结K，S³_4(K)均存在非平凡SU(2)表示，证实了克罗尼梅尔与姆罗夫卡的猜想。
• 当且仅当K是纤维化、强拟正且亏格为2时，S³_3(K)才是SU(2)-阿贝尔的。
• 增强的A-多项式可检测无穷多类圆纽结，包括T_{p,q}、T_{p²,q}、T_{p²,q²}、T_{4,q}（q > 3）及T_{4,q²}。
• 任何SU(2)-回避纽结必为纤维化，且其自身或其镜像必为强拟正的，其极限斜率严格大于2g(K)−1。
• 若r > 12且为无平方因子的奇数，且至少有两个不同的素因子，或r = p²q或p²q²（p, q为不同素数且q ≥ 3），则任何r-薄纽结必为圆纽结。