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

Michał Stukow|arXiv (Cornell University)|Feb 17, 2014

Geometric and Algebraic Topology参考文献 11被引用 4

一句话总结

本文为非可定向曲面的双曲映射类群提供了有限表示，将经典理论从可定向曲面推广至非可定向曲面。通过双覆盖的中心化子构造，推导出显式的生成元与关系式，并将其应用于计算该群在曲面的一阶同调群上的第一阶同调群，得出当 $g \geq 3$ 时，保向子群的同调群为 $\mathbb{Z}_2 \oplus \mathbb{Z}_2$，而完整的双曲群同调群为 $\mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2$。结果将已知的可定向情形结果推广至非可定向情形。

ABSTRACT

We obtain a simple presentation of the hyperelliptic mapping class group $M^h(N)$ of a nonorientable surface N. As an application we compute the first homology group of $M^h(N)$ with coefficients in $H_1(N;Z)$.

研究动机与目标

• 将双曲映射类群的概念从可定向曲面推广至非可定向曲面。
• 为闭合非可定向曲面 $N_g$ 的双曲映射类群 $\mathcal{M}^h(N_g)$ 提供有限表示。
• 计算 $\mathcal{M}^h(N_g)$ 在 $H_1(N_g;\mathbb{Z})$ 系数下的第一阶同调群。
• 建立非可定向情形与可定向情形之间的结构类比，特别是在群表示与同调不变量方面。

提出的方法

• 将双曲映射类群 $\mathcal{M}^h(N_g)$ 定义为双覆盖下从可定向曲面导出的超椭圆对合 $\varrho$ 在映射类群 $\mathcal{M}(N_g)$ 中的中心化子。
• 通过 $S_{g-1}$ 上的对合 $j$ 的中心化子构造，将可定向情形的结构提升至非可定向情形。
• 利用对应于德恩环和超椭圆对合的生成元，推导出 $\mathcal{M}^h(N_g)$ 及其保向子群 $\mathcal{M}^{h+}(N_g)$ 的有限表示。
• 通过分析群环 $\mathbb{Z}[\mathcal{M}^h(N_g)]$ 在 $H_1(N_g;\mathbb{Z})$ 上的作用，应用表示式计算同调，重点关注第一阶同调群中的挠子群。
• 利用涉及超椭圆对合 $\varrho$ 的代数关系，确定同调中生成元的阶并消除冗余项。
• 借鉴可定向情形的已知结果（如 Wajnryb 的表示），并通过商映射 $\pi_j$ 将其适配至非可定向背景。

实验结果

研究问题

• RQ1 非可定向曲面的双曲映射类群是否存在有限表示？
• RQ2 非可定向曲面上双曲映射类群的结构与可定向曲面上的结构有何异同？
• RQ3 在 $H_1(N_g;\mathbb{Z})$ 系数下，$\mathcal{M}^h(N_g)$ 的第一阶同调群是什么？
• RQ4 同调群的生成元是否为挠元？若是，其阶为何？
• RQ5 该双曲群的表示能否用于恢复或推广可定向情形下的已知结果？

主要发现

• 双曲映射类群 $\mathcal{M}^h(N_g)$ 具有显式生成元与关系式的有限表示，扩展了可定向情形下的已知表示。
• 保向子群 $\mathcal{M}^{h+}(N_g)$ 具有有限表示，其生成元对应于德恩环与超椭圆对合。
• 当 $g \geq 3$ 时，第一阶同调群 $H_1(\mathcal{M}^{h+}(N_g); H_1(N_g;\mathbb{Z}))$ 同构于 $\mathbb{Z}_2 \oplus \mathbb{Z}_2$，表明同调中存在非平凡挠子群。
• 对于完整的双曲群 $\mathcal{M}^h(N_g)$，其在 $H_1(N_g;\mathbb{Z})$ 系数下的第一阶同调群为 $\mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2$，显示出额外的挠分量。
• 超椭圆对合 $\varrho$ 在关系中起核心作用，其作用有助于消除同调计算中的冗余生成元。
• 结果推广了可定向情形下的已知结果：虽然可定向曲面的 $H_1(\mathcal{M}^h(S_g); H_1(S_g;\mathbb{Z})) \cong \mathbb{Z}_2$，但非可定向情形下同调群的挠子群更大。