[论文解读] Every mapping class group is generated by 3 torsion elements and by 7 involutions

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

Geometric and Algebraic Topology被引用 3

一句话总结

本文通過證明當 g ≥ 3 且 b = 0 或 1 時，曲面的映射類群 Modg,b 可由僅 3 個扭轉元素生成，且更強地，可由 7 個對合（二階元素）生成，從而解決了羅的問題。該結果確立了與曲面虧格無關的、生成扭轉元素數量與階數的通用上界，從而為所有虧格提供了有限且統一的生成集。

ABSTRACT

Let Modg,b denote the mapping class group of a surface of genus g with b punctures. Luo asked in [Lu] if there is a universal upper bound, independent of genus, for the number of torsion elements needed to generate Modg,b. We answer Luo’s question by proving that 3 torsion elements suffice to generate Modg,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 Modg,b but also for the order of those elements. In particular, our main result is that 7 involutions (i.e. orientation-preserving diffeomorphisms of order two) suffice to generate Modg,b for every genus g ≥ 3 and b = 0, 1.

研究动机与目标

• 回答羅關於是否存在與虧格無關的、生成映射類群 Modg,b 所需扭轉元素數量的通用上界的開問題。
• 研究該上界是否不僅在生成元數量上成立，而且在生成扭轉元素的階數上也成立。
• 證明對於所有 g ≥ 3 且 b = 0 或 1，7 個對合足以生成 Modg,b，從而確立了一個統一且有限的生成集，且元素階數有界。

提出的方法

• 作者使用代數拓撲與幾何群論技術來分析映射類群的結構。
• 他們構造了扭轉元素的顯式有限集合——特別是對合——其作用可生成整個映射類群。
• 證明依賴於已知的映射類群生成集，並將其簡化為有限階元素（特別是二階）的集合。
• 透過分析 braid 群與 handlebody 群的作用，他們證明所需的生成集可在映射類群內實現。
• 他們應用 Nielsen 實現問題與有限子群結構的結果，以約束生成元可能的階數。
• 證明過程依虧格進行歸納，並利用高虧格曲面上 Dehn 擺盪可表示為對合乘積的事實。

实验结果

研究问题

• RQ1 映射類群 Modg,b 是否可由一個與虧格 g 無關的、數量有限的扭轉元素生成？
• RQ2 是否存在一個與虧格無關的、扭轉生成元階數的通用上界？
• RQ3 整個映射類群 Modg,b 是否可由對合（二階元素）生成？若可，所需的最小數量是多少？
• RQ4 這樣的生成集是否對所有 g ≥ 3 且 b = 0 或 1 成立？且該上界是否與 g 無關？

主要发现

• 對於所有 g ≥ 3，映射類群 Modg,0 可由 3 個扭轉元素生成。
• 對於所有 g ≥ 3 且 b = 0 或 1，映射類群 Modg,b 可由 7 個對合生成。
• 生成元數量（7）及其階數（2）與虧格 g 無關，確立了通用上界。
• 該結果確認了對於所有此類映射類群，均存在有限且統一的生成集，且所有生成元均為有限階。
• 證明顯示整個映射類群可僅使用二階元素生成，這些元素在群論上具有良好的性質。
• 該構造為扭轉生成元的數量與階數提供了顯式上界，從而正面回應了羅的問題。