Galois subspaces for compact Riemann surfaces of genus 2

以下是基于 Juan-Pablo Llerena-Córdova 的论文《GALOIS SUBSPACES FOR COMPACT RIEMANN SURFACES OF GENUS 2》（亏格为 2 的紧致黎曼曲面的伽罗瓦子空间）的详细技术总结：

1. 研究问题 (Problem)

本文主要研究紧致黎曼曲面 $X$（特别是亏格 $g=2$ 的情况）上的伽罗瓦嵌入（Galois embeddings）及其相关的伽罗瓦子空间（Galois subspaces）的几何结构。

• 背景定义：设 $D$ 是 $X$ 上的一个非常 ample 除子，$\phi_D: X \to \mathbb{P}^N$ 是由 $D$ 诱导的嵌入。对于 $\mathbb{P}^N$ 中余维数为 2 的线性子空间 $W$，考虑投影 $\pi_W: \mathbb{P}^N \to \mathbb{P}^1$。如果复合映射 $f_W = \pi_W \circ \phi_D$ 是一个伽罗瓦覆盖（即函数域扩张 $f_W^* k(\mathbb{P}^1) \subseteq k(X)$ 是伽罗瓦扩张），则称 $W$ 为 $D$ 的伽罗瓦子空间。
• 核心集合：研究集合 $G_{X,D} = \{W \in G(N-2, N) \mid \pi_W \circ \phi_D \text{ 是伽罗瓦的}\}$ 的结构。
• 已知结论：Auffarth 和 Rahausen 证明了当 $g \ge 2$ 时，$G_{X,D}$ 同构于一些射影空间的不交并集。具体分解公式为：
  $$G_{X,D} \cong \bigsqcup_{\substack{H \le \text{Aut}(X) \\ X/H \cong \mathbb{P}^1}} X_{D, \pi_H}$$
  其中 $X_{D, \pi_H}$ 是维数为 $\ell(D - D_H) - 1$ 的射影空间，$D_H$ 是由子群 $H$ 诱导的除子。
• 本文目标：针对亏格 $g=2$ 的黎曼曲面，当除子 $D$ 由自同构群 $\text{Aut}(X)$ 的某个子群诱导时，计算上述分解中各个射影空间分量的维数。特别关注不相交（disjoint）的伽罗瓦子空间，它们对应于分解中的 0 维分量。

2. 方法论 (Methodology)

作者采用了代数几何与群论相结合的方法，主要步骤如下：

1. 除子的线性等价性分析：

   • 利用黎曼曲面 $X/H \cong \mathbb{P}^1$ 的性质，证明由子群 $H$ 诱导的除子 $D_H$ 在模线性等价下与基点 $p$ 的选择无关（引理 1.1）。
   • 建立不同子群诱导除子之间的线性等价关系。特别是引理 1.2 和引理 1.4，证明了当子群满足特定包含关系和阶数条件时，$D_H$ 与 $D_N$ 的差与另一个子群诱导的除子或标准除子（如典范除子 $K$）线性等价。
   • 对于亏格 $g=2$ 的超椭圆曲线，利用其唯一的超椭圆对合 $\sigma$（满足 $X/\langle \sigma \rangle \cong \mathbb{P}^1$），推导出当 $|H| - |N| = 2$ 且 $\langle \sigma \rangle \subseteq H \cap N$ 时，$D_H - D_N \sim K$（推论 1.3）。

2. 非常 ample 除子的判定：

   • 利用 Riemann-Roch 公式证明：对于亏格 $g=2$ 的曲线，除子 $D$ 是非常 ample 的充要条件是 $\deg(D) \ge 5$（引理 1.5）。
   • 由于 $D_H$ 的度数等于子群 $H$ 的阶数 $|H|$，因此只需考虑 $|H| \ge 5$ 的子群。

3. 自同构群的分类与子群格分析：

   • 利用已知结论（Broughton 等），列出亏格 2 黎曼曲面的自同构群 $G = \text{Aut}(X)$ 的所有可能同构类：$C_2, C_2 \times C_2, D_4, C_{10}, D_6, C_3 \rtimes D_4, GL_2(\mathbb{F}_3)$。
   • 针对每个可能的群 $G$，分析其子群格（Subgroup Lattice）。
   • 通过计算 $\ell(D_H - D_N)$ 来确定射影空间的维数。计算过程依赖于：
     • 若 $|H| - |N| > 2$，利用引理 1.6 直接计算。
     • 若 $|H| = |N|$，利用引理 1.4 证明 $D_H \sim D_N$，此时维数为 0。
     • 若存在中间子群 $L$ 使得 $X/L \cong \mathbb{P}^1$，利用“之字形”（Zig-Zag）过程，通过中间除子的线性等价关系（如 $D_H - D_N \sim K$）来推导 $\ell$ 值。

