[論文レビュー] The twist subgroup of the mapping class group of a nonorientable surface

Michał Stukow|arXiv (Cornell University)|Sep 18, 2007

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

本稿は、非可換な曲面 N_g,s^n（genus g ≥ 3、s 個の境界成分、n 個の穴をもつ）の写像類群のねじれ部分群 𝒯(N) の簡単な生成集合を提供し、その整数係数1次ホモロジー群（アーベル化）を計算する。主な結果は、曲面の genus と位相的型に応じて H₁(𝒯(N), ℤ) の完全分類であり、g ≥ 7 のときには自明なホモロジーが得られ、それより低い genus の場合には有限アーベル群が得られ、具体的には g = 3 のとき、ℤ₁₂ および ℤ₂₄ × ℤ₂^{s−1} のような torsion 構造を有する。

ABSTRACT

Let T(N) be the subgroup of the mapping class group of a nonorientable surface N (possibly with punctures and/or boundary components) generated by twists about two-sided circles. We obtain a simple generating set for T(N). As an application we compute the first homology group (abelianization) of T(N).

研究の動機と目的

• 非可換曲面 N_g,s^n の写像類群のねじれ部分群 𝒯(N) の簡単かつ明示的な生成集合を特定すること。
• 1次整数係数ホモロジー群 H₁(𝒯(N), ℤ)、すなわちねじれ部分群のアーベル化を計算すること。
• これまでの非可換曲面の写像類群に関する結果を、特にねじれ部分群の代数的構造に焦点を当てて拡張すること。
• 境界成分、穴、および genus がねじれ部分群のホモロジーに与える影響を明確にすること。

提案手法

• 𝒯(N) が純粋で向きを保つ写像類群 PM⁺(N) の指数2の部分群であるという事実を活用し、PM⁺(N) に関する既知の結果に還元可能であることを示す。
• 特定の両側曲線 a₁, b_{r+1}, ξ, u_i に関するデーンねじれを含む標準的生成元への曲面の位相的分解を用いて、生成集合を構成する。
• Korkmaz [9,10] や Szepietowski [18,19] のような先行研究における写像類群の表示およびホモロジーに関する結果を応用する。
• 閉じた曲面（例えば genus 4, 5, 6）の写像類群へのホモモーティズムを用いて、ホモロジーにおける関係を分析する。
• Korkmaz [9] の定理1.1（閉じた非可換曲面の写像類群のホモロジーに関する既知の結果）を応用し、torsion 関係を導出する。
• 代数的技法を用いて、H₁(𝒯(N), ℤ) のすべての関係が、torsion および可換性に由来する有限個の関係の帰結であることを示す。

実験結果

リサーチクエスチョン

• RQ1 境界成分および穴をもつ非可換曲面の写像類群におけるねじれ部分群 𝒯(N) の最小で明示的な生成集合は何か？
• RQ2 1次ホモロジー群 H₁(𝒯(N), ℤ) は、曲面の genus、境界成分数、穴の数にどのように依存するか？
• RQ3 ねじれ部分群のアーベル化の構造は何か？ また、どのような torsion 要素が現れるか？
• RQ4 表面の複雑さにかかわらず、常に成り立つデーンねじれの普遍的関係は存在するか？
• RQ5 境界成分および穴は、ねじれ部分群のホモロジーにどのように影響を与えるか？

主な発見

• g ≥ 7 のとき、1次ホモロジー群 H₁(𝒯(N), ℤ) は自明であり、すなわち 𝒯(N) は完全群である。
• g = 3 かつ s = 0 のとき、H₁(𝒯(N), ℤ) ≅ ℤ₁₂ であり、これは特定の両側曲線に関するデーンねじれによって生成される。
• g = 3 かつ s ≥ 1 のとき、H₁(𝒯(N), ℤ) ≅ ℤ₂₄ × ℤ₂^{s−1} であり、torsion は境界ねじれを含む関係に由来する。
• g = 4 かつ s = 0 のとき、H₁(𝒯(N), ℤ) ≅ ℤ₂ × ℤ であり、ℤ 要素は非 torsion 生成元に由来する。
• g = 4 かつ s ≥ 1 のとき、H₁(𝒯(N), ℤ) ≅ ℤ₂^s × ℤ であり、境界成分および非分離曲線からの寄与が反映される。
• g = 5 または 6 のとき、H₁(𝒯(N), ℤ) ≅ ℤ₂ であり、アーベル化に1つの非自明な torsion クラスが存在する。