[论文解读] 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.

研究动机与目标

• 建立从约翰逊核的有限指数子群到托里群的单射同态的代数刚性。
• 证明从分离曲线复形到托里复形的超注入映射由扩展映射类群元素诱导。
• 将已知的映射类群刚性结果扩展到约翰逊核与托里群在曲线复形背景下的情形。
• 通过分离曲线与束缚对的几何结构，解析托里群及其子群的结构。

提出的方法

• 分析超注入映射 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $，其中 $ \mathcal{C}_s(S) $ 为分离曲线复形，$ \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 欧拉示性数与亏格在决定此类刚性定理有效性时起什么作用？

主要发现

• 对于所有除有限多个以外的紧致可定向曲面（满足 $ 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 $。
• 任意单射同态 $ f: \Gamma \to \mathcal{I}(S) $，其中 $ \Gamma $ 是约翰逊核 $ \mathcal{K}(S) $ 的有限指数子群，均可通过某个 $ \gamma_0 \in \mathrm{Mod}^*(S) $ 的共轭实现。
• 在 $ \mathrm{Mod}^*(S) $ 中，$ \mathcal{K}(S) $ 的相对共轭子群通过共轭作用于有限指数子群，且此类同态完全由该作用决定。
• 对于满足 $ g \geq 3, p \leq 1 $ 或 $ g = 1, p \geq 4 $ 的曲面，任意满足 $ [\mathcal{K}(S) : \Gamma \cap \mathcal{K}(S)] < \infty $ 且 $ [\Gamma : \Gamma \cap \mathcal{I}(S)] < \infty $ 的有限指数子群 $ \Gamma \leq \mathrm{Mod}^*(S) $ 的单射自同态 $ f: \Gamma \to \Gamma $，存在某个 $ \gamma \in \mathrm{Mod}^*(S) $ 使得 $ \gamma \Gamma \gamma^{-1} = \Gamma $。
• 托里群 $ \mathcal{I}(S) $ 允许一个有限正规列，其商群为阿贝尔群，且该结构在 $ \mathrm{Mod}^*(S) $ 元素的共轭作用下保持不变，从而支持了刚性证明的成立。