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

Susumu Hirose|arXiv (Cornell University)|Feb 24, 2016

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

一句话总结

本文证明了当 $g \geq 4$ 时，非可定向曲面的映射类群至少需要 $g$ 个德恩旋转变换和一个 $Y$-同胚来生成，从而确立了兹皮埃托夫斯基的生成集为最小生成集。证明利用了在 $\mathbb{Z}_2$ 系数下的同调作用，以及一个在群作用下不变的 $\mathbb{Z}_4$-二次型，表明任何更小的德恩旋转变换与 $Y$-同胚集合都无法生成整个群。

ABSTRACT

We show that Szepietowski's system of generators for the mapping class group of a non-orientable surface is a minimal generating set by Dehn twists and $Y$-homemorphisms.

研究动机与目标

• 确立非可定向曲面 $N_g$（$g \geq 4$）的映射类群 $\mathcal{M}(N_g)$ 的兹皮埃托夫斯基生成集的最小性。
• 确定生成 $\mathcal{M}(N_g)$ 所需的德恩旋转变换与 $Y$-同胚的最小数量。
• 证明对于 $g \geq 4$，兹皮埃托夫斯基生成集的任意真子集均不足以生成整个群。
• 利用映射类群在 $H_1(N_g; \mathbb{Z}_2)$ 上的作用以及 $\mathbb{Z}_4$-二次型，排除更小的生成集的可能性。
• 将汉弗莱斯对可定向曲面的最小性结果类比推广至非可定向情形。

提出的方法

• 在 $H_1(N_g; \mathbb{Z}_2)$ 上定义 $\mathbb{Z}_4$-二次型，其满足 $q(x+y) = q(x) + q(y) + 2\times(x,y)$。
• 利用第一施蒂费尔-惠特尼类 $w_1$ 区分同调中的单侧与双侧曲线。
• 将可接受的 $A$-圆周定义为补集连通且非可定向的双侧曲线。
• 应用坐标变换原理，通过映射类群元素关联具有同构补集的曲线。
• 证明德恩旋转变换在同调上作用为 $x \mapsto x + (x,[c])\cdot[c]$，而 $Y$-同胚作用平凡。
• 构造一个被 $g-1$ 个德恩旋转变换与 $Y$-同胚所保持的 $\mathbb{Z}_4$-二次型，但不被整个群保持，从而在 $n < g$ 时导出矛盾。

实验结果

研究问题

• RQ1 对于 $g \geq 4$，生成 $\mathcal{M}(N_g)$ 所需的德恩旋转变换与 $Y$-同胚的最小数量是多少？
• RQ2 兹皮埃托夫斯基提出的 $\mathcal{M}(N_g)$ 生成集是否可以进一步简化？
• RQ3 是否存在一个同调不变量，可将整个映射类群与由少于 $g$ 个德恩旋转变换和一个 $Y$-同胚生成的子群区分开？
• RQ4 映射类群在 $H_1(N_g; \mathbb{Z}_2)$ 上的作用是否保持某个 $\mathbb{Z}_4$-二次型？
• RQ5 为何 $\mathcal{M}(N_g)$ 不能仅由德恩旋转变换生成？$Y$-同胚如何弥补这一不足？

主要发现

• 当 $g \geq 4$ 时，非可定向曲面的映射类群 $\mathcal{M}(N_g)$ 至少需要 $g$ 个德恩旋转变换和一个 $Y$-同胚来生成。
• 任何 $\mathcal{M}(N_g)$ 的生成集都必须包含至少一个 $Y$-同胚，因为该群不能仅由德恩旋转变换生成。
• 系统 $\{t_{a_i} \mid i=1,\dots,g-1\}, t_{b_2}, Y_{m_{g-1},a_{g-1}}$ 是最小的：其任意真子集均无法生成 $\mathcal{M}(N_g)$。
• 当 $g=3$ 时，最小生成集由两个德恩旋转变换和一个 $Y$-同胚组成，且不存在更小的生成集。
• 存在一个 $\mathbb{Z}_4$-二次型，被 $g-1$ 个德恩旋转变换与 $Y$-同胚所保持，但不被整个群保持，从而证明了最小性。
• 映射类群 $\mathcal{M}(N_g)$ 在 $H_1(N_g; \mathbb{Z}_2)$ 上的作用无法保持任何 $\mathbb{Z}_4$-二次型，这是最小性证明中导出矛盾的关键。