[论文解读] The Pants Complex Has Only One End

Howard Masur, Saul Schleimer|ArXiv.org|Dec 19, 2003

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

一句话总结

本文证明了闭可定向曲面在亏格至少为三时，其裤复形仅有一个端点，这意味着任意两个远离基点的裤分解可通过一条始终保持与基点均匀远离的路径相连。证明依赖于通过曲面的换向曲线和曲面复形中的受控测地线射线构造此类路径，利用裤复形与曲面复形中受限的组合几何结构。

ABSTRACT

The authors prove that for a closed surface of genus at least 3, the graph of pants decompositions has only one end.

研究动机与目标

• 证明闭可定向曲面在亏格 g(S) ≥ 3 时，其裤复形仅有一个端点。
• 证明任意两个远离基点的裤分解可通过一条始终远离基点的路径相连。
• 证明曲面复形中换向曲线的集合是连通的，并且每个裤分解在裤复形中与一个包含换向曲线的分解之间的距离有统一有界。
• 为在 Weil-Peterson 度量下 Teichmüller 空间的一端性质提供几何基础。
• 通过子曲面投影与受控路径构造，推广裤复形中的组合控制。

提出的方法

• 利用曲面复形与子曲面投影，通过有界组合性原理控制裤复形中的距离。
• 通过有界距离论证，首先将两个相距遥远的裤分解移动至包含换向曲线。
• 应用引理 3.1，确保在换向子曲面的测地线射线上构造的路径始终保持在半径 R 的球外。
• 通过在关联波上的双重手术降低换向曲线之间的交点数，从而在曲面复形中实现归纳性减少。
• 利用换向曲线在曲面复形中的连通性（命题 2.1），通过一系列换向曲线连接分解。
• 通过在换向子曲面中依次修改曲线，同时使用受控投影保持与基点的距离，构造裤分解之间的路径。

实验结果

研究问题

• RQ1 亏格 g(S) ≥ 3 的曲面的裤复形是否仅有一个端点？
• RQ2 任意两个远离基点的裤分解是否可通过一条始终保持与基点均匀远离的路径相连？
• RQ3 亏格 ≥3 曲面的曲面复形中换向曲线的集合是否连通？
• RQ4 每个裤分解是否在裤复形中与一个包含换向曲线的分解之间具有统一有界的距离？
• RQ5 子曲面投影与有界组合性在控制裤复形中路径行为方面起什么作用？

主要发现

• 对于亏格 g(S) ≥ 3 的闭可定向曲面，其裤复形仅有一个端点，定义为大球补集仅有一个无界连通分支。
• 存在常数 K = K(S) 与 M₃ = M₃(S)，使得对任意 R > M₃，任何两个与基点距离大于 KR 的裤分解，均可通过一条始终保持与基点距离至少 R 的路径相连。
• 通过双重手术与交点数减少，证明了亏格 g(S) ≥ 3 的曲面中，曲面复形的换向曲线集合是连通的。
• 每个裤分解在裤复形中与一个包含换向曲线的分解之间的距离有统一有界，从而实现对路径构造的控制。
• 通过在换向子曲面的测地线射线上使用初等移动构造的路径，当射线长度超过 M₁(R + M₂) 时，可确保其始终远离基点，此结论由引理 3.1 保证。
• 裤复形的一端性质意味着在 Weil-Peterson 度量下，Teichmüller 空间也仅有一个端点，此结论由拟等距不变性得出。