[论文解读] Every mapping class group is generated by 3 elements of finite order

Tara Brendle, Benson Farb|arXiv (Cornell University)|Jul 2, 2003

Geometric and Algebraic Topology被引用 1

一句话总结

本文通过证明每个映射类群 Mod_{g,b} 仅由三个扭元生成而解决了冯·罗的疑问，更强的结果是：当 b = 0 时，对于 g ≥ 3 的情况，六个对合（二阶元素）就足以生成 Mod_{g,b}；当 b = 1 时，对于 g ≥ 4 的情况，六个对合也足以生成 Mod_{g,b}。该工作建立了与亏格无关的扭元生成元数量及其阶的统一上界。

ABSTRACT

Let Mod_{g,b} denote the mapping class group of a surface of genus g with b punctures. Feng Luo asked in a recent preprint if there is a universal upper bound, independent of genus, for the number of torsion elements needed to generate Mod_{g,b}. We answer Luo's question by proving that 3 torsion elements suffice to generate Mod_{g,0}. We also prove the more delicate result that there is an upper bound, independent of genus, not only for the number of torsion elements needed to generate Mod_{g,b} but also for the order of those elements. In particular, our main result is that 6 involutions (i.e. orientation-preserving diffeomorphisms of order two) suffice to generate Mod_{g,b} for every genus g >= 3, b = 0, and g >= 4, b = 1.

研究动机与目标

• 确定是否存在一个与亏genus无关的通用上界，用于确定生成映射类群 Mod_{g,b} 所需的扭元数量。
• 研究该上界是否同样适用于生成扭元的阶。
• 为所有亏格下的 Mod_{g,b} 建立明确且统一的生成结果，特别是针对无穿孔或仅有一个穿孔的曲面。
• 解决冯·罗关于映射类群的扭元生成元存在有限通用边界的开放问题。

提出的方法

• 作者使用代数拓扑与几何群论技术分析映射类群的结构。
• 他们通过利用曲面微分同胚的已知表示和对称性，构造显式生成集，特别关注有限阶元素，尤其是对合。
• 证明依赖于尊重高亏格曲面拓扑的对称生成集的存在性。
• 作者应用尼尔森实现问题及相关结果，以及有限群在曲面上的作用，以限制可能的生成集。
• 他们通过在亏格和穿孔数上进行归纳与情形分析，将低亏格的生成结果推广至高亏格。
• 该构造确保所有生成元均为有限阶，且在所有亏格下其阶的上界保持一致。

实验结果

研究问题

• RQ1 是否存在一个与亏格无关的通用上界，用于确定生成 Mod_{g,b} 所需的扭元数量？
• RQ2 该上界是否能仅通过有限阶均匀有界的元素实现？
• RQ3 在大亏格下，生成 Mod_{g,b} 所需的最小对合数量是多少？
• RQ4 此类上界的存在性是否依赖于穿孔数 b？
• RQ5 映射类群 Mod_{g,b} 是否能由一个与亏格无关的固定数量的扭元生成？

主要发现

• 对于所有 g ≥ 3，三个扭元足以生成映射类群 Mod_{g,0}。
• 当 b = 0 且 g ≥ 3 时，六个对合（二阶元素）足以生成 Mod_{g,b}。
• 对于带有一个穿孔的曲面，当 g ≥ 4 时，六个对合足以生成 Mod_{g,1}。
• 生成元数量及其阶在所有亏格下均保持一致，且与 g 无关。
• 结果为所有映射类群 Mod_{g,b} 建立了扭元的通用有限生成集，从而解决了罗的问题。