[論文レビュー] The symplectic representation of the mapping class group is unique

Mustafa Korkmaz|arXiv (Cornell University)|Aug 16, 2011

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

ひとこと要約

本稿は、 genus $ g \geq 3 $ に対して、曲面の写像類群から $ \mathrm{GL}(2g,\mathbb{C}) $ への非自明な準同型がすべて標準的シンプレクティック表現に共役であることを証明する。さらに、写像類群の次元 $ \leq 3g-3 $ における忠実な線形表現が存在しないことを示し、線形性の鋭い境界とシンプレクティック表現の一意性を確立する。

ABSTRACT

Any nontrivial homomorphism from the mapping class group of an orientable surface of genus $g\geq 3$ to $\GL(2g,\C)$ is conjugate to the standard symplectic representation. It is also shown that the mapping class group has no faithful linear representation in dimensions less than or equal to $3g-3$.

研究の動機と目的

• 写像類群の次元 $ 2g $ におけるシンプレクティック表現の一意性を確立すること。
• 写像類群の忠実な線形表現が存在できる最小次元を特定すること。
• 写像類群の低次元表現における線形性問題を解決すること。
• すべての非自明な準同型が $ g \geq 3 $ に対して $ \mathrm{GL}(2g,\mathbb{C}) $ に標準的シンプレクティック表現に共役であることを示すこと。

提案手法

• デーンねじりのホモロジーへの作用と $ \mathbb{C}^{2g} $ 内の固有値構造を分析する。
• 非分離曲線に関するデーンねじりに対応するシンプレクティック行列の行列ブロック分解を用いる。
• genus に関する帰納法を用い、写像類群の作用下での固有空間の不変性を利用する。
• デーンねじりの像のバターン関係と可換性の性質を用いて、可能な表現を制約する。
• 写像類群の有限商と導来部分群に関する既知の結果を用い、非自明な表現を除外する。
• 写像類群 $ \mathrm{Mod}(S) \to \mathrm{Sp}(2g,\mathbb{Z}) $ の核が、このような表現の核に含まれることを用い、標準的シンプレクティック表現に共役であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ g \geq 3 $ に対して、写像類群から $ \mathrm{GL}(2g,\mathbb{C}) $ への標準的シンプレクティック表現以外に非自明な準同型は存在しないか？
• RQ2 写像類群から $ \mathrm{GL}(n,\mathbb{C}) $ への忠実な線形表現が存在できる最小次元 $ n $ は何か？
• RQ3 $ n \leq 3g-3 $ に対して、写像類群から $ \mathrm{GL}(n,\mathbb{C}) $ への非自明な準同型が単射であることは可能か？
• RQ4 デーンねじりの像の固有空間は、写像類群の線形表現の構造をどのように制約するか？
• RQ5 導来部分群 $ T_X^{(n)} $ は、写像類群の表現を分類する上で果たす役割は何か？

主な発見

• $ g \geq 3 $ に対して、任意の非自明な準同型 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(2g,\mathbb{C}) $ は、標準的シンプレクティック表現に共役である。
• $ g \geq 3 $ に対して、写像類群の忠実な線形表現は次元 $ n \leq 3g-3 $ には存在しない。
• $ n \leq 2g $ に対して、任意の準同型 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(n,\mathbb{C}) $ の像はアーベル化を経由するため、$ g \geq 3 $ では自明である。
• $ \mathrm{Mod}(S) \to \mathrm{Sp}(2g,\mathbb{Z}) $ の核が、このような表現の核に含まれることから、標準的シンプレクティック表現に共役であることが強制される。
• $ g \geq 3 $ に対して、$ \mathrm{PSp}(2g,\mathbb{Z}) $ から $ \mathrm{GL}(n,\mathbb{C}) $ への任意の準同型（$ n \leq 2g $）は自明である。
• $ \mathrm{Mod}(S) $ の有限商は、$ \mathrm{GL}(2g,\mathbb{C}) $ に非自明な準同型をもたないため、表現の剛性が確認される。