[论文解读] Toroidal homology spheres and SU(2)-representations

Tye Lidman, Juanita Pinzón‐Caicedo+1 more|arXiv (Cornell University)|Jan 7, 2021

Geometric and Algebraic Topology参考文献 30被引用 6

一句话总结

本文利用 instanton Floer 上同调、holonomy 修正和手术精确三角形，证明了每个环形整同调三球面都存在其基本群的不可约 SU(2)-表示。关键结果证实了环形整同调三球面的这一猜想，将此前关于纤维化和双曲情形的结果推广至更广范围。

ABSTRACT

We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact triangle, holonomy perturbations, and a non-vanishing result due to Kronheimer-Mrowka, as well as results about surgeries on cables due to Gordon.

研究动机与目标

• 建立包含嵌入不可压缩环面的整同调三球面的基本群存在不可约 SU(2)-表示的结论。
• 在 Kirby 关于基本群非平凡性的问题背景下，推广已知的 SU(2)-表示结果。
• 通过避免 Boileau-Rubinstein-Wang 的有限性论证，为推论 1.2（关于 SL₂(ℂ)-表示）提供新证明。
• 将 holonomy 修正技术推广至 S³ 中非平凡纽结之外的卫星与拼接流形。
• 在特定条件下，证明纽结余下的在枕面（pillowcase）中的 SU(2)-表示的特征簇图像包含本质环路，从而在拼接流形上构造不可约表示。

提出的方法

• 利用 instanton Floer 上同调与手术精确三角形分析基本群的表示。
• 应用 holonomy 修正以避免可约表示，并确保 Floer-理论不变量非零。
• 采用拼接构造：一个环形整同调三球面可表示为两个整同调球面中纽结余的拼接。
• 分析纽结余在 SU(2)-特征簇（即枕面）上的表示图像，以检测本质环路。
• 利用两个拼接纽结余的表示所对应的本质环路在枕面中的非平凡交点，构造拼接流形上的不可约 SU(2)-表示。
• 借助 Kronheimer-Mrowka 的非零结果以及 Gordon 关于套索纽结手术的研究成果，支持论证。

实验结果

研究问题

• RQ1 所有环形整同调三球面是否都存在其基本群的不可约 SU(2)-表示？
• RQ2 holonomy 修正技术能否推广至拼接流形，以证明不可约 SU(2)-表示的存在性？
• RQ3 在何种条件下，纽结余的表示簇在枕面中的图像包含本质环路？
• RQ4 枕面中两个本质环路的非平凡交点是否意味着拼接流形上存在不可约 SU(2)-表示？
• RQ5 能否在不依赖有限性定理的前提下，建立环形整同调三球面中不可约 SU(2)-表示的存在性？

主要发现

• 每个环形整同调三球面都存在其基本群的不可约 SU(2)-表示。
• 该证明避免使用 Boileau-Rubinstein-Wang 的有限性结果，为先前推论 1.2 的证明提供了更简洁的替代方案。
• 当对应的整同调球面不存在不可约 SU(2)-表示时，每个纽结余在边界环面（即枕面）上的特征簇图像均包含一个本质环路。
• 两个拼接纽结余对应的本质环路在枕面中交于非平凡点，从而保证了拼接流形上不可约 SU(2)-表示的存在性。
• 非零 instanton Floer 上同调结果作为关键要素被使用，其依赖于 Kronheimer-Mrowka 的工作与手术精确三角形。
• 该结果确认了 Kirby 问题 3.105(A) 的一个关键情形，支持了更广泛的猜想：除 S³ 外，所有整同调三球面均具有非平凡的 SU(2)-表示。