[论文解读] One-sided and two-sided Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Dec 2, 2011

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

一句话总结

本文为三维流形中的单侧Heegaard分解引入了Hempel距离的概念，并证明高距离限制了其他曲面的存在性——这些曲面要么是原始分解的稳定化，要么具有有界亏格。本文证明，在非Haken三维流形中，几何可压缩的单侧Heegaard曲面是稳定的，并表明在高距离条件下，由单侧分解诱导的双侧分解的映射类群同构于单侧曲面的基本群。

ABSTRACT

We define a notion of Hempel distance for one-sided Heegaard splittings and show that the existence of alternate surfaces restricts distance for one-sided splittings in a manner similar to Hartshorn's and Scharlemann-Tomova's results for two-sided splittings. We also show that every geometrically compressible one-sided Heegaard surface in a non-Haken 3-manifold is stabilized, and show that the mapping class group of the two-sided Heegaard splitting induced by a high distance one-sided splitting is isomorphic to the fundamental group of the one-sided surface.

研究动机与目标

• 为三维流形中的单侧Heegaard分解定义一个有意义的Hempel距离概念。
• 将Hartshorn和Scharlemann-Tomova的亏格界结果推广到单侧情形。
• 证明在非Haken三维流形中，几何可压缩的单侧Heegaard曲面是稳定的。
• 在高距离条件下，建立由单侧分解诱导的双侧分解的映射类群与单侧曲面基本群之间的精确同构关系。

提出的方法

• 将单侧Heegaard曲面的距离定义为补集中的圆盘边界曲线与邻域内本质环面或Möbius带的边界曲线在曲线复形中的距离。
• 通过模仿标准双侧构造技术，构造出具有任意高距离的单侧分解。
• 使用扫掠图和带移动来分析对单侧分解进行压缩后得到的曲面的拓扑结构，证明重复压缩将导致稳定化。
• 通过在区间丛U中附加一个竖直管，从单侧曲面O构造出一个双侧Heegaard曲面Σ′。
• 通过追踪用于构造Σ′的管的底端点在O中的运动，分析Σ′的同伦，表明此类同伦对应于π₁(O)中的环路。
• 证明当d(O) > 2g时，Σ′的同伦子群同构于π₁(O)，利用扫掠图序列中不存在二阶临界点的性质。

实验结果

研究问题

• RQ1 能否为单侧Heegaard分解定义一个类似于Hempel为双侧分解所定义的距离概念？
• RQ2 单侧分解中的高距离是否以类似于双侧分解亏格界定理的方式限制不可压缩或其它单侧曲面的存在性？
• RQ3 所有在非Haken三维流形中的几何可压缩单侧Heegaard曲面是否都是稳定的？
• RQ4 由高距离单侧分解诱导的双侧分解的映射类群是否同构于单侧曲面的基本群？

主要发现

• 单侧Heegaard曲面O的距离界定了任意其他曲面T的亏格：要么d(O) ≤ χ(T)，要么T是O的稳定化。
• 每个在非Haken三维流形中的几何可压缩单侧Heegaard曲面都是稳定的，证实了Bartolini与Rubinstein的猜想。
• 当d(O) > 2g时，由单侧曲面O诱导的双侧分解Σ′的映射类群Mod(M, Σ′)同构于π₁(O)。
• Σ′的同伦子群同构于π₁(O)，该同构通过追踪构造Σ′所用的管的底端点实现。
• 从O构造Σ′的过程保持了O的拓扑复杂性，且高距离确保Σ′不存在除O中环路诱导外的非平凡同伦。
• 对单侧曲面O进行重复压缩后得到曲面O′，使得O是O′的稳定化，证实了关于压缩序列的猜想。