[论文解读] The liftable mapping class group of balanced superelliptic covers

Tyrone Ghaswala, Rebecca R. Winarski|arXiv (Cornell University)|Apr 13, 2016

Geometric and Algebraic Topology参考文献 26被引用 7

一句话总结

本文研究了平衡超椭圆覆叠的可提升映射类群，即从球面的循环分支覆叠中导出的、在带 punctured 球面上的映射类群的有限指数子群。通过分析平衡超椭圆映射类群的结构，作者计算了其交换化，证明当亏格为奇数时该群有限，为偶数时无限，并证明可提升映射类群与覆叠次数无关，为将双曲椭圆情形的结果推广至更广的超椭圆映射类群家族奠定了基础框架。

ABSTRACT

The hyperelliptic mapping class group has been studied in various contexts within topology and algebraic geometry. What makes this study tractable is that there is a surjective map from the hyperelliptic mapping class group to a mapping class group of a punctured sphere. The more general family of superelliptic mapping class groups does not, in general, surject on to a mapping class group of a punctured sphere, but on to a finite index subgroup. We call this finite index subgroup the liftable mapping class group. In order to initiate the generalization of results on the hyperelliptic mapping class group to the broader family of superelliptic mapping class groups, we study an intermediate family called the balanced superelliptic mapping class group. We compute the index of the liftable mapping class group in the full mapping class group of the sphere and show that the liftable mapping class group is independent of the degree of the cover. We also build a presentation for the liftable mapping class group, compute its abelianization, and show that the balanced superelliptic mapping class group has finite abelianization. Although our calculations focus on the subfamily of balanced superelliptic mapping class groups, our techniques can be extended to any superelliptic mapping class group, even those not within the balanced family.

研究动机与目标

• 将双曲椭圆映射类群的结果推广至更广的超椭圆映射类群家族。
• 将可提升映射类群定义并研究为带 punctured 球面映射类群的有限指数子群。
• 计算平衡超椭圆覆叠下可提升映射类群的交换化。
• 为可提升映射类群建立一个表示式并分析其代数结构。
• 证明可提升映射类群与覆叠次数无关，从而实现技术的更广泛应用。

提出的方法

• 作者使用方程 $ y^k = (x-a_1)(x-a_2)^{k-1} \cdots (x-a_n)^{k-1}(x-a_{n+1}) $ 定义平衡超椭圆覆叠，以建模球面的循环分支覆叠。
• 他们利用伽罗瓦对应关系，将覆叠空间与一个满同态 $ \phi: \pi_1(\mathbb{P}^1 \setminus \mathcal{B}) \to \mathbb{Z}/k\mathbb{Z} $ 关联，其中 $ \phi(\gamma_i) \equiv d_i \mod k $。
• 可提升映射类群 $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 被识别为对称映射类群在商映射下的像。
• 通过辫子关系、共轭关系和奇偶性翻转对称性，构建了可提升映射类群的表示式。
• 通过呈现矩阵的史密斯标准形计算交换化，揭示了 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $ 的结构。
• 作者应用交换化函子的右正合性，将对称映射类群的交换化与可提升群的交换化联系起来。

实验结果

研究问题

• RQ1 可提升映射类群在平衡超椭圆覆叠下的结构是什么？它与带 punctured 球面的完整映射类群有何关系？
• RQ2 可提升映射类群是否与覆叠次数 $ k $ 无关？若是，原因是什么？
• RQ3 可提升映射类群的交换化是什么？它如何随覆叠曲面的亏格变化？
• RQ4 能否使用辫子关系和共轭关系为可提升映射类群构造一个有限表示式？
• RQ5 可提升映射类群的一阶贝蒂数如何表现？这对对称映射类群的结构有何含义？

主要发现

• 可提升映射类群 $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 与覆叠次数 $ k $ 无关，这是关键的结构性洞察。
• 当 $ n $ 为奇数时，交换化 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $ 同构于 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z} $；当 $ n $ 为偶数时，同构于 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z} $。
• 可提升映射类群 $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 的一阶贝蒂数为 1，且该群非循环，意味着在偶数情形下其交换化为无限。
• 可提升映射类群的表示式由辫子关系、共轭对称性和奇偶性翻转关系导出，且具有有限生成集。
• 对称映射类群 $ \operatorname{SMod}_{g,k}(\Sigma_g) $ 的交换化为无限且非循环，因为其通过有限核满射到 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $。
• 呈现矩阵的史密斯标准形确认了交换化的扭部分与自由部分，其结构因 $ n $ 的奇偶性而异。