[論文レビュー] Generators for the mapping class group of a nonorientable surface

Susumu Hirose|arXiv (Cornell University)|Feb 24, 2016

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

ひとこと要約

この論文は、$g \geq 4$ である非可換な曲面のマッピングクラス群が、少なくとも $g$ 個のデーンねじみと1つの $Y$-ホメオモルフィズムによって生成されることを証明し、Szepietowskiの生成集合が最小であることを確立している。証明は、$\mathbb{Z}_2$ 係数でのホモロジーへの作用と、群の作用に関して不変な $\mathbb{Z}_4$-二次形式を用い、より小さい数のデーンねじみと $Y$-ホメオモルフィズムの集合では、群全体を生成できないことを示している。

ABSTRACT

We show that Szepietowski's system of generators for the mapping class group of a non-orientable surface is a minimal generating set by Dehn twists and $Y$-homemorphisms.

研究の動機と目的

• 非可換曲面のマッピングクラス群 $\mathcal{M}(N_g)$ に対して、$g \geq 4$ のとき、Szepietowskiの生成集合の最小性を確立すること。
• $\mathcal{M}(N_g)$ を生成するために必要なデーンねじみと $Y$-ホメオモルフィズムの最小数を特定すること。
• $g \geq 4$ のとき、Szepietowskiの生成元の真部分集合では、$\mathcal{M}(N_g)$ を生成できないことを示すこと。
• $H_1(N_g; \mathbb{Z}_2)$ における作用と $\mathbb{Z}_4$-二次形式を用いて、より小さい生成集合が不可能であることを証明すること。
• 可換曲面におけるHumphriesの最小性結果を非可換の場合へと拡張すること。

提案手法

• $H_1(N_g; \mathbb{Z}_2)$ 上に $q(x+y) = q(x) + q(y) + 2\times(x,y)$ を満たす $\mathbb{Z}_4$-二次形式を定義する。
• $w_1$ を用いて、ホモロジーにおける片側曲線と両側曲線を区別する。
• 補集合が連結で非可換である二重点曲線として、許容可能な $A$-サークルを特徴付ける。
• 座標変換の原理を適用し、同型な補集合を持つ曲線がマッピングクラス群の元によって関連付けられることを示す。
• デーンねじみがホモロジーに $x \mapsto x + (x,[c])\cdot[c]$ として作用することを示し、$Y$-ホメオモルフィズムは自明に作用することを示す。
• $g-1$ 個のデーンねじみと $Y$-ホメオモルフィズムによって不変な $\mathbb{Z}_4$-二次形式を構成するが、群全体では不変でないことを示し、$n < g$ の仮定から矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $g \geq 4$ のとき、$\mathcal{M}(N_g)$ を生成するために必要なデーンねじみと $Y$-ホメオモルフィズムの最小数は何か？
• RQ2 Szepietowskiが提案した $\mathcal{M}(N_g)$ の生成集合は、さらに小さくできるか？
• RQ3 $g$ 個未満のデーンねじみと1つの $Y$-ホメオモルフィズムによって生成される部分群とは区別できるホモロジー不変量は存在するか？
• RQ4 マッピングクラス群の $H_1(N_g; \mathbb{Z}_2)$ への作用は、$\mathbb{Z}_4$-二次形式を不変に保つか？
• RQ5 なぜ $\mathcal{M}(N_g)$ はデーンねじみのみでは生成されず、$Y$-ホメオモルフィズムはどのように補完するのか？

主な発見

• $g \geq 4$ のとき、マッピングクラス群 $\mathcal{M}(N_g)$ を生成するには、少なくとも $g$ 個のデーンねじみと1つの $Y$-ホメオモルフィズムが必要である。
• $\mathcal{M}(N_g)$ の生成集合には、少なくとも1つの $Y$-ホメオモルフィズムが含まれる必要がある。なぜなら、群はデーンねじみのみでは生成されないからである。
• $\{t_{a_i} \mid i=1,\dots,g-1\}, t_{b_2}, Y_{m_{g-1},a_{g-1}}$ は最小である。真部分集合では $\mathcal{M}(N_g)$ を生成できない。
• $g=3$ のとき、最小生成集合は2つのデーンねじみと1つの $Y$-ホメオモルフィズムからなり、それ以下の集合では生成できない。
• $g-1$ 個のデーンねじみと $Y$-ホメオモルフィズムによって不変な $\mathbb{Z}_4$-二次形式が存在するが、群全体では不変でない。この事実は、最小性を証明する。
• $\mathcal{M}(N_g)$ が $H_1(N_g; \mathbb{Z}_2)$ に作用するとき、どの $\mathbb{Z}_4$-二次形式も不変に保たれない。これは、最小性証明における矛盾の鍵となる。