A classification of triangular Riemann surfaces with $2p^2$ automorphisms

技术摘要：具有 $2p^2$ 个自同构的三角黎曼曲面的分类

问题陈述
本文旨在对亏格 $g \geq 2$ 的紧致黎曼曲面进行分类，这些曲面 admitting 一个阶为 $2p^2$ 的有限群（其中 $p$ 为奇素数）的“三角”作用。三角作用定义为：商空间的亏格为 0，且覆盖映射恰好在三个点处分歧（符号为 $(0; m_1, m_2, m_3)$）。此类曲面被称为拟柏拉图（quasiplatonic）曲面。作者旨在确定阶为 $2p^2$ 的抽象群进行三角作用的充要条件，对生成的曲面进行同构分类，计算其亏格及完整自同构群，并提供显式的代数模型。这项工作扩展了先前的分类成果（例如针对阶为 $pq$ 的群（Streit 和 Wolfart）以及循环群/阿贝尔群的研究），将其推广至更为复杂的阶为 $2p^2$ 的情形，在该情形下存在多个非同构的群以及每个群对应的多种不同作用。

方法论
作者运用了富克斯群（Fuchsian groups）的组合理论及其包含关系的研究，该框架由 Singerman 发展。核心方法论包括：

1. 符号分析：确定五个非同构的阶为 $2p^2$ 的群（$D_{p^2}$、$Z_{p^2} \rtimes Z_2$、$Z_{2p} \times Z_p$、$D_p \times Z_p$ 和 $Z_{2p^2}$）中哪些可以 admit 三角作用。这是通过分析将符号为 $(0; m_1, m_2, m_3)$ 的富克斯群满射到目标群所需的生成元来实现的。
2. 曲面核同态（SKEs）：构造从富克斯群 $\Gamma$ 到目标群 $G$ 的同态 $\Phi: \Gamma \to G$。此类映射的核定义了黎曼曲面 $S \cong \mathbb{H}/\ker(\Phi)$。
3. 作用的扩展：利用 Singerman 的最大符号列表以及 Bujalance、Cirre 和 Conder 确立的标准，确定给定作用是否可扩展至更大的自同构群。这涉及检查富克斯群的包含关系，以及自同构群中是否存在满足扩展条件的特定对合。
4. 代数建模：将分类后的曲面描述为射影线的循环覆盖（循环 $n$-边形曲线）。作者通过分析自同构的分歧值和旋转数，导出了形式为 $y^n = \prod (x - \alpha_i)^{n_i}$ 的显式仿射平面曲线。
5. 同构分类：通过分析 SKEs 在富克斯群自同构群和目标群作用下的轨道，确定非同构曲面的数量。

主要贡献与结果
本文提供了 admit 阶为 $2p^2$ 的群的三角作用的紧致黎曼曲面的完整分类。主要发现如下：

• 存在性与计数：

  • 群 $D_{p^2}$ 和 $Z_p^2 \rtimes Z_2$ 对于 $g \geq 2$ 不 admit 三角作用。
  • 对于 $p \geq 5$，恰好存在 $\frac{p^2 + 2p + 3}{2}$ 个两两非同构的紧致黎曼曲面 admit 此类作用。
  • 对于 $p = 3$，恰好存在 8 个此类曲面。
  • 这些曲面分布在群 $Z_{2p} \times Z_p$、$D_p \times Z_p$ 和 $Z_{2p^2}$ 中。

• 具体分类：

  • $Z_{2p} \times Z_p$：admit 唯一的三角作用，符号为 $(2p, 2p, p)$。生成的曲面亏格为 $g = (p-1)^2$，同构于 $y^p = x^{2p} - 1$ 的正规化。其完整自同构群为 $D_p \times Z_{2p}$。
  • $D_p \times Z_p$：admit 符号为 $(2, p, 2p)$ 和 $(2p, 2p, p)$ 的作用。
    • 符号 $(2, p, 2p)$ 生成唯一的亏格为 $\frac{(p-1)(p-2)}{2}$ 的曲面，同构于 $y^p = (x^p - 1)^2$，其完整自同构群为 $Z_p^2 \rtimes D_3$。
    • 符号 $(2p, 2p, p)$ 生成 $\frac{p+1}{2}$ 个亏格为 $(p-1)^2$ 的非同构曲面。这些曲面由曲线 $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$ 描述。其完整自同构群各不相同：一种情况为 $D_p^2 \rtimes Z_2$，另一种为 $D_p \times Z_{2p}$，其余为 $D_p \times Z_p$。
  • $Z_{2p^2}$：admit 四种不同符号的作用：$(2, p^2, 2p^2)$、$(2p^2, 2p^2, p)$、$(2p, p^2, 2p^2)$ 和 $(2p^2, 2p^2, p^2)$。
    • 这些作用产生 $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ 个不同的同构类。
    • 为每种情况提供了显式的代数模型（例如 $y^{p^2} = x^2 + 1$、$y^p = x^2(x^{2p}-1)^m$ 等）。
    • 完整自同构群通常为 $Z_{2p^2}$，但在特定情况下可扩展为 $Z_{p^2} \rtimes D_4$。

• 定义域：

  • 一个重要的结果是，所有识别出的黎曼曲面均定义在有理数域（$\mathbb{Q}$）上。这是基于其代数模型由具有有理系数的多项式给出这一事实推导得出的。

• 超图分类：

  • 作为副产品，作者对 orientation-preserving 自同构群阶为 $2p^2$ 的可定向正则超图（或儿童画/dessins d'enfants）进行了分类。对于 $p \geq 5$，恰好存在 $p^2 + p$ 个此类不等价的超图。

意义
本文在以下几个方面声称具有重要意义：

1. 完备性：它针对特定的阶 $2p^2$ 提供了决定性的分类，该情形比先前研究的 $pq$ 阶更为复杂，因为存在非阿贝尔群和多种作用类型。
2. 有理数性：所有此类曲面均定义在 $\mathbb{Q}$ 上的结果，与通常具有自同构的黎曼曲面（往往需要数域）的一般行为形成对比。这加强了拟柏拉图曲面特殊的算术性质。
3. 代数模型：为每个同构类显式构造仿射平面曲线，使得具体的计算研究成为可能，并将几何分类与代数几何联系起来。
4. 模空间几何：通过识别对应于这些特定群作用的模空间 $M_g$ 的奇异轨迹，这项工作有助于理解黎曼曲面模空间的几何结构。
5. 组合联系：该分类架起了黎曼曲面理论与超图组合学之间的桥梁，为该特定自同构阶提供了可定向正则超图的完整列表。

作者强调，他们的结果是通过严格应用富克斯群理论推导得出的，不依赖于未证明的猜想，为深入研究这些曲面的算术和几何性质奠定了坚实的基础。