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

ひとこと要約

本論文は、Feng Luoの問いを解決し、任意の写像類群Mod_{g,b}が3つのねじれ元によって生成可能であることを証明している。より強い結果として、3次以上の genus に対してはb = 0のとき、4次以上の genus に対してはb = 1のとき、6つの対合（位数2の元）で十分である。本研究は、 genus に依存しない、ねじれ生成元の数およびその位数の普遍的な上界を確立した。

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.

研究の動機と目的

• 写像類群Mod_{g,b}を生成するのに必要なねじれ元の数に対する、 genus に依存しない普遍的な上界が存在するかどうかを特定すること。
• そのような上界が、生成するねじれ元の位数に対しても適用可能かどうかを調査すること。
• 特に、穴のない表面または1つの穴を持つ表面に対して、すべての genus にわたる明示的で一様な生成結果を確立すること。
• Feng Luoの、写像類群のねじれ生成元に対する有限な普遍的上界の存在に関する未解決の問いを解消すること。

提案手法

• 著者たちは、代数的位相および幾何学的群論の技法を用いて、写像類群の構造を分析した。
• 既知の表現と曲面の微分同相写像の対称性を活用し、特に対合を用いた明示的な生成集合を構成した。
• 証明は、高次の genus を持つ曲面の位相を尊重する対称的生成集合の存在に依存している。
• 有限群が曲面上に作用する方法や、Nielsen実現問題に関する結果を応用し、可能な生成集合を制限した。
• genus と穴の数に関する帰納法とケース分析を用いて、低次の genus から高次の genus へと生成結果を拡張した。
• すべての生成元が有限位数であることを保証し、すべての genus にわたってその位数に一様な上界を設定した。

実験結果

リサーチクエスチョン

• RQ1 Mod_{g,b} を生成するために必要なねじれ元の数に対する、 genus に依存しない普遍的な上界が存在するか？
• RQ2 そのような上界は、有限位数が一様に有界な元のみを用いて達成可能か？
• RQ3 大規模な genus に対して、Mod_{g,b} を生成するために必要な最小の対合の数は何か？
• RQ4 そのような上界の存在は、穴の数bに依存するか？
• RQ5 写像類群Mod_{g,b}は、 genus にかかわらず、固定された数のねじれ元によって生成可能か？

主な発見

• すべてのg ≥ 3に対して、3つのねじれ元で十分にMod_{g,0}が生成可能である。
• すべてのg ≥ 3およびb = 0に対して、6つの対合（位数2の元）で十分にMod_{g,b}が生成可能である。
• 1つの穴を持つ曲面に対しては、g ≥ 4のとき、6つの対合がMod_{g,1}を生成可能である。
• 生成元の数およびその位数は、すべての genus にわたって一様に有界であり、gに依存しない。
• 本研究は、すべての写像類群Mod_{g,b}に対して、ねじれ元の普遍的有限生成集合を確立し、Luoの問いを解決した。