[论文解读] Conjugacy classes of finite subgroups of certain mapping class groups

Michał Stukow|arXiv (Cornell University)|Oct 11, 2005

Geometric and Algebraic Topology参考文献 4被引用 8

一句话总结

本文对球面带 $ r $ 个标记点的映射类群 ${\cal{M}}_{0,r}$ 中有限子群的共轭类进行了完整分类，并利用该结果描述了双阿贝尔映射类群 ${\cal{M}}^{h}_g$ 中极大有限子群的共轭类。关键结果是：对于固定的亏格 $ g $，${\cal{M}}^{h}_g$ 中极大有限子群的共轭类至多有五个，且确切的条件由 $ g $ 决定，具体包括这些类的数量和同构类型。

ABSTRACT

We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there are at most five such classes.

研究动机与目标

• 为球面带 $ r \geq 3 $ 个标记点的映射类群 ${\cal{M}}_{0,r}$ 中有限子群的共轭类提供完整分类。
• 确定 ${\cal{M}}_{0,r}$ 中极大有限子群的结构及其共轭类，特别是与循环、二面体和多面体对称性之间的关系。
• 通过商映射 ${\cal{M}}^{h}_g / \langle \rho \rangle \cong {\cal{M}}_{0,2g+2}$ 将分类结果推广至双阿贝尔映射类群 ${\cal{M}}^{h}_g$，其中 $\rho$ 为双阿贝尔对合。
• 建立两个 ${\cal{M}}^{h}_g$ 的极大有限子群共轭当且仅当它们同构，从而简化了分类。

提出的方法

• 利用 Nielsen 实现定理，将 ${\cal{M}}_{0,r}$ 的有限子群实现为黎曼球面 $\mathbb{P}^1$ 上保持方向的等距同构群，通过正交旋转作用。
• 通过将标记点共轭到对称位置（例如赤道上）来构造群作用的正则模型，以简化对稳定子群和轨道结构的分析。
• 应用 $\mathrm{PSL}(2,\mathbb{C})$ 的有限子群分类，根据其几何作用识别可能的同构类型：$\mathbb{Z}_n$、$D_n$、$A_4$、$S_4$、$A_5$。
• 利用从 ${\cal{M}}^{h}_g$ 到 ${\cal{M}}_{0,2g+2}$ 的典范投影 $\pi: {\cal{M}}^{h}_g \to {\cal{M}}_{0,2g+2}$（其中 $r = 2g+2$）将 ${\cal{M}}_{0,r}$ 的结果提升至双阿贝尔映射类群，并证明 $\pi$ 在极大有限子群的共轭类上诱导双射。
• 应用群论提升技术，确定 ${\cal{M}}_{0,2g+2}$ 的哪些子群可提升为 ${\cal{M}}^{h}_g$ 中的极大有限子群，同时考虑中心对合 $\rho$ 的影响。
• 采用轨道-稳定子分析和阶比较方法证明子群的极大性，特别是排除已知类型之外的扩展。

实验结果

研究问题

• RQ1 球面带 $ r $ 个标记点的映射类群 ${\cal{M}}_{0,r}$ 中有限子群的共轭类是什么？
• RQ2 ${\cal{M}}_{0,r}$ 中哪些有限子群是极大的？它们如何在共轭意义下分类？
• RQ3 ${\cal{M}}_{0,r}$ 中极大有限子群的共轭类如何通过提升映射到双阿贝尔映射类群 ${\cal{M}}^{h}_g$ 中？
• RQ4 对于固定的亏格 $ g $，${\cal{M}}^{h}_g$ 中极大有限子群的共轭类有多少个？其数量由什么决定？
• RQ5 在什么条件下两个 ${\cal{M}}^{h}_g$ 的极大有限子群是共轭的？同构是否蕴含共轭？

主要发现

• 对于固定的亏格 $ g $，双阿贝尔映射类群 ${\cal{M}}^{h}_g$ 中极大有限子群的共轭类至多有五个。
• 当 $ g \equiv 0, 5, 9, 14, 15, 20, 24, 29 \pmod{30} $ 时，${\cal{M}}^{h}_g$ 中恰好存在五个共轭类的极大有限子群。
• 当 $ g = 2 $ 时，${\cal{M}}^{h}_g$ 中恰好存在三个共轭类的极大有限子群。
• 对于其余所有 $ g $，${\cal{M}}^{h}_g$ 中恰好存在四个共轭类的极大有限子群。
• 两个 ${\cal{M}}^{h}_g$ 的极大有限子群共轭当且仅当它们同构，建立了同构与共轭之间的强关联。
• ${\cal{M}}^{h}_g$ 的极大有限子群恰好是 ${\cal{M}}_{0,2g+2}$ 中极大有限子群的提升，且根据 $ g \mod 6 $、$ g \mod 12 $ 或 $ g \mod 30 $ 提供了每种同构类型的显式表示。