[论文解读] Orderings of mapping class groups after Thurston

Hamish Short, Bert Wiest|ArXiv.org|Jul 15, 1999

Geometric and Algebraic Topology参考文献 15被引用 44

一句话总结

本文提出一种基于Thurston几何方法的自然构造方式，通过表面在双曲通用覆叠的无穷远处边界上的作用，构建带边界的曲面的映射类群的左序。关键贡献是将该构造产生的辫群序完全分类为有限型（离散，有限多个共轭类）与无限型（非离散，不可数多个），并利用曲线图对有限型情况实现完全的组合分类。

ABSTRACT

We are concerned with mapping class groups of surfaces with nonempty boundary. We present a very natural method, due to Thurston, of finding many different left orderings of such groups. The construction involves equipping the surface with a hyperbolic structure, embedding the universal cover in the hyperbolic plane, and extending the action of the mapping class group on it to its limit points on the circle at infinity. We classify all orderings of braid groups which arise in this way. Moreover, restricting to a certain class of ``nonpathological'' orderings, we prove that there are only finitely many conjugacy classes of such orderings.

研究动机与目标

• 对通过双曲结构和在无穷远处圆周上的作用，利用Thurston几何构造所产生的所有辫群左序进行分类。
• 通过映射类群在双曲通用覆叠的边界上的动力作用，理解带边界的曲面的映射类群序的结构。
• 基于其拓扑与组合性质，区分并表征两类序——有限型与无限型。
• 证明有限型序仅有有限多个共轭类，而无限型序构成不可数族。
• 建立有限型序与曲线图之间的对应关系，实现对这类序的完全组合分类。

提出的方法

• 使用Thurston方法：在曲面上赋予双曲结构，提升至双曲平面，并将映射类群的作用扩展到无穷远处的圆周。
• 利用在无穷远处圆周上的作用，通过R中一点的轨道在诱导作用下定义映射类群上的左不变序。
• 定义两类序：有限型（离散，由具有有限轨道的点产生）与无限型（非离散，由无限轨道产生）。
• 引入曲线图为组合工具，以表示和分类有限型序，证明其与这类序一一对应。
• 利用德恩旋转变换在通用覆叠中的测地线上的作用，可对序的行为进行显式控制，特别是通过迭代逆旋转变换的极限。
• 应用涉及测地线初始段的同伦与曲线逼近（如τα⁺逼近τα）的拓扑论证，以构造具有所需序性质的特定同胚。

实验结果

研究问题

• RQ1 哪些辫群的左序是通过Thurston几何构造，利用在无穷远处边界上的作用产生的？
• RQ2 在该构造中，有限型与无限型序有何区别？它们的动力学与拓扑性质如何不同？
• RQ3 有限型序的共轭类是否仅有有限多个？能否实现完全分类？
• RQ4 曲线图是否能为Thurston构造产生的有限型序提供完全的组合描述？
• RQ5 无限型序的基数与结构如何？它们与有限型序有何不同？

主要发现

• 辫群的有限型序是离散的，且由具有有限轨道的点产生；此类序仅有有限多个共轭类。
• 无限型序是非离散的，且构成不可数族，表明序空间中存在丰富而复杂的结构。
• 所有有限型序均可通过曲线图进行组合分类，且与这类图一一对应。
• 通过仔细选择大k值的德恩旋转变换Tα⁺⁻ᵏ ∘ Tβ⁺，可实现α与β序中符号行为混合的同胚构造。
• 迭代逆德恩旋转变换Tα⁺⁻ᵏ(δ) → δr当k→∞时的极限行为，确保对大k有Tα⁺⁻ᵏ(β⁺) < β，从而实现具有所需符号性质的序的构造。
• 该方法通过曲线图实现了对有限型序的完全分类，提供了一种具体而有效的方式来理解与枚举这些序。