[論文レビュー] On the linearity of certain mapping class groups

Mustafa Korkmaz|ArXiv.org|Oct 27, 2000

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

ひとこと要約

この論文は、ブルークのブレード群が線形であるという証明を活用して、特定のマッピングクラス群の線形性を確立する。群論的技法——特に有限指数部分群と中心化子構成——を用いて、穴あき球面のマッピングクラス群およびハイパーエリプティックマッピングクラス群が線形であることを証明する。特に、 genus-2 の曲面のマッピングクラス群が線形であることを示す。

ABSTRACT

S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation of the braid group into the general linear group of some field. Using this, we deduce from previously known results that the mapping class group of a sphere with punctures and hyperelliptic mapping class groups are linear. In particular, the mapping class group of a closed orientable surface of genus 2 is linear.

研究の動機と目的

• 特定のマッピングクラス群が線形であるかどうかという未解決問題を解消すること、特にブレード群やハイパーエリプティック構造に関連する群に焦点を当てる。
• ブルークのブレード群の線形性に関する結果を、群論的構成を用いてより広いクラスのマッピングクラス群へと拡張すること。
• genus-2 の曲面のマッピングクラス群が線形であることを示すこと。これは低次元位相幾何学における重要な結果である。
• 代数的・幾何的技法を用いて、実数上でのこれらの群の明示的線形表現を提供すること。
• 既知のブレード群の線形性を根拠に、マッピングクラス群の部分群および商群の線形性を示すフレームワークを確立すること。

提案手法

• ブレード群 $ B_n $ が線形であるというブルークの証明——特に、忠実な表現により $ GL\left(\frac{n(n-1)}{2}, \bR\right) $ に埋め込まれること——を用いる。
• 微分同相写像の拡張により、穴あき円板の微分同相写像から $ n $ 個のマークドポイントを持つ球面への写像 $ \varphi: B_{n-1} \to \mathcal{M}_{0,n} $ を構成し、その核が $ B_{n-1} $ の中心に一致することを示す。
• 定理 2 を適用して、商 $ B_{n-1}/C(B_{n-1}) $ が $ \mathcal{M}_{0,n} $ の有限指数部分群に同型であり、したがって線形であることを示す。
• 定理 4 を用いて、有限指数部分群の線形性を元の群へと持ち上げる：有限指数部分群が線形であれば、全体の群も線形である。
• ハイパーエリプティックマッピングクラス群に対して、短完全列 $ 1 \to \mathbb{Z}_2 \to C_{\mathcal{M}_g}(\jmath) \to \mathcal{M}_{0,2g+2} \to 1 $ を構成する。ここで $ \jmath $ はハイパーエリプティック対合である。
• シンプレクティック表現 $ \rho: \mathcal{M}_g \to Sp(2g,3) $ の核とハイパーエリプティック群の交わりをとることで、有限指数の線形部分群を得て、定理 4 を適用して線形性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 ブレード群の線形性は、穴あき球面のマッピングクラス群へと拡張可能か？
• RQ2 ハイパーエリプティックマッピングクラス群は線形であるか。その場合、どのような条件下でそうなるか？
• RQ3 genus-2 の曲面のマッピングクラス群は線形であるか。また、既知の線形性結果からその線形性を導けるか？
• RQ4 これらのマッピングクラス群の実数上での明示的線形表現は何か？
• RQ5 中心化子と有限指数部分群は、マッピングクラス群の文脈において、線形性をどのように保つのか？

主な発見

• 任意の $ n $ に対して、$ n $ 個のマークドポイントを持つ球面のマッピングクラス群 $ \mathcal{M}_{0,n} $ は線形である。これは、ブレード群の線形性と有限指数部分群の持ち上げによる証明である。
• genus-$ g $ の曲面のハイパーエリプティックマッピングクラス群は線形である。この証明は、シンプレクティック表現を介した線形部分群の有限指数埋め込みに依存する。
• genus-2 の曲面のマッピングクラス群は線形である。これは、そのハイパーエリプティック部分群と一致しており、その線形性が示されているからである。
• $ \mathcal{M}_{0,n} $ に対する明示的線形表現が、$ GL\left(\frac{n(n-1)^2(n-2)^2}{4}, \mathbb{R}\right) $ に構成された。
• genus $ g $ のハイパーエリプティックマッピングクラス群に対する明示的線形表現が、$ GL\left(2(g+1)g^2(2g+1)^2 3^{g^2} \prod_{i=1}^g (3^{2i}-1), \mathbb{R}\right) $ に導出された。
• $ \mathcal{M}_2 $ は $ GL(2^{10} \cdot 3^5 \cdot 5^3, \mathbb{R}) $ に埋め込まれ、線形表現の次数に対する明確な上限が得られた。