[论文解读] The automorphism group of the pants complex

Dan Margalit|ArXiv.org|Jan 31, 2002

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

一句话总结

该论文证明了，对于非环面（即亏格为1且有两个 punctures 的曲面除外）的闭合、定向曲面，其裤图（pants graph）——即裤分解复形的1-骨架——的自同构群同构于其扩展映射类群。证明依赖于在1-骨架中组合地刻画2-胞腔，并将裤图中的标记法雷图（marked Farey graphs）与曲线复形中的顶点联系起来，从而诱导出自同构群之间的同构。

ABSTRACT

We show that the automorphism group of the complex of pants decompositions for a surface is isomorphic to the mapping class group for that surface.

研究动机与目标

• 使用裤复形建立映射类群的组合模型。
• 证明裤图（即裤复形的1-骨架）的自同构群同构于扩展映射类群。
• 证明裤复形的拓扑结构可完全从其1-骨架通过组合关系恢复。
• 通过标记法雷图将裤图的自同构与曲线复形的自同构联系起来。
• 证明裤图的所有自同构均由映射类群元素诱导。

提出的方法

• 通过不在同一法雷图中的四条边构成的环路，组合地刻画裤复形中的2-胞腔。
• 利用正方形2-胞腔对应于不相交子曲面上基本移动的交换关系的事实，并证明该性质是纯粹组合的。
• 在裤图中定义标记法雷图为一组仅通过一条曲线不同的裤分解，且具有共同参考点。
• 在曲线复形的顶点与裤图中的标记法雷图之间建立对应关系。
• 通过保持法雷图交集模式，构造从裤图自同构到曲线复形自同构的映射。
• 通过证明该映射是良定义的同态、单射且满射，从而证明其为同构。

实验结果

研究问题

• RQ1 能否仅通过复形的1-骨架完全描述裤复形的自同构群？
• RQ2 裤图的每个自同构是否均由扩展映射类群的元素诱导？
• RQ3 裤复形的2-胞腔结构能否仅从裤图的组合性质中重构？
• RQ4 裤图中的标记法雷图与曲线复形中的顶点有何关系？
• RQ5 裤图的自同构群是否同构于曲面的映射类群？

主要发现

• 当曲面不是亏格1且有两个punctures的曲面时，裤图的自同构群同构于曲面的扩展映射类群。
• 裤复形的2-胞腔结构可通过仅在1-骨架中利用不位于同一法雷图中的4-环路的组合条件完全刻画。
• 裤图的自同构保持标记法雷图的结构，而这些标记法雷图与曲线复形中的顶点之间存在双射对应。
• 从裤图自同构群到曲线复形自同构群的诱导映射是一个同构。
• 裤图自同构群与映射类群之间的同构是自然的，源于映射类群对裤分解的作用。
• 该结果确认了裤图是具有Weil-Petersson度量的Teichmüller空间的典型组合模型，因为其自同构群与该空间的等距群一致。