On superspecial hyperelliptic curves of Rosenhain forms

技术摘要：Rosenhain 形式下超特异双曲曲线的枚举

问题陈述
本文研究了确定给定特征 $p$ 下，给定亏格 $g$ 的超特异双曲曲线同构类数量的基本问题。虽然对于 $g \le 3$ 的情况已基本解决，且对于 $g \ge 4$ 的存在性问题在一般情况下仍处于开放状态，但在小特征下针对更高亏格的具体计数仍然有限。Kudo 和 Harashita 的先前工作利用 Gröbner 基计算解决了亏格 4 在特征不超过 19 的情况。本文旨在将这些结果扩展到亏格 4、5 和 6，并将特征范围扩展到 $p$ 高于之前覆盖范围的情况，具体最高至 $p=41$。

方法论
作者提出了一种新算法（算法 3.1），该算法依赖于从 Rosenhain 形式曲线中推导出的特定必要条件。

1. Rosenhain 形式与必要条件：
   本文关注由 Rosenhain 方程定义的双曲曲线：
   $$C: y^2 = x(x-1) \prod_{i=1}^{2g-1} (x - \lambda_i)$$
   其核心理论贡献是定理 1.3，该定理确立了在特征 $p > 2$ 时，此类曲线为超特异的必要条件。定理指出，若 $C$ 是超特异的，则对于所有 $i, j \in \{1, \dots, 2g-1\}$，元素 $\lambda_i$、$1-\lambda_i$ 以及 $\lambda_i - \lambda_j$ 必须是有限域 $\mathbb{F}_{p^2}$ 中的平方数。

   • 证明策略： 证明过程利用了曲线的雅可比簇 $J$ 的性质。它表明，对于超特异曲线，其 4-阶扭子子群 $J[4]$ 定义在 $\mathbb{F}_{p^2}$ 上。通过分析 4-阶扭子点及其半点（half-points）的 Mumford 表示，作者表明分支点的特定交叉比必须是 $\mathbb{F}_{p^2}$ 中的平方数。

2. 枚举算法：
   基于定理 1.3，该算法按如下步骤进行：

   • 过滤（Filtering）： 构建一个包含元素 $\lambda$ 的集合 $S \subset \mathbb{F}_{p^2}$，其中 $\lambda$ 和 $1-\lambda$ 均为平方数。
   • 候选生成（Candidate Generation）： 递归地选择不同的集合 $\{\lambda_1, \dots, \lambda_{2g-1}\} \subset S$，使得对于所有点对，$\lambda_i - \lambda_j$ 也是一个平方数。
   • 同构处理（Isomorphism Handling）： 为了避免重复计数同构曲线，算法在对称群的作用下（通过置换分支点 $\{0, 1, \infty, \lambda_1, \dots, \lambda_{2g-1}\}$ 的 Möbius 变换）生成所有与候选集等价的 Rosenhain 形式，并存储规范代表元。
   • 超特异性检查（Superspeciality Check）： 对于每个有效的候选集，算法计算曲线的 Cartier-Manin 矩阵。当且仅当该矩阵为零矩阵时，曲线才是超特异的。这涉及检查 $f(x)^{(p-1)/2}$ 展开式中的特定系数是否消失。

主要贡献与结果
主要贡献在于成功应用该算法，计算了亏格 4、5 和 6 在各种小特征下的同构类精确数量，填补了现有文献中的空白。结果总结如下：

• 亏格 4： 本文确定了特征 $p \in \{23, 29, 31, 37, 41\}$ 的计数。

  • $p=23$：4 类
  • $p=29$：8 类
  • $p=31$：10 类
  • $p=37$：23 类
  • $p=41$：34 类
  • 注： 对于 $p \le 19$ 的结果与 Kudo 和 Harashita 的发现一致。

• 亏格 5： 本文确定了特征 $p \in \{13, 17, 19, 23, 29, 31, 37, 41\}$ 的计数。

  • 对于 $p=13, 17$，不存在此类曲线。
  • $p=19, 29$：各 1 类。
  • $p=23$：2 类。
  • $p=31$：6 类。
  • $p=37$：5 类。
  • $p=41$：3 类。

• 亏格 6： 本文确定了特征 $p \in \{17, 19, 23, 29, 31\}$ 的计数。

  • 对于 $p=17, 19, 29$，不存在此类曲线。
  • $p=23, 31$：各 1 类。

意义与主张
本文声称，其方法通过避免复杂的符号计算，相比于以往的方法（特别是使用 Gröbner 基的方法）具有明显的优势。相反，它利用 Rosenhain 参数的算术性质来高效地过滤候选对象。作者指出，对于小特征，满足平方条件的候选集数量足够少，使得该算法在计算上是可行的。

通过在 Magma 中实现该算法，作者成功地将已知的高亏格、大特征超特异双曲曲线的分类范围进行了扩展。论文明确指出，在本研究之前，对于亏格 $g \in \{5, 6\}$，尚未确定任何特征 $p > 2g+1$ 的同构类数量。这些结果为枚举超特异曲线这一基本问题提供了具体的数据点，该问题在同源密码学和代数几何码的应用中具有重要意义。