[論文レビュー] Torsion Elements in the Mapping Class Group of a Surface

Feng Luo|ArXiv.org|Apr 8, 2000

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 21

ひとこと要約

この論文は、コンパクトな向きつけ可能な曲面の写像類群がねじれ元によって生成される正確な時刻を特定する。その生成が成立するのは、整数 k に対して (g,r) ≠ (2,5k+4) のときであり、例外的な場合に限ってはねじれ元によって生成される部分群が指数 5 のものになる。この結果はホモロジー的議論、デーンねじりの分解、特に固定点が少ない曲面の Z5作用を特徴とする周期的対称性の解析に依拠している。

ABSTRACT

Given a finite set of $r$ points in a closed surface of genus $g$, we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if $(g, r) eq (2, 5k+4)$ for some integer $k$.

研究の動機と目的

• コンパクトな向きつけ可能な曲面の写像類群がねじれ元によって生成される正確な条件を同定すること。
• ねじれ元によって生成される部分群が有限指数となる例外的な場合 (g,r) = (2,5k+4) を解明すること。
• 特に、ねじれ元によって生成される写像類群における周期的曲面対称性（特に、固定点が少ない genus-2 曲面における一意の Z5作用）の役割を分析すること。
• 写像類群の第一ホモロジー群が、ねじれ元の像によって生成されることを示すこと。短い完全系列と交換子の議論を用いる。
• 生成するねじれ元の位数について、 genus と境界成分の数に応じた明示的な上限を提示すること。

提案手法

• 短い完全系列 1 → [Γ*,Γ*] → Γ* → H₁(Γ*) → 1 を用いて、問題を「交換子群と第一ホモロジー群がねじれ元によって生成されること」に還元する。
• ランタン関係と対合による共役を用いて、分離しないループに関するデーンねじりがねじれ元の積として表せることを示す。
• genus ≥ 3 の場合、ハーレルの結果（純粋写像類群の第一ホモロジー群が自明）を用いて、ねじれ元による生成を示す。
• genus 2 の場合、明示的にホモロジー群 H₁(Γ*₂,₀) ≅ ℤ₁₀ を計算し、5重対称性と対合の像がそれを生成することを示す。
• g+2 個の固定点を持つ Z₃作用を構成することで、位数 3 のねじれ元の存在を裏付ける。
• ランタン関係を用いて、デーンねじりをねじれ元の交換子の積として表現し、デーンねじりが交換子群に属することを証明する。

実験結果

リサーチクエスチョン

• RQ1 r 個の境界成分をもつ genus g の曲面の写像類群がねじれ元によって生成されるのは、どのペア (g,r) のときか？
• RQ2 なぜ (g,r) = (2,5k+4) の場合がねじれ元による生成の例外となるのか？
• RQ3 genus-2 曲面における一意の Z5作用が、ねじれ元による生成を妨げる役割を果たす理由は何か？
• RQ4 分離しない曲線に関するデーンねじりは、写像類群内でねじれ元の積として表現可能か？
• RQ5 生成するねじれ元の位数は、genus と境界成分の数にどのように依存するか？

主な発見

• 曲面 Σ_{g,r} の写像類群は、任意の整数 k に対して (g,r) ≠ (2,5k+4) であるときかつそのときに限り、ねじれ元によって生成される。
• 例外的な場合 (g,r) = (2,5k+4) においては、ねじれ元が写像類群の指数 5 の部分群を生成する。
• g ≥ 3 の場合、写像類群は位数 2（対合）の元によって生成される。
• g = 2 の場合、群は位数 2 または 5 のねじれ元によって生成される。
• g = 1 の場合、群は位数 2, 3, または 4 のねじれ元によって生成される。
• g = 0 の場合、群は位数 r−1 または r のねじれ元によって生成される。