[论文解读] Dimension and rank for mapping class groups

Jason Behrstock, Yair N. Minsky|ArXiv.org|Dec 15, 2005

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

一句话总结

本文证明了映射类群的渐近锥中局部紧致子集的极大拓扑维数等于其阿贝尔子群的最大秩，从而证实了Brock-Farb秩猜想。通过在渐近锥中递归构造乘积区域与R-树，作者证明了映射类群和具有Weil-Petersson度量的Teichmüller空间中的拟平坦子集的维数受其自由阿贝尔子群的秩所限制。

ABSTRACT

We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N free abelian subgroup. We also compute the maximum dimension of quasi-flats in Teichmuller space with the Weil-Petersson metric.

研究动机与目标

• 为解决Brock-Farb秩猜想，该猜想认为映射类群的几何秩等于其阿贝尔子群的最大秩。
• 确定映射类群以及具有Weil-Petersson度量的Teichmüller空间中拟平坦子集的最大维数。
• 在映射类群的渐近锥与其中阿贝尔子群的代数秩之间建立几何-结构联系。
• 将维数理论分析从映射类群推广至Teichmüller空间，利用裤图模型。
• 通过粗几何与渐近锥方法，为Hamenstädt关于秩猜想的结果提供一种替代证明。

提出的方法

• 在映射类群的渐近锥中构造一族子集P，每个P同胚于乘积F × A，其中F为R-树，A为某子曲面映射类群的渐近锥。
• 定义投影映射π_P: M^ω(S) → F，其在P外部局部常值，并在P上限制为投影。
• 利用这些投影的分离性质，控制渐近锥中局部紧致子集的拓扑维数。
• 对曲面的复杂度进行归纳，将问题约化至低秩子曲面，并应用维数理论引理。
• 将该方法适配至Teichmüller空间的裤图模型，利用Brock关于裤图与Weil-Petersson度量下Teichmüller空间之间的拟等距结果。
• 在裤图中建立类似的乘积区域与分离结构，通过相同的归纳论证得出维数上界。

实验结果

研究问题

• RQ1 映射类群中拟平坦子集的最大维数是多少？它与阿贝尔子群的代数秩有何关系？
• RQ2 映射类群的渐近锥是否通过其拓扑维数反映其自由阿贝尔子群的最大秩？
• RQ3 具有Weil-Petersson度量的Teichmüller空间的渐近锥中，局部紧致子集的最大维数是多少？
• RQ4 具有Weil-Petersson度量的Teichmüller空间的几何秩与其中阿贝尔子群的代数秩相比如何？
• RQ5 能否通过渐近锥中的递归几何构造来刻画映射类群与Teichmüller空间中拟平坦子集的维数？

主要发现

• 映射类群的渐近锥中局部紧致子集的极大拓扑维数等于其阿贝尔子群的最大秩，即对于具有g个亏格与p个边界分量的曲面，其值为3g − 3 + p。
• 该结果证实了Brock-Farb秩猜想：映射类群包含维数为N的拟平坦子集，当且仅当其具有秩为N的自由阿贝尔子群。
• 具有Weil-Petersson度量的Teichmüller空间的几何秩恰好为⌊(3g + p − 2)/2⌋，与裤图模型中阿贝尔子群的最大秩一致。
• Teichmüller空间的维数上界源于裤图的结构，其中裤分解中非环状子曲面的数量决定了最大乘积因子的数量。
• 证明使用了一种新颖的归纳构造方法，即在渐近锥中构造乘积区域与R-树投影，确保分离集的维数受控。
• 该方法为秩猜想提供了一种新颖的几何-拓扑方法，与Hamenstädt基于同调与列车轨道的证明方法截然不同。