[论文解读] Monopoles and lens space surgeries

P. B. Kronheimer, Tomasz Mrowka+2 more|ArXiv.org|Oct 13, 2003

Geometric and Algebraic Topology参考文献 29被引用 20

一句话总结

该论文利用单极子 Floer 上同调与手术长正合序列，证明了在3球面中对非平凡扭结进行德恩手术无法得到实射影3空间（RP³）。关键结果表明，仅平凡扭结（即圆环）能产生透镜空间手术（包括 RP³ 作为 L(2,1)），从而解决了戈登对所有有理斜率的猜想，并在叶状结构与亏格为二或更高的扭结的透镜空间手术方面具有应用。

ABSTRACT

Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations.

研究动机与目标

• 解决戈登猜想：在 S³ 中，仅平凡扭结能产生透镜空间手术，包括 RP³ 作为 L(2,1)。
• 确立对非平凡扭结的德恩手术无法产生 RP³ 或任何满足 p > 2 的透镜空间。
• 应用单极子 Floer 上同调技术，阻碍双曲扭结与链的叶状结构。
• 对亏格为二或更高的扭结分类透镜空间手术，表明仅特定的环面扭结（如 (2,5)）能产生此类手术。
• 为 Seifert 纤维化手术提供新的障碍，并构造无限多组无叶状结构的双曲3-流形。

提出的方法

• 利用单极子 Floer 上同调及其在具有叶状结构的流形上非零的性质。
• 应用单极子 Floer 上同调群的手术长正合序列（正合三角形）。
• 采用归纳法论证：若扭结 K 是 p-标准的（即 S³_p(K) 的 Floer 上同调与平凡扭结相同），则其为 (p−1)-标准。
• 利用非零定理证明 0-标准扭结必为平凡扭结，从而确立基础情形。
• 通过证明若 S³_r(K) ≅ S³_r(U)，则 K 是 p-标准的（其中 p = ⌈r⌉），将结果推广至非整数有理斜率。
• 将正合三角形应用于交替链的分支双覆盖以及双曲型与 Borromean 链的手术，以阻碍叶状结构。

实验结果

研究问题

• RQ1 能否通过对 S³ 中的非平凡扭结进行德恩手术得到 RP³？
• RQ2 S³ 中哪些扭结能产生透镜空间手术？对于给定亏格，可能产生的透镜空间有哪些？
• RQ3 哪些扭结手术（尤其是双曲扭结）不具有叶状结构？
• RQ4 单极子 Floer 上同调能否区分非平凡扭结与平凡扭结的手术？
• RQ5 在亏格与亚历山大多项式次数的条件下，哪些障碍限制了扭结产生 Seifert 纤维化手术？

主要发现

• RP³ 无法通过对 S³ 中任何非平凡扭结进行德恩手术得到，从而解决了戈登的猜想。
• 仅平凡扭结能产生 p = 2 的透镜空间手术（即 RP³），且无非平凡扭结能产生 S³_r(K) ≅ L(2,q)（其中 q 为奇数）。
• 对于亏格为二的扭结，仅 (2,5) 环面扭结能产生透镜空间手术，分别得到 L(9,7) 与 L(11,4)。
• 当 n ≥ 3 时，(-2,3,2n+1) 型的双曲型扭结能产生无叶状结构的手术，且对所有 r ≥ 2n+4 成立。
• 任意非分裂交替链的 S³ 分支双覆盖均不具有叶状结构。
• 对 Borromean 链以 a,b,c ≥ 1 的有理数进行手术，得到的3-流形不具有叶状结构，包括 Weeks 流形 M(1,5/2,5)。