[论文解读] Geometry of the mapping class group II: A biautomatic structure

Ursula Hamenstaedt|ArXiv.org|Dec 1, 2009

Geometric and Algebraic Topology参考文献 7被引用 26

一句话总结

本文通过在列车轨道复形上使用有界双组合以及拟等距嵌入，证明了有限型非例外曲面的映射类群具有双自动结构。其关键贡献在于证明了双自动性，这表明字问题可在线性时间内求解，并对共轭元素的长度存在统一的指数界。

ABSTRACT

The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.

研究动机与目标

• 建立非例外曲面映射类群的双自动结构，强化 Mosher 早期关于自动性的结果。
• 证明映射类群的各类子群是无畸变的，意味着它们是拟等距嵌入的。
• 在列车轨道复形上构造一个支持双自动结构的有界双组合。
• 证明映射类群中某些子群的包含映射是拟等距嵌入，以确保几何控制。
• 为映射类群提供共轭元素长度的统一指数界，改进 Hemion 关于共轭问题的结果。

提出的方法

• 利用列车轨道复形作为映射类群几何结构的组合模型。
• 通过分裂序列和组合修改，在列车轨道复形上构造一个有界双组合。
• 应用有限算法，将一个大边轨道转换为携带给定测地拉伸层的完全列车轨道。
• 利用构造在映射类群作用下的不变性，确保统一的拟等距界。
• 应用双曲几何与列车轨道理论的结果，确保双组合满足双自动性所需的有界性条件。
• 利用算法中步骤数与选择数仅依赖于曲面拓扑类型的事实，实现统一性。

实验结果

研究问题

• RQ1 非例外曲面的映射类群是否具有双自动结构？
• RQ2 能否证明映射类群子群到全群的包含映射是拟等距嵌入？
• RQ3 是否存在一个支持双自动结构的列车轨道复形上的有界双组合？
• RQ4 能否为映射类群建立共轭元素长度的统一指数界？
• RQ5 列车轨道复形的几何结构如何与映射类群的字度量及自动结构相关联？

主要发现

• 非例外曲面的映射类群具有双自动结构，该结论通过列车轨道复形上的有界双组合得以证明。
• 该构造给出了共轭元素长度的统一指数界：对任意两个共轭元素，存在长度至多为 μ^max{|u|,|v|} 的共轭元，其中 μ > 0。
• 保持本质子曲面不变的映射类群子群是无畸变的，意味着其包含映射是拟等距嵌入。
• 从给定的大边轨道通过 λ-坍缩构造得到的可能列车轨道数量是统一有界的，仅依赖于曲面的拓扑类型。
• 将大边轨道转换为携带给定测地拉伸层的完全列车轨道的算法在统一有界的步骤内终止，确保了所有同类型曲面上的一致性。
• 双自动结构意味着字问题可在线性时间内求解，且可解子群是几乎阿贝尔的。