Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

这是一份关于论文《具有完全可分解雅可比簇的超特殊广义豪威曲线（Genus 4, 5, 6）》（Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
在特征 $p > 0$ 的有限域上，对于给定的亏格 $g$，是否存在超特殊曲线（Superspecial curve）？

• 定义：一条曲线被称为超特殊的，如果其雅可比簇（Jacobian）同构于超奇异椭圆曲线的乘积（作为无极化阿贝尔簇）。
• 现状：
  • $g \le 3$ 的情况已完全解决。
  • $g \ge 4$ 的情况在一般特征下仍是一个开放问题。主要难点在于高维阿贝尔簇通常不是雅可比簇。
  • 已知界限：Ekedahl 证明了若存在特征 $p$ 下的 $g$ 亏格超特殊曲线，则需满足 $2g \le p^2 - p$。
• 现有工作：Kudo-Harashita-Howe (2020) 通过关注特定类型的“豪威曲线”（Howe curves），证明了在 $7 < p < 20000$ 范围内存在 $g=4$ 的超特殊曲线。然而，该方法需要生成大量 $g=2$ 的超特殊曲线，计算效率较低，且难以扩展到更大的 $p$ 或更高的亏格（$g=5, 6$）。

本文目标：
针对 $g \in \{4, 5, 6\}$，通过限制搜索空间为具有完全可分解雅可比簇的广义豪威曲线（即雅可比簇同构于椭圆曲线的乘积），提出更高效的构造算法，以验证在更大特征范围（$p < 10^6$）内超特殊曲线的存在性。

---

2. 方法论 (Methodology)

本文的核心策略是将超特殊曲线的存在性问题简化为超奇异椭圆曲线的存在性问题。

2.1 理论基础：广义豪威曲线 (Generalized Howe Curves)

• 设 $C_1, C_2$ 为两个共享 $r$ 个魏尔斯特拉斯点（Weierstrass points）的超椭圆曲线。
• 它们的纤维积 $C_1 \times_{\mathbb{P}^1} C_2$ 的去奇化曲线 $H$ 称为广义豪威曲线。
• 关键性质（Theorem 2.6）：$H$ 的雅可比簇 $J(H)$ 同构于 $J(C_1) \times J(C_2) \times J(C_3)$ 的乘积（其中 $C_3$ 是第三个相关的超椭圆曲线）。
• 超特殊性判定：$H$ 是超特殊的，当且仅当 $C_1, C_2, C_3$ 均为超特殊的。

2.2 具体构造策略

作者针对 $g=4, 5, 6$ 分别构造了特定的曲线族，使得 $C_1, C_2, C_3$ 的雅可比簇都能分解为椭圆曲线的乘积。

• 亏格 4 ($g=4$)：

  • 构造：取两个椭圆曲线 $E_1, E_2$，共享 1 个点。$H$ 为 $E_1 \times E_2$ 的去奇化。
  • 分解：$J(H) \sim E_1 \times E_2 \times J(C_3)$，其中 $C_3$ 是 $g=2$ 曲线。
  • 简化：选取特定参数形式，使得 $C_3$ 的雅可比簇进一步分解为 $E_3 \times E_4$。
  • 判定条件：$X_{s,t}$ 超特殊 $\iff$ $E_1, E_3, E_4$ 均为超奇异椭圆曲线。
  • 算法 3.4：遍历超奇异 $j$-不变量（Legendre 形式），寻找满足条件的参数对 $(s, t)$。

• 亏格 5 ($g=5$)：

  • 构造：取两个 $g=2$ 曲线 $C_1, C_2$，共享 4 个点。
  • 分解：$C_1, C_2$ 选取特定形式（Case 3），使其雅可比簇同构于 $E_1^2$ 和 $E_2^2$。$C_3$ 退化为椭圆曲线 $E_3$。
  • 判定条件：$Y_{s,t}$ 超特殊 $\iff$ $E_1, E_2, E_3$ 均为超奇异椭圆曲线。
  • 算法 4.3：利用超奇异 $j$-不变量反解参数 $s, t$，避免直接求解高次多项式根。

• 亏格 6 ($g=6$)：

  • 构造：取两个 $g=2$ 曲线 $C_1, C_2$，共享 3 个点。
  • 分解：$C_1, C_2$ 选取特定形式（Case 2），使其雅可比簇同构于 $E_1^2$ 和 $E_2^2$。$C_3$ 也是 $g=2$ 曲线，其雅可比簇分解为 $E_3^2$。
  • 判定条件：$Z_{s,t}$ 超特殊 $\iff$ $E_1, E_2, E_3$ 均为超奇异椭圆曲线。
  • 算法 5.4：类似 $g=5$，通过 $j$-不变量反解参数。

