[論文レビュー] 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

ひとこと要約

本稿は、Luoの問いに答え、 genus g ≥ 3 かつ b = 0 または 1 の場合、表面の写像類群 Modg,b がたった3つのねじれ元（torsion elements）によって生成可能であり、より強くは7つの対合（order two の元）によって生成可能であることを証明する。この結果により、生成に必要なねじれ元の数およびその位数について、 genus に依存しない普遍的な上限が確立され、すべての genus において一様で有限な生成集合が得られる。

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 を生成するのに必要なねじれ元の数について、genus に依存しない普遍的な上限が存在するか、Luoの未解決問題に答えること。
• このような上限が、生成元の数に加えて、生成するねじれ元の位数の観点からも達成可能かどうかを調査すること。
• すべての g ≥ 3 および b = 0, 1 に対して、7つの対合が Modg,b を生成することを証明し、位数が有界な一様で有限な生成集合を確立すること。

提案手法

• 著者たちは代数的トポロジーおよび幾何的群論の技法を用いて、写像類群の構造を分析する。
• 具体的には、対合（order two の元）からなる明示的な有限集合を構成し、それらの作用が写像類群全体を生成することを示す。
• 既知の写像類群の生成集合を用い、それらを特に位数2の元に還元することで証明を進める。
• ブレード群およびハンドル体群の作用を分析することで、必要な生成集合が写像類群内に実現可能であることを示す。
• ニールセン実現問題および有限部分群の構造に関する結果を応用し、生成元の可能な位数を制限する。
• genus についての帰納法を用い、高世代の表面ではディーハン回転が対合の積として表現可能であるという事実を利用する。

実験結果

リサーチクエスチョン

• RQ1 写像類群 Modg,b は、genus g に依存しない一様な有界な数のねじれ元によって生成可能か？
• RQ2 写像類群 Modg,b のねじれ生成元の位数についても、genus に依存しない普遍的な上限が存在するか？
• RQ3 写像類群 Modg,b はすべての対合（位数2の元）によって生成可能か？ もし可能であれば、必要な最小の数は何か？
• RQ4 このような生成集合はすべての g ≥ 3 および b = 0 または 1 に対して存在するか？ そしてその上限は g に依存しないか？

主な発見

• すべての g ≥ 3 に対して、写像類群 Modg,0 は3つのねじれ元によって生成可能である。
• すべての g ≥ 3 および b = 0 または 1 に対して、写像類群 Modg,b は7つの対合によって生成可能である。
• 生成元の数（7）およびその位数（2）は、genus g に依存せず、普遍的な上限が確立される。
• この結果により、すべてのこのような写像類群に対して、有限で一様な生成集合が存在し、すべての生成元が有限位数であることが確認される。
• 証明により、写像類群全体が位数2の元のみで生成可能であることが示され、これらは群論的に特に扱いやすい性質を持つ。
• 構成法により、ねじれ生成元の数およびその位数の両方について明示的な上限が得られ、Luoの問いは肯定的に解決される。