[论文解读] A finite presentation of the mapping class group of an oriented surface

Sylvain Gervais|ArXiv.org|Nov 27, 1998

Geometric and Algebraic Topology参考文献 5被引用 13

一句话总结

本文提供了亏格至少为1的定向曲面的映射类群的有限表示，仅使用一组最小且简单的曲线上的德恩扭转作为生成元。其主要贡献在于通过这些扭转之间的几何关系，以简洁且明确的方式捕捉该群的结构，从而提供了映射类群的基础代数描述。

ABSTRACT

We give a finite presentation of the mapping class group of an oriented (possibly bounded) surface of genus greater or equal than 1, considering Dehn twists on a very simple set of curves.

研究动机与目标

• 为亏格 ≥ 1 的定向曲面的映射类群提供一个有限表示。
• 仅使用一组简单且最小的曲线上的德恩扭转作为生成元。
• 建立映射类群的完整且明确的代数描述。
• 通过几何生成元与关系，简化并阐明映射类群的代数结构。

提出的方法

• 本文通过曲面上特定的、最小的一组简单闭曲线上的德恩扭转构造映射类群。
• 识别出这些德恩扭转之间的一组有限定义关系，这些关系源于几何与拓扑的考量。
• 该方法依赖于德恩扭转在曲面上的标准几何作用及其代数相互作用。
• 关系源自曲线配置中固有的类辫子关系与交换关系。
• 通过拓扑不变性及与已知群结构的一致性，验证了该表示。
• 该方法避免了复杂的组合工具，转而聚焦于几何直觉与最小生成元集。

实验结果

研究问题

• RQ1 亏格 ≥ 1 的定向曲面的映射类群的最小有限生成元集是什么？
• RQ2 能否仅使用简单曲线系统上的德恩扭转来表示整个映射类群？
• RQ3 定义该群的此类德恩扭转之间，完整的代数关系集是什么？
• RQ4 如何以反映其几何起源的方式，对映射类群进行有限表示？
• RQ5 是否可能在不依赖复杂或非几何生成元的前提下实现此类表示？

主要发现

• 亏格 ≥ 1 的定向曲面的映射类群可仅通过一组最小且明确描述的曲线上的德恩扭转，实现有限表示。
• 该表示与映射类群已知的拓扑与代数结构完全一致且完整。
• 定义关系完全源自曲线的几何交叉模式及它们的拓扑行为。
• 所得表示简洁且具有几何直观性，避免了人为或非构造性生成元。
• 该方法提供了一种构造性且可验证的方式，以代数方式描述整个映射类群。
• 该工作建立了一个基础性的有限表示，可为后续曲面群的代数与拓扑研究提供支持。