Superspecial plane quintics with large automorphism groups

技术摘要：具有大自同构群的超特殊平面五次曲线

问题陈述
本文研究了定义在特征 $p > 13$ 的代数闭域上的超特殊平面五次曲线（亏格为 6 的非奇异射影曲线）的存在性与枚举。虽然平面四次曲线（亏格为 3）的超特殊性已被广泛研究，但平面五次曲线的分类仍不完备。具体关注点在于拥有大自同构群的曲线：即阶数大于 10 的曲线，以及具有阶数为 8 和 10 的循环自同构群的曲线。目标是确定这些曲线为超特殊性的特征 $p$ 的充要条件，并枚举其同构类的数量。

方法论
作者结合了代数几何与计算数论，利用 Badr 和 Bars 对平面五次曲线的分类。方法论步骤如下：

1. 超椭圆曲线归约：将所考虑的平面五次曲线转化为形如 $y^n = f(x)$ 的超椭圆曲线。这使得已知超特殊性判据得以应用。
2. 超几何刻画：利用定理 2.2（基于 $f(x)^{(ip-j)/n}$ 展开式中特定系数的消失），作者将超特殊性条件转化为截断的高斯超几何级数（记为 $G(d)(a, b, c | z)$）的消失。
3. 按自同构群进行案例分析：
   • 0 维族：对于具有固定定义方程的曲线（表 1 中的类型 1–5），作者利用二项式定理和超几何级数的性质，推导出了关于 $p$ 的显式同余条件。
   • 1 维族（阶数 10）：对于族 $X^5 + Y^5 + XZ^4 + rX^3Z^2 = 0$，作者建立了参数 $r$ 与超椭圆模型 $y^5 = x(x^2-1)(x^2-\lambda)$ 中参数 $\lambda$ 之间的对应关系。他们证明了超特殊性对应于单个特定超几何级数 $G(\lambda)$ 的消失。
   • 1 维族（阶数 8）：对于族 $X^5 + Y^4Z + XZ^4 + rX^3Z^2 = 0$，超特殊性条件更为复杂，需要多个超几何级数同时消失。作者将 $G(\lambda)$ 定义为这些多项式的最大公约数（gcd）。
4. 算法枚举：对于阶数为 8 的情况，由于没有显而易见的解数闭式公式，作者开发了一种高效算法来计算多项式 $G(\lambda)$ 的次数并统计有效的同构类。该算法已在 Magma 中实现。

主要贡献与结果

• 0 维族的分类：本文提供了费马五次曲线、赫维茨五次曲线以及其他具有阶数为 150、39、30、20 和 16 的自同构群的具体形式的超特殊性的关于 $p$ 的显式充要条件。例如，费马五次曲线是超特殊的当且仅当 $p \equiv 4 \pmod 5$。
• 阶数 10 的枚举（定理 1.1）：作者推导出了具有阶数为 10 的循环自同构群的超特殊平面五次曲线同构类数量的精确公式。计数取决于 $p \pmod{20}$：
  • 若 $p \equiv 9 \pmod{20}$，数量为 $(3p - 27)/20$。
  • 若 $p \equiv 19 \pmod{20}$，数量为 $(3p - 37)/20$。
  • 否则，数量为 0。
    该结果是通过分析单个超几何级数的根，并排除自同构群更大（阶数为 150 或 20）的情况而获得的。
• 阶数 8 的枚举（定理 1.2）：对于具有阶数为 8 的循环自同构群的曲线，作者证明了若 $p \equiv 1, 3, 5 \pmod 8$，则不存在此类超特殊曲线。对于 $p \equiv 7 \pmod 8$，他们提供了一个计算同构类数量的算法。
  • 表 3 展示了 $13 < p < 10000$ 的计算结果，表明类的数量随 $p$ 不规则变化，不像阶数 10 的情况那样遵循简单的线性公式。
  • 计算范围至 10,000 的过程耗时约 36.2 秒。

意义与主张
本文声称首次利用高斯超几何级数对具有大自同构群的平面五次曲线的超特殊性给出了显式刻画。

• 理论洞察：它表明，虽然阶数 10 的情况给出了同构类数量的简洁、显式公式，但阶数 8 的情况要复杂得多，需要多个超几何条件的交集。
• 计算效率：所提出的阶数 8 情况的算法被证明足以处理高达 10,000 的特征，表明计算验证的上限可以扩展。
• 未来工作：作者谦逊地指出，当 $p \not\equiv 7 \pmod 8$ 时阶数 8 超特殊曲线不存在（通过计算观察到）的理论证明仍然是一个未解决的问题。他们还建议，研究其他自同构群可能需要多元超几何级数。

该工作得到了 JSPS 青年科学家研究资助 25K17225 的支持，实现代码已公开。