Automorphism groups of hyperelliptic curves of $2$-rank zero

论文技术总结

标题：2-rank 为零的双曲曲线的自同构群
作者：Kohtaro Yamaguchi, Shushi Harashita
背景：特征为 2 的代数闭域上的代数几何

1. 研究问题 (Problem)

本文旨在确定特征为 2 的代数闭域 $K$ 上，2-rank 为 0（即 $p$-rank 为 0，且当亏格 $g \ge 3$ 时不一定超奇异）的双曲曲线（hyperelliptic curves）的自同构群结构。

• 核心动机：
  • 受 Oort 猜想 的启发。Oort 猜想指出，对于 $g \ge 2$ 的通用超奇异主极化阿贝尔簇，其自同构群仅为 $\{\pm 1\} \cong \mathbb{Z}_2$。
  • 本文探讨该猜想在双曲曲线这一特定子类（2-rank 为 0 或超奇异）中的类比形式：对于特征 2 下亏格 $g \ge 2$ 的通用 2-rank 为 0 的双曲曲线，其自同构群是否也仅为 $\{\pm 1\}$？
• 具体对象：
  研究形如 Artin-Schreier 方程定义的曲线：
  $$C: y^2 - y = f(x)$$
  其中 $f(x) = x(x^{2n} + a_{n-1}x^{2(n-1)} + \dots + a_1x^2 + a_0)$。这类曲线涵盖了特征 2 下所有 2-rank 为 0 的双曲曲线，其亏格 $g=n$。

2. 方法论 (Methodology)

本文结合了理论推导与计算代数系统（Magma）的数值实验：

1. 理论框架建立：

   • 利用坐标变换 $(x, y) \to (\alpha x + \beta, y + \sum \gamma_i x^i)$ 来刻画自同构。
   • 定义了两个同态：
     • $\rho_n: \text{Aut}(C) \to \mu_{2n+1}$（映射到 $\alpha$，即 $2n+1$ 次单位根）。
     • $\tau_n: \text{Aut}(C) \to M_n$（映射到仿射变换 $(\alpha, \beta)$）。
   • 证明了自同构群 $\text{Aut}(C)$ 的半直积结构，特别是约化自同构群 $\text{RA}(C) = \text{Aut}(C)/\langle \sigma \rangle$（其中 $\sigma$ 是双曲对合）的结构。

2. 计算代数方法 (Magma)：

   • 对于小亏格（$n=1$ 到 $6$），利用 Magma 计算由坐标变换成为自同构的必要充分条件生成的理想（Ideal）的 Gröbner 基。
   • 通过 Gröbner 基分析 $\alpha$ 和 $\beta$ 的取值数量，从而确定 $\text{Im}\rho_n$ 和 $\text{Im}\tau_n$ 的阶数及结构。
   • 对于 Scholten-Zhu 类型的超奇异曲线（亏格 $g \le 9$），采用类似方法计算其自同构群。

3. 结构分析：

   • 利用 Schur-Zassenhaus 引理分析群的扩张结构，证明 $\text{RA}(C)$ 同构于初等阿贝尔 2-群与循环群的半直积：$\mathbb{Z}_2^\ell \rtimes \mathbb{Z}_{k}$。

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

定理 1：一般结构

