[论文解读] A presentation for the mapping class group of a non-orientable surface from the action on the complex of curves

Błażej Szepietowski|Osaka City University (Osaka City University)|Jul 18, 2007

Geometric and Algebraic Topology被引用 6

一句话总结

本文通过曲面曲线复形上的作用，给出了非可定向曲面映射类群的有限群表示。通过将布朗方法应用于有序曲线复形并分析单纯形的稳定子，作者推导出一个包含显式生成元与关系（如灯台关系与Y-同胚关系）的有限表示，适用于非特殊曲面。关键结果是：映射类群以德恩旋转变换与横贯滑动为生成元，获得完整的有限表示。

ABSTRACT

We study the action of the mapping class group M(F) on the complex of curves of a non-orientable surface F. We obtain, by using a result of K. S. Brown, a presentation for M(F) defined in terms of the mapping class groups of the complementary surfaces of collections of curves, provided that F is not sporadic, i.e. the complex of curves of F is simply connected. We also compute a finite presentation for the mapping class group of each sporadic surface.

研究动机与目标

• 将本文尼蒂与布朗的方法拓展至非可定向情形，以构造群表示。
• 利用其在曲线复形上的作用，确定非可定向曲面映射类群的结构。
• 对映射类群作用下的曲线轨道进行分类，区分可分与不可分、单边与双边，以及可定向/不可定向分量。
• 通过有序曲线族的稳定子与胡列维奇–赫勒–谢拉方法，推导映射类群的有限表示。

提出的方法

• 将布朗方法应用于有序曲线复形 $\mathcal{C}^{\mathrm{ord}}(F)$，当 $\mathcal{C}(F)$ 为单连通时，该复形亦为单连通。
• 将轨道空间 $X = \mathcal{C}^{\mathrm{ord}}(F)/\mathcal{M}(F)$ 定义为有限CW复形，其胞腔对应于 $\mathcal{M}(F)$-轨道下的单纯形。
• 利用有序曲线族 $\langle a_1,\dots,a_r\rangle$ 的稳定子子群 $\mathrm{Stab}(\langle a_1,\dots,a_r\rangle)$ 分析群作用并构造关系。
• 应用胡列维奇–赫勒–谢拉方法，将轨道空间基本群中的关系上拉至映射类群。
• 将生成元识别为德恩旋转变换与横贯滑动（如 $A_1$, $U$），关系识别为灯台关系与共轭关系（如 $UA_1U^{-1} = A_1^{-1}$）。
• 通过在具有边界或四 puncture 的曲面上的几何嵌入及对成对裤分解的使用，验证所有关系在 $\mathcal{M}(F)$ 中均成立。

实验结果

研究问题

• RQ1 如何通过映射类群在曲线复形上的作用，对非可定向曲面的映射类群进行表示？
• RQ2 对于带边界的非可定向曲面，映射类群 $\mathcal{M}(F)$ 在曲线复形中的顶点与单纯形的轨道是什么？
• RQ3 在非可定向情形下，哪些关系（如灯台关系、共轭关系）控制映射类群的结构？
• RQ4 有序曲线族的稳定子如何与完整的映射类群结构相关联？
• RQ5 非特殊非可定向曲面的映射类群的有限表示是什么？

主要发现

• 当非可定向曲面 $F = F_g^n$ 非特殊时，即当 $(g,n) \notin \{(1,n)\leq4\} \cup \{(2,n)\leq3\} \cup \{(3,n)\leq2\}$ 时，其映射类群 $\mathcal{M}(F)$ 允许有限表示。
• 对于非特殊曲面，曲线复形 $\mathcal{C}(F)$ 为单连通，从而确保轨道空间 $X = \mathcal{C}^{\mathrm{ord}}(F)/\mathcal{M}(F)$ 是一个具有明确定义基本群的有限CW复形。
• 映射类群 $\mathcal{M}(F)$ 由德恩旋转变换与横贯滑动生成，其表示包含10条特定关系（1–10），包括灯台关系与共轭关系。
• 对于一个边界分量的克莱因瓶（$F_2^1$），映射类群由德恩旋转变换 $A_1$ 与一个微分同胚 $U$ 生成，满足 $UA_1U^{-1} = A_1^{-1}$，从而获得有限表示。
• 从轨道空间基本群到 $\mathcal{M}(F)$ 的映射的核为中心子群，且该群可分解为 $\mathbb{Z}^4 \times G$，其中 $G$ 为由10条关系定义的群。
• 所有关系（1–10）均可在 $\mathcal{M}(F)$ 中通过在具有四个穿孔或边界分量的曲面上的几何实现得到验证，从而确认其在映射类群中的有效性。