[論文レビュー] An infinite presentation for the mapping class group of a non-orientable surface with boundary

Ryoma Kobayashi, Genki Omori|arXiv (Cornell University)|Oct 17, 2016

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

ひとこと要約

本稿では、境界を持つ非可換な曲面の写像類群の無限提示を提示し、以前の結果（$ g \geq 1 $ かつ $ n \in \{0,1\} $ の場合）を任意の $ g \geq 0 $ および $ n \geq 0 $ に一般化する。提示はデーンねじみとクロスキャッププッシュ写像を生成子として用い、ゲルヴァイの手法を非可換な曲面へ拡張するもので、写像類群の有限提示を基にしている。

ABSTRACT

We give an infinite presentation for the mapping class group of a non-orientable surface with boundary components. The presentation is a generalization of the presentation given by the second author [15].

研究の動機と目的

• 非可換曲面の写像類群の無限提示を、$ n \in \{0,1\} $ の場合から任意の $ n \geq 0 $ に拡張すること。
• デーンねじみとクロスキャッププッシュ写像の生成子集合を、境界を持つすべての非可換曲面に一般化すること。
• すべての genus および境界成分数に関わらず適用可能な、$ \mathcal{M}(N_{g,n}) $ の一様な無限提示を提供すること。
• 新たに構築した $ \mathcal{M}(N_{g,n}) $ の有限提示にゲルヴァイの手法を適用することで、提示の妥当性を確立すること。

提案手法

• 著者たちは、写像類群の有限提示から無限提示を導出するゲルヴァイの技法を用いる。
• $ n \geq 2 $ の場合に $ \mathcal{M}(N_{g,n}) $ の有限提示を構築し、$ n \in \{0,1\} $ の場合のステュコウの有限提示に基づく。
• 生成子は、両面の単純閉曲線に沿ったデーンねじみと、単純ループに沿ったクロスキャッププッシュ写像からなる。
• 関係式は、ブレード関係、チェーン関係、および写像類群における共役恒等式から導出される。
• 証明は、写像類群が特定の曲線およびその近傍に作用する様子を分析することに依拠し、$ \Delta $-写像と共役則を用いる。
• 著者たちは、有限提示の定義関係がすべて無限提示で満たされていることを検証し、一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ g \geq 0 $ および $ n \geq 0 $ に対して、一様に適用可能な $ \mathcal{M}(N_{g,n}) $ の無限提示を構築できるか？
• RQ2 デーンねじみとクロスキャッププッシュ写像は、境界を持つ非可換曲面の写像類群をどのように生成するか？
• RQ3 デーンねじみとクロスキャッププッシュ写像の間の相互作用を支配する関係は何か？
• RQ4 ゲルヴァイの無限提示を導出する手法は、非可換曲面に対しても適用可能か？
• RQ5 $ n \geq 2 $ の場合に $ \mathcal{M}(N_{g,n}) $ の有限提示を構築できるか。これにより、無限提示の拡張が可能か？

主な発見

• 本稿は、すべての $ g \geq 0 $ および $ n \geq 0 $ に対して $ \mathcal{M}(N_{g,n}) $ の完全な無限提示を提供し、$ n \in \{0,1\} $ の場合の先行結果を一般化する。
• 生成子は、すべてのデーンねじみと、単純ループに沿ったすべてのクロスキャッププッシュ写像からなり、可換な場合の自然な拡張を形成する。
• $ n \geq 2 $ の場合の $ \mathcal{M}(N_{g,n}) $ の有限提示（命題 3.2 で構築）と整合することが示された。
• 有限提示のすべての定義関係が、共役、ブレード、チェーン関係を用いて無限提示で成立することが確認された。
• 証明により、無限提示が、群が自明または有限である場合（例：$ \mathcal{M}(N_1) $、$ \mathcal{M}(N_{1,1}) $、$ \mathcal{M}(N_2) $）を含め、$ \mathcal{M}(N_{g,n}) $ の完全な構造を捉えていることが確認された。
• 本結果により、境界を持つ非可換曲面の写像類群を無限提示を用いて一様に研究するためのフレームワークが確立された。