• 确定了 $\text{Aut}(C)$ 的扩张结构。
• 证明了 $\text{RA}(C) \cong \mathbb{Z}_2^\ell \rtimes \mathbb{Z}_{\#\text{Im}\rho_n}$。
• 当 $n \ge 3$ 为奇数时，$\text{Ker}\rho_n = \langle \sigma \rangle$，即 $\ell=0$，此时 $\text{RA}(C)$ 是循环群。

定理 2：小亏格 ($n=1, \dots, 6$) 的精细分类
通过计算，给出了不同系数条件下 $\text{RA}(C)$ 的具体群结构和 $\text{Aut}(C)$ 的阶数：

• $n=1$ (亏格 1)：$\text{RA}(C) \cong \mathbb{Z}_2^2 \rtimes \mathbb{Z}_3 \cong A_4$，阶数 24。
• $n=2$ (亏格 2)：
  • 若 $a_1 \neq 0$，$\text{RA}(C) \cong \mathbb{Z}_2^4$，阶数 32。
  • 若 $a_1 = 0$，$\text{RA}(C) \cong \mathbb{Z}_2^4 \rtimes \mathbb{Z}_5$，阶数 160。
  • 注：这为原始 Oort 猜想提供了反例（因为 $g=2$ 时自同构群远大于 $\mathbb{Z}_2$）。
• $n=3, 5$ (奇数)：
  • 在“通用”条件下（系数满足特定非零条件），$\text{RA}(C) \cong \{1\}$，即 $\text{Aut}(C) \cong \mathbb{Z}_2$。
  • 仅在特定系数全为零的退化情形下，自同构群变大（如 $n=3$ 时可达 14）。
• $n=4, 6$ (偶数)：
  • 结构更为复杂，$\text{RA}(C)$ 可能包含较大的 2-群部分（如 $\mathbb{Z}_2^6$）。
  • 当系数满足特定条件时，$\text{RA}(C)$ 为循环群；否则为半直积。

定理 3：Scholten-Zhu 型超奇异曲线 ($g \le 9$)

• 针对特定的超奇异曲线方程（如 $y^2 - y = x^{2g+1} + \dots$）进行了分类。
• 关键发现：
  • 当 $g$ 不是 2 的幂次时（如 $g=5, 6, 9$），通用情形下 $\text{Aut}(C) \cong \mathbb{Z}_2$。
  • 当 $g$ 是 2 的幂次时（如 $g=2, 4, 8$），即使是在通用情形下，自同构群也显著大于 $\mathbb{Z}_2$（例如 $g=8$ 时阶数可达 8704）。

4. 提出的猜想 (Conjectures)

基于上述实验结果，作者提出了两个修正后的猜想：

• 猜想 1 (针对 2-rank 为 0 的曲线)：
  特征 2 下，亏格 $g > 2$ 的通用 2-rank 为 0 的双曲曲线，其自同构群为 $\{\pm 1\}$。
  (注：$g=2$ 是例外，因为存在反例)

• 猜想 2 (针对超奇异曲线)：
  特征 2 下，亏格 $g$ 不是 2 的幂次的通用超奇异双曲曲线，其自同构群为 $\{\pm 1\}$。
  (作者进一步推测：这可能是一个充要条件，即当且仅当 $g$ 不是 2 的幂次时成立。当 $g=2^k$ 时，自同构群通常较大。)

5. 意义与影响 (Significance)

1. 对 Oort 猜想的深化：
   本文揭示了 Oort 猜想在特征 2 的双曲曲线情形下的微妙性。原始猜想认为 $g \ge 2$ 时自同构群很小，但本文证明在特征 2 下，当亏格 $g$ 为 2 的幂次时，自同构群会异常巨大。这修正了我们对“通用”超奇异曲线自同构行为的理解。

2. 分类学的完善：
   完成了特征 2 下小亏格（$g \le 6$）及特定超奇异曲线（$g \le 9$）的自同构群完整分类，填补了 Igusa (g=2) 和 Lercier-Ritzenthaler (g=3) 之后在特征 2 且 2-rank 为 0 这一特定领域的空白。

3. 方法论的示范：
   展示了如何利用计算代数系统（Magma）处理复杂的代数几何问题，特别是通过 Gröbner 基分析参数空间中的群结构，为研究更大亏格的曲线提供了可行的技术路径。

4. 未来方向：
   指出了理论证明的难点，特别是对于偶数亏格 $n$，如何从理论上确定 $\text{Ker}\rho_n$ 的结构以及 $\text{Im}\rho_n$ 的像，特别是当 $n$ 是 2 的幂次时的规律。

总结：
该论文通过严谨的理论推导和大规模计算实验，彻底厘清了特征 2 下 2-rank 为 0 的双曲曲线的自同构群结构。其核心结论是：在特征 2 中，亏格是否为 2 的幂次是决定超奇异双曲曲线自同构群大小的关键因素。这一发现对理解阿贝尔簇的模空间及自同构群分类具有重要的理论价值。