4. 不相交伽罗瓦子空间的判定：

   • 根据引理 2.1，$G_{X,D}$ 存在 0 维分量（即存在不相交伽罗瓦子空间）当且仅当 $D \sim D_H$ 且 $X/H \cong \mathbb{P}^1$。

3. 主要贡献与结果 (Key Contributions & Results)

主要定理 (Theorem 0.2)

设 $X$ 为亏格 2 的紧致黎曼曲面，$H \le G = \text{Aut}(X)$：

1. 除子分类：如果 $G \not\cong C_{10}$，则由 $G$ 的子群诱导的两个非常 ample 除子，其差是典范除子 $K$ 的倍数。
2. 一一对应：在 $G_{X, D_H}$ 中，不相交伽罗瓦子空间与 $H$ 的子群之间存在一一对应关系（具体指阶数为 $|H|$ 的子群，实际上是指满足特定条件的子群结构，原文表述为与阶数为 $|H|$ 的子群的一一对应，结合上下文应理解为与诱导出 0 维分量的子群结构相关）。

具体计算结果 (Tables 1-5)

作者针对 $G$ 的每一种可能同构类，计算了 $G_{X, D_H}$ 分解中各射影空间分量的维数分布。定义了 $D_H^n$ 为满足 $\ell(D_H - D_N) - 1 = n$ 的子群 $N$ 的数量。

• $G \cong D_4$：当 $|H|=8$ 时，存在 1 个 0 维分量，3 个 2 维分量，1 个 4 维分量。
• $G \cong C_{10}$：当 $|H|=10$ 时，存在 1 个 0 维分量，1 个 2 维分量。
• $G \cong D_6$：详细列出了 $|H|=6, 12$ 时的维数分布，发现存在 -1 维（空集）、0 维、1 维、2 维等分量。
• $G \cong C_3 \rtimes D_4$ 和 $G \cong GL_2(\mathbb{F}_3)$：作者提供了详细的表格（Table 4 和 Table 5），列出了不同阶数 $|H|$ 下，各维数分量（从 -1 到 44 维不等）的具体数量。这些表格展示了随着自同构群复杂度的增加，伽罗瓦子空间分解结构的丰富性。

关键发现

• 对于亏格 2 的曲线，存在大量子群 $H$ 使得 $X/H \cong \mathbb{P}^1$，这使得 $G_{X,D}$ 的分解结构比高亏格情况更为复杂和丰富。
• 证明了在 $G \not\cong C_{10}$ 的情况下，由子群诱导的除子类在模 $K$ 的意义下是唯一的（或具有特定的线性等价关系）。

4. 意义与局限性 (Significance & Limitations)

• 理论意义：

  • 填补了伽罗瓦子空间理论在亏格 2 情况下的具体计算空白。此前该集合仅在亏格 0 和 1 的情况下被详细研究。
  • 提供了具体的维数计算公式和分类表，为后续研究伽罗瓦嵌入的几何性质提供了基础数据。
  • 验证并扩展了 Auffarth 和 Rahausen 的一般性分解理论，将其具体化到具体的群论结构中。

• 局限性：

  • 高亏格推广困难：作者在备注（Remark 1）中指出，虽然证明中使用的引理（1.2 和 1.4）适用于任意亏格 $g \ge 2$，但无法将主定理推广到 $g > 2$。
  • 原因：对于 $g=2$，存在许多子群 $H$ 使得商空间 $X/H \cong \mathbb{P}^1$。而在 $g > 2$ 时，这种情况非常罕见（通常只有超椭圆曲线且 $H$ 为超椭圆对合群时成立，或者 $H$ 非常小）。因此，$g=2$ 的特殊性（丰富的商空间结构）使得该证明方法难以直接推广。

• 未来方向：

  • 文章呼应了 Yoshihara 和 Fukasawa 提出的关于伽罗瓦子空间的开放问题列表，为理解高亏格曲面上的伽罗瓦嵌入结构提供了低亏格的参照系。

总结

这篇文章通过精细的群论分析和代数几何工具（Riemann-Roch 公式、线性等价除子），完整刻画了亏格为 2 的黎曼曲面上，由自同构群诱导的非常 ample 除子所对应的伽罗瓦子空间集合的几何结构。其核心成果是给出了不同自同构群情形下，该集合分解为射影空间的具体维数分布表，并揭示了亏格 2 情形下伽罗瓦子空间存在的丰富性。