[论文解读] Pants Decompositions of Surfaces

Allen Hatcher|ArXiv.org|Jun 12, 1999

Geometric and Algebraic Topology参考文献 1被引用 31

一句话总结

本文引入了裤分解复形 𝒫(Σ)，这是一个二维胞腔复形，其顶点代表紧致可定向曲面 Σ 的裤分解的同伦类，边表示初等移动（S-移动和 A-移动）。通过证明所有移动序列之间的关系均源于五种基本类型——3A、5A、3S、6AS 和交换性——本文证明了 𝒫(Σ) 是单连通的，从而为理解曲面分解的拓扑结构建立了完整的组合结构。

ABSTRACT

We consider collections of disjoint simple closed curves in a compact orientable surface which decompose the surface into pairs of pants. The isotopy classes of such curve systems form the vertices of a 2-complex, whose edges correspond to certain simple moves in which only one curve changes, and whose 2-cells correspond to certain elementary cycles of simple moves. The main theorem is that this 2-complex is simply-connected. Thus any two pants decompositions of a surface are joinable by a sequence of simple moves, and any two such sequences of simple move are related by the elementary relations. The proof is similar to the proof, in a 1980 paper with W. Thurston, of an analogous result for curve systems with connected genus zero complement. [The present paper is essentially an excerpt from a joint paper with P. Lochak and L. Schneps which is to appear in Crelle's Journal.]

研究动机与目标

• 理解紧致可定向曲面上裤分解的组合结构。
• 刻画将一个裤分解变换为另一个裤分解的初等移动序列（S-移动和 A-移动）之间的关系。
• 构建一个二维胞腔复形 𝒫(Σ)，其 1-骨架编码初等移动，其 2-胞腔编码它们之间的基本关系。
• 证明 𝒫(Σ) 是单连通的，意味着所有移动序列之间的同伦关系均由指定的五类关系生成。

提出的方法

• 将裤分解定义为将 Σ 割成若干双曲面（亏格为 0 且有三个边界分量）的互不相交简单闭曲线的最大系统。
• 引入两类初等移动：S-移动（用一个边界分量的环面所围曲线替换）和 A-移动（用一个四极球面所围曲线替换）。
• 将裤分解复形 𝒫(Σ) 构造为一个 2-复形，其顶点为裤分解的同伦类，边为初等移动，2-胞腔沿五类基本环路附着：3A、5A、3S、6AS，以及不相交移动的交换性。
• 使用 Morse 理论将裤分解视为 Morse 函数 f: Σ → [0,1] 的水平集，并通过编码临界点和边界分量的商图 Γ(f) 实现复形 𝒫(Σ)。
• 通过将穿孔环面情形下的零伦同伦提升至原曲面，利用穿孔附近的局部提升并结合亏格为零曲面的已知结果，证明单连通性。
• 通过将任意 𝒫(Σ) 中的环路约化为五类基本关系的序列，利用横截性和曲线在穿孔处的连续形变，证明其为零伦同伦。

实验结果

研究问题

• RQ1 在曲面 Σ 上，将一个裤分解变换为另一个裤分解的初等移动序列的完整关系集合是什么？
• RQ2 如何为裤分解空间赋予一个自然的拓扑结构，以捕捉所有此类移动序列？
• RQ3 为何裤分解复形 𝒫(Σ) 是单连通的？这对其裤分解空间的同伦类型有何含义？
• RQ4 为何五类基本移动环路（3A、5A、3S、6AS 和交换性）能生成 𝒫(Σ) 中所有可能的移动序列关系？
• RQ5 能否通过从穿孔环面情形的提升论证，将一般情形约化为亏格为零的情形，从而建立 𝒫(Σ) 的单连通性？

主要发现

• 裤分解复形 𝒫(Σ) 是单连通的，意味着复形中所有环路均为零伦同伦。
• 所有 A-移动与 S-移动序列之间的关系均由五类基本类型生成：3A、5A、3S、6AS 和不相交移动的交换性。
• 对于类型为 (0,n) 的曲面，复形 𝒫(Σ) 显式可缩，当 n=4 或 n=5 时，所有关系均源于 3A 和 3S 环路。
• 对于亏格为 (1,n) 的曲面，复形 𝒫(Σ) 的单连通性通过从穿孔环面情形提升零伦同伦而建立，利用了曲线在穿孔处的连续形变。
• 6AS 和 5A 关系分别源于 (1,2) 和 (0,5) 子曲面中的几何构型，是完备关系集所必需的。
• 该证明表明，任意两个连接两个裤分解的移动序列均等价于通过插入/删除五类基本环路及逆移动对而得到。