[论文解读] A presentation for the mapping class group of a nonorientable surface

Luis Paris, Błażej Szepietowski|arXiv (Cornell University)|Aug 27, 2013

Geometric and Algebraic Topology参考文献 27被引用 10

一句话总结

本文首次为非可定向曲面 $\mathcal{M}(N_{g,n})$ 提供了显式的有限表示，其中 $n \in \{0,1\}$ 且 $g+n > 3$。基于布朗方法的算法与在曲线复形上的作用，作者通过结合嵌入的可定向曲面上的德恩扭转与类似辫子结构的扭结纽结变换，构造了该表示，关系被分为三类：德恩扭转关系、辫子关系与混合关系。

ABSTRACT

Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.

研究动机与目标

• 为具有亏格 $g$ 和 $n \in \{0,1\}$ 个边界分量的非可定向曲面的映射类群 $\mathcal{M}(N_{g,n})$ 提供显式的有限表示。
• 将映射类群的已知有限表示从可定向曲面扩展至非可定向曲面，此前此类表示仅对小亏格情况已知。
• 建立一种统一的方法，利用 $\mathcal{M}(N_{g,n})$ 在有序曲线复形上的作用来构造表示。
• 通过归纳法证明该表示，以 $ (g,n) = (3,1) $ 和 $ (4,0) $ 作为基础情形，并通过稳定子计算与单纯复形分析验证关系。

提出的方法

• 应用基于布朗方法的算法，从群在单连通复形上的作用计算群表示。
• 利用 $\mathcal{M}(N_{g,n})$ 在有序曲线复形上的作用，计算顶点与边的稳定子。
• 将 $\mathcal{M}(N_{g,1})$ 表示为自由积 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g) $ 的商群，其中 $g = 2\rho + r$，$r \in \{1,2\}$。
• 识别生成元：来自 $\mathcal{M}(S_{\rho,r})$ 的德恩扭转与来自辫子群 $\mathcal{M}(S_{0,1}, \mathcal{P}_g)$ 的 $g-1$ 个扭结纽结变换。
• 推导出三类关系：(A) 来自 $\mathcal{M}(S_{\rho,r})$ 的德恩扭转关系，(B) 扭结纽结变换之间的辫子关系，(C) 两类生成元之间的混合关系。
• 通过添加三条特定关系，从 $\mathcal{M}(N_{g,1})$ 得到 $\mathcal{M}(N_{g,0})$，从而完成闭曲面情形的表示。

实验结果

研究问题

• RQ1 当 $n \in \{0,1\}$ 且 $g+n > 3$ 时，能否为 $\mathcal{M}(N_{g,n})$ 显式构造有限表示？
• RQ2 如何通过可定向曲面的嵌入与类似辫子的结构，从代数上分解非可定向曲面的映射类群？
• RQ3 在 $\mathcal{M}(N_{g,n})$ 中，德恩扭转与扭结纽结变换之间的相互作用由哪些定义关系控制？
• RQ4 $\mathcal{M}(N_{g,n})$ 在有序曲线复形上的作用如何促进有限表示的推导？
• RQ5 非可定向曲面的映射类群与其对应双重覆盖的映射类群之间存在何种关系？

主要发现

• 本文为所有 $g > 3$ 的 $\mathcal{M}(N_{g,1})$ 提供了显式的有限表示，该表示为自由积 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g)$ 的商群，其中 $g = 2\rho + r$，$r \in \{1,2\}$。
• $\mathcal{M}(N_{g,1})$ 的表示由三类关系构成：(A) 来自 $\mathcal{M}(S_{\rho,r})$ 的德恩扭转关系，(B) $g-1$ 个扭结纽结变换之间的辫子关系，(C) 德恩扭转与扭结纽结变换之间的混合关系。
• $\mathcal{M}(N_{g,0})$ 的表示通过向 $\mathcal{M}(N_{g,1})$ 添加恰好三条额外关系得到。
• 基础情形 $\mathcal{M}(N_{3,1})$ 与 $\mathcal{M}(N_{4,0})$ 在第4节中得到验证，构成了归纳证明的基础。
• 主定理的证明依赖于对有序曲线复形中顶点与边的稳定子的计算，并通过验证1维与2维单纯形的关系完成。
• 作者证明了所有关系 (2)–(9) 与 (H1)–(H6) 均为初始关系 (0)、(1) 与 (H1)–(H6) 的推论，从而确认了该表示的一致性。