2.3 计算优化

• 避免多项式求根：传统方法需要求解定义超特殊 $g=2$ 曲线的多项式根（计算昂贵）。本文算法直接利用已知的超奇异椭圆曲线 $j$-不变量集合 $S$，通过求解关于参数 $s, t$ 的方程来构造曲线。
• 搜索空间：预期超特殊曲线的数量约为 $\Theta(p)$，对于足够大的 $p$，算法几乎必然能找到解。

---

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

3.1 主要定理

• 定理 1.1 ($g=4$)：对于所有 $7 < p < 10^6$ 且 $p \notin \{13, 19, 73\}$ 的素数 $p$，存在特征 $p$ 下的 $g=4$ 超特殊曲线。
  • 结合 Kudo-Harashita-Howe 的旧结果（$7 < p < 20000$），证明了 $7 < p < 10^6$ 范围内 $g=4$ 超特殊曲线普遍存在。
• 定理 1.2 ($g=5$)：对于所有 $7 \le p < 10^5$ 且 $p \neq 13$ 的素数 $p$，存在 $g=5$ 超特殊曲线。
• 定理 1.3 ($g=6$)：对于所有 $7 < p < 10^5$ 的素数 $p$，存在 $g=6$ 超特殊曲线。

3.2 计算实验结果

• 效率提升：
  • 在 $7 < p < 20000$ 范围内，本文算法验证所有素数仅需 29.7 秒。
  • 相比之下，Kudo-Harashita-Howe 的方法耗时 41,491 秒（约 11.5 小时）。
  • 加速比：约 1400 倍。
• 总耗时：
  • $g=4$ ($p < 10^6$)：约 57.4 小时。
  • $g=5$ ($p < 10^5$)：约 15.5 小时。
  • $g=6$ ($p < 10^5$)：约 22.1 小时。
• 例外情况：
  • $g=4$：在 $p \in \{13, 19, 73\}$ 时未通过算法找到（需单独构造或证明不存在，目前 $p=13, 19, 73$ 的存在性仍为开放或需特殊处理，文中表 1 显示 $p=13, 19, 73$ 为未定或需单独验证）。
  • $g=5$：在 $p=13$ 时未找到（已知不存在），其他小素数通过单独构造验证。
  • $g=6$：在 $p=7$ 时未找到（表 1 显示 $p=7$ 为未定），其他小素数通过单独构造验证。

3.3 数据总结

亏格 $g$	特征 $p$ 范围	存在性结论	备注
4	$7 < p < 10^6$	存在 (除 $p=13, 19, 73$ 外)	结合旧结果覆盖全范围
5	$7 \le p < 10^5$	存在 (除 $p=13$ 外)	$p=13$ 已知不存在
6	$7 < p < 10^5$	存在 (除 $p=7$ 外)	$p=7$ 存在性待验证

---

4. 意义与影响 (Significance)

1. 解决开放问题：极大地推进了 $g \ge 4$ 超特殊曲线存在性问题的研究，将已知存在的特征范围从 $p < 20000$ 扩展到了 $p < 10^6$（对于 $g=4$），并首次系统性地证明了 $g=5, 6$ 在较大特征范围内的存在性。
2. 算法效率突破：提出的基于“完全可分解雅可比簇”和“超奇异椭圆曲线 $j$-不变量”的构造方法，相比之前的通用豪威曲线搜索方法，效率提高了三个数量级。这使得在大规模特征下验证高亏格超特殊曲线成为可能。
3. 密码学与应用：超特殊曲线在基于同构（Isogeny-based）的密码学（如 SIKE 的变体、后量子密码）和代数几何码中具有重要应用。确认这些曲线在特定特征下的存在性，为构建安全的密码系统提供了更丰富的参数选择。
4. 理论深化：通过显式构造具有完全可分解雅可比簇的曲线，加深了对高亏格曲线模空间结构的理解，特别是豪威曲线在连接低亏格超特殊曲线与高亏格超特殊曲线中的桥梁作用。

5. 结论

Ryo Ohashi 的这篇论文通过引入具有完全可分解雅可比簇的广义豪威曲线子集，成功地将高亏格超特殊曲线的构造问题简化为超奇异椭圆曲线的组合问题。这一方法不仅大幅提升了计算效率，还通过大规模计算机实验，确立了 $g=4, 5, 6$ 在特征 $p$ 达到 $10^5 \sim 10^6$ 量级时的广泛存在性，为数论和代数几何中的超特殊曲线研究提供了强有力的计算证据。