[论文解读] An infinite presentation for the mapping class group of a non-orientable surface with boundary

Ryoma Kobayashi, Genki Omori|arXiv (Cornell University)|Oct 17, 2016

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

一句话总结

本文为具有边界的非可定向曲面的映射类群提供了无限表示，将此前针对 $ g \geq 1 $ 且 $ n \in \{0,1\} $ 的曲面的结果推广至任意 $ g \geq 0 $ 和 $ n \geq 0 $ 的情形。该表示使用德恩旋转变换和扭结推进映射作为生成元，通过非可定向曲面的有限表示，将热瓦斯的方法扩展至非可定向情形。

ABSTRACT

We give an infinite presentation for the mapping class group of a non-orientable surface with boundary components. The presentation is a generalization of the presentation given by the second author [15].

研究动机与目标

• 将非可定向曲面映射类群的无限表示从 $ n \in \{0,1\} $ 的情形推广至任意 $ n \geq 0 $。
• 将德恩旋转变换和扭结推进映射的生成集推广至所有具有边界的非可定向曲面。
• 为 $ \mathcal{M}(N_{g,n}) $ 提供一个统一的无限表示，该表示适用于任意亏格或边界分量数。
• 通过将热瓦斯方法应用于新构造的 $ \mathcal{M}(N_{g,n}) $ 的有限表示，确立该表示的有效性。

提出的方法

• 作者使用热瓦斯通过映射类群的有限表示推导无限表示的技术。
• 他们为 $ n \geq 2 $ 的情形构造了 $ \mathcal{M}(N_{g,n}) $ 的有限表示，基于斯图科夫对 $ n \in \{0,1\} $ 情形的有限表示。
• 生成元集合由沿双侧简单闭曲线的德恩旋转变换和沿简单闭曲线的扭结推进映射组成。
• 关系通过映射类群中的辫子关系、链关系和共轭恒等式推导得出。
• 证明依赖于分析映射类在某些曲线及其邻域上的作用，使用 $ \Delta $-映射和共轭规则。
• 作者验证了有限表示的所有定义关系在无限表示中均成立，确保了一致性。

实验结果

研究问题

• RQ1 能否构造一个适用于所有 $ g \geq 0 $ 和 $ n \geq 0 $ 的 $ \mathcal{M}(N_{g,n}) $ 的无限表示？
• RQ2 德恩旋转变换和扭结推进映射如何生成具有边界的非可定向曲面的映射类群？
• RQ3 德恩旋转变换与扭结推进映射在 $ \mathcal{M}(N_{g,n}) $ 中的相互作用由哪些关系支配？
• RQ4 热瓦斯从有限表示推导无限表示的方法是否适用于非可定向曲面？
• RQ5 能否为 $ n \geq 2 $ 构造 $ \mathcal{M}(N_{g,n}) $ 的有限表示，从而实现无限表示的扩展？

主要发现

• 本文为所有 $ g \geq 0 $ 和 $ n \geq 0 $ 的情形提供了 $ \mathcal{M}(N_{g,n}) $ 的完整无限表示，推广了此前针对 $ n \in \{0,1\} $ 的结果。
• 生成元集合由所有德恩旋转变换和所有沿简单闭曲线的扭结推进映射组成，是对可定向情形的自然推广。
• 该表示被证明与命题 3.2 中构造的 $ n \geq 2 $ 时的 $ \mathcal{M}(N_{g,n}) $ 有限表示一致。
• 所有有限表示的定义关系均通过共轭、辫子关系和链关系在无限表示中得到验证。
• 证明确认了无限表示完整捕捉了 $ \mathcal{M}(N_{g,n}) $ 的结构，包括群为平凡或有限的情形（例如 $ \mathcal{M}(N_1) $、$ \mathcal{M}(N_{1,1}) $、$ \mathcal{M}(N_2) $）。
• 该结果为使用无限表示研究具有边界的非可定向曲面的映射类群提供了一个统一框架。