[論文レビュー] Injections of the complex of separating curves into the Torelli complex

Yoshikata Kida|arXiv (Cornell University)|Nov 19, 2009

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

ひとこと要約

本稿では、$ g \geq 1 $ かつ $ |\chi(S)| \geq 4 $ を満たす、すべてのコンパクトな向きつけ可能曲面（有限個の例外を除く）に対して、分離曲線の複体からトーリー複体への任意のスーパーインジェクティブ写像が、拡張された写像類群の要素によって誘導されることを確立している。その結果、ジョンソン核の有限指数部分群からトーリー群への任意の単射準同型は、拡張された写像類群の要素による共役作用によって実現され、強い代数的剛性結果が得られる。

ABSTRACT

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson kernel into the Torelli group for such a surface is induced by an element of the extended mapping class group.

研究の動機と目的

• ジョンソン核の有限指数部分群からトーリー群への単射準同型の代数的剛性を確立すること。
• 分離曲線複体からトーリー複体へのスーパーインジェクティブ写像が、拡張された写像類群の要素によって誘導されることを示すこと。
• 曲線複体の文脈において、既知の写像類群に関する剛性結果をジョンソン核とトーリー群へと拡張すること。
• 分離曲線と境界ペアの幾何学的構造を通じて、トーリー群およびその部分群の構造を解明すること。

提案手法

• 複体 $ \mathcal{C}_s(S) $（分離曲線の複体）から $ \mathcal{T}(S) $（トーリー複体）へのスーパーインジェクティブ写像 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ を分析する。
• 複体 $ \mathcal{C}_s(S) $ が $ \mathcal{T}(S) $ の部分複体であり、拡張された写像類群 $ \mathrm{Mod}^*(S) $ が両複体に自然に作用することを用いる。
• 文献[15]における $ \mathcal{C}_s(S) $ 上のスーパーインジェクティブ写像に関する結果を適用し、このような写像が群の要素によって誘導されることを示す。
• アーベル群を剰余群とする正規部分群の鎖 $ \mathcal{K}(S) = N_0 < \cdots < N_{p-1} = \mathcal{I}(S) $ を用いて、トーリー群の構造を分析する。
• 相対的共役群と抽象的共役群を用いて、有限指数部分群間の単射準同型を分析する。
• 拡張された写像類群 $ \mathrm{Mod}^*(S) $ の共役作用を適用し、任意のこのような単射準同型が共役作用によって実現されることを示す。

実験結果

リサーチクエスチョン

• RQ1 分離曲線複体からトーリー複体へのスーパーインジェクティブ写像が、拡張された写像類群の要素によって誘導される条件は何か？
• RQ2 ジョンソン核の有限指数部分群からトーリー群への任意の単射準同型は、拡張された写像類群の要素による共役作用として実現可能か？
• RQ3 トーリー群およびジョンソン核のどのような構造的性質が、このような剛性結果を可能にするか？
• RQ4 トーリー群内の正規部分群の鎖は、自己同型および単射準同型の挙動にどのように影響するか？
• RQ5 オイラー標数と genus が、このような剛性定理の有効性を決定づける役割を果たすか？

主な発見

• すべてのコンパクトな向きつけ可能曲面（有限個の例外を除く）で $ g \geq 1 $ かつ $ |\chi(S)| \geq 4 $ を満たすものに対して、任意のスーパーインジェクティブ写像 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ は $ \phi(\mathcal{C}_s(S)) \subset \mathcal{C}_s(S) $ を満たす。
• 任意のスーパーインジェクティブ写像 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ は、ある $ \gamma \in \mathrm{Mod}^*(S) $ によって誘導され、すべての頂点 $ a \in \mathcal{C}_s(S) $ に対して $ \phi(a) = \gamma a $ が成り立つ。
• ジョンソン核 $ \mathcal{K}(S) $ の有限指数部分群 $ \Gamma $ からトーリー群 $ \mathcal{I}(S) $ への任意の単射準同型 $ f: \Gamma \to \mathcal{I}(S) $ は、ある $ \gamma_0 \in \mathrm{Mod}^*(S) $ による共役作用として実現される。
• ジョンソン核 $ \mathcal{K}(S) $ の $ \mathrm{Mod}^*(S) $ における相対的共役群は、有限指数部分群に共役作用を引き起こし、そのような準同型はこの作用によって完全に決定される。
• $ g \geq 3, p \leq 1 $ または $ g = 1, p \geq 4 $ を満たす曲面に対して、$ \mathrm{Mod}^*(S) $ の有限指数部分群 $ \Gamma $ で、$ [\mathcal{K}(S) : \Gamma \cap \mathcal{K}(S)] < \infty $ かつ $ [\Gamma : \Gamma \cap \mathcal{I}(S)] < \infty $ を満たすものについて、任意の単射自己準同型 $ f: \Gamma \to \Gamma $ は、ある $ \gamma \in \mathrm{Mod}^*(S) $ に対して $ \gamma \Gamma \gamma^{-1} = \Gamma $ を満たす。
• トーリー群 $ \mathcal{I}(S) $ はアーベル群を剰余群とする有限正規系列を備えており、この構造は $ \mathrm{Mod}^*(S) $ の要素による共役作用のもとで保存され、剛性の証明が可能になる。