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

Luis Paris, Błażej Szepietowski|arXiv (Cornell University)|Aug 27, 2013

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

ひとこと要約

本稿は、$n \in \{0,1\}$ かつ $g+n > 3$ のとき、非可換な曲面 $\mathcal{M}(N_{g,n})$ の最初の明示的な有限表示を提供する。ブラウンの手法に基づくアルゴリズムと曲線複体への作用を用いて、埋め込まれた可換曲面からのデーン回転とばね状構造からのクロスキャップ転置を組み合わせ、三つの族に分類された関係式（デーン回転関係、ブレード関係、混合関係）によって表示を構成する。

ABSTRACT

Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.

研究の動機と目的

• 非可換曲面の写像類群 $\mathcal{M}(N_{g,n})$ に対して明示的な有限表示を提供すること。ここで、$g$ は genus、$n \in \{0,1\}$ は境界成分の数である。
• 既知の可換曲面における写像類群の有限表示を、これまで有限表示が得られていなかった小規模な genus にまで拡張すること。
• 順序付けられた曲線複体への $\mathcal{M}(N_{g,n})$ の作用を用いた一様な表示構成法を確立すること。
• $(g,n) = (3,1)$ および $(4,0)$ を基本ケースとして、帰納法を用いて表示を証明すること。安定化部分群の計算と単体的複体解析により関係式を検証する。

提案手法

• 単連結な複体への群作用から群表示を計算するブラウンの手法に基づくアルゴリズムを適用する。
• $\mathcal{M}(N_{g,n})$ が順序付けられた曲線複体に作用することを用い、頂点および辺の安定化部分群を計算する。
• $\mathcal{M}(N_{g,1})$ を、$g = 2\rho + r$、$r \in \{1,2\}$ である自由積 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g) $ の商として構成する。
• 生成元を特定する：$\mathcal{M}(S_{\rho,r})$ からのデーン回転と、$\mathcal{M}(S_{0,1}, \mathcal{P}_g)$ からの $g-1$ 個のクロスキャップ転置。
• 三つの族の関係式を導出する：(A) $\mathcal{M}(S_{\rho,r})$ におけるデーン回転関係、(B) クロスキャップ転置間のブレード関係、(C) 両者の間の混合関係。
• $\mathcal{M}(N_{g,0})$ を $\mathcal{M}(N_{g,1})$ から三つの特定の関係式を追加することで得る。これにより、閉曲面に対する表示が完成する。

実験結果

リサーチクエスチョン

• RQ1 $n \in \{0,1\}$ かつ $g+n > 3$ のとき、$\mathcal{M}(N_{g,n})$ に対して有限表示を明示的に構成可能か？
• RQ2 埋め込みによる可換曲面とばね状構造を用いた代数的分解により、非可換曲面の写像類群はどのように分解できるか？
• RQ3 $\mathcal{M}(N_{g,n})$ におけるデーン回転とクロスキャップ転置の間の相互作用を支配する定義関係は何か？
• RQ4 $\mathcal{M}(N_{g,n})$ が順序付けられた曲線複体に作用することで、有限表示がどのように導かれるか？
• RQ5 非可換曲面の写像類群とその二重被覆の写像類群との関係は何か？

主な発見

• 本稿は、すべての $g > 3$ に対して $\mathcal{M}(N_{g,1})$ の明示的な有限表示を提供する。これは、$g = 2\rho + r$、$r \in \{1,2\}$ である自由積 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g)$ の商として実現される。
• $\mathcal{M}(N_{g,1})$ の表示は三つの族の関係式で与えられる：(A) $\mathcal{M}(S_{\rho,r})$ からのデーン回転関係、(B) $g-1$ 個のクロスキャップ転置間のブレード関係、(C) デーン回転とクロスキャップ転置の間の混合関係。
• $\mathcal{M}(N_{g,0})$ の表示は、$\mathcal{M}(N_{g,1})$ に正確に三つの追加関係式を加えることで得られる。
• 基本ケース $\mathcal{M}(N_{3,1})$ および $\mathcal{M}(N_{4,0})$ は第 4 章で検証されており、帰納的証明の基盤をなす。
• 主定理の証明は、順序付けられた曲線複体における頂点および辺の安定化部分群の計算に依拠しており、1 次および 2 次単体の関係式の検証が行われる。
• 著者らは、すべての関係式 (2)–(9) および (H1)–(H6) が初期関係式 (0)、(1)、および (H1)–(H6) の結果であることを示し、表示の一貫性を確認した。