[论文解读] Dehn surgery, the fundamental group and SU(2)

P. B. Kronheimer, Tomasz Mrowka|ArXiv.org|Dec 17, 2003

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

一句话总结

该论文证明了对于3-球面中的任意非平凡扭结，当Dehn手术系数满足|r| ≤ 2时，所得的3-流形其基本群存在非循环同态映射到SU(2)。证明方法使用了Chern-Simons泛函的holonomy扰动及规范理论技术，避免使用瞬子Floer同调，表明此类流形的基本群不可能是循环群——从而独立验证了|r| ≤ 2时的Property P。

ABSTRACT

Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with non-cyclic image if r is less than or equal to 2.

研究动机与目标

• 证明对非平凡扭结进行|r| ≤ 2的Dehn手术，可得到基本群非循环的3-流形。
• 在不依赖循环手术定理的前提下，证明此类手术对应的π₁(Y_r)存在到SU(2)的非循环同态。
• 提供一种避免依赖瞬子Floer同调的、基于规范理论的|r| ≤ 2手术下Property P的证明。
• 阐明循环基本群与Dehn手术中不存在非交换SU(2)表示之间的区别。

提出的方法

• 对3-流形上SU(2)联络的Chern-Simons泛函应用holonomy扰动，利用扭结的管状邻域定义扰动函数。
• 通过类函数φ在SU(2)上及积分为1的2-形式μ，构造扰动Chern-Simons泛函Φ(A) = ∫_D φ(Hol_γ_z(A)) μ(z)。
• 分析扰动泛函CS + Φ的临界点，表明具有非循环单值性的平坦联络对应于非平凡的SU(2)表示。
• 利用Uhlenbeck紧致性与扰动理论，在手术流形的双倍构造所得的4-流形上定义Donaldson不变量。
• 应用文献[13]中的结果：若表示簇R^w_ι,φ(Y₀)为空，则其Donaldson不变量为零。
• 结合文献[17]中的辛4-流形构造与Witten猜想，若基本群为循环，则导出矛盾。

实验结果

研究问题

• RQ1 对非平凡扭结进行|r| ≤ 2的Dehn手术，是否会产生基本群为循环的3-流形？
• RQ2 此类手术流形的基本群是否可同态映射到SU(2)且为非循环？
• RQ3 是否存在一种基于规范理论的、避免使用瞬子Floer同调的|r| ≤ 2手术下Property P的证明？
• RQ4 基本群为循环与Dehn手术中非交换SU(2)表示的存在性之间有何关系？

主要发现

• 对S³中任意非平凡扭结K，当|r| ≤ 2时，Dehn手术得到的3-流形Y_r，其基本群π₁(Y_r)存在到SU(2)的非循环同态。
• 若零手术Y₀的表示簇R^w_ι,φ(Y₀)为空，则其双倍4-流形的Donaldson不变量为零。
• 证明表明：若|r| ≤ 2时π₁(Y_r)为循环，则Donaldson不变量将为零，与辛4-流形中Seiberg-Witten不变量的非平凡性矛盾。
• 该结果独立验证了|r| ≤ 2时的Property P，且不依赖Culler、Gordon、Luecke与Shalen的循环手术定理。
• 以(−2,3,7)扭结为例，表明当|r| > 2时，可得到基本群非循环但无非交换SU(2)表示的流形。
• 本文确立了在Dehn手术中，非交换SU(2)表示的缺失比基本群为循环更强。