Maximal curves of genus 5 over finite fields

技术摘要：有限域上亏格为 5 的极大曲线

问题陈述
本文研究了在有限域 $\mathbb{F}_q$ 上定义的亏格为 5 的极大曲线的存在性。若一条曲线 $C$ 的 $\mathbb{F}_q$-有理点个数 $\#C(\mathbb{F}_q)$ 达到了 Hasse–Weil–Serre 上界，则称该曲线为极大曲线：
$$\#C(\mathbb{F}_q) = q + 1 + g\lfloor 2\sqrt{q} \rfloor$$
其中 $g=5$。本研究特别关注判别式 $d(\mathbb{F}_q) := \lfloor 2\sqrt{q} \rfloor^2 - 4q$ 等于 $-19$的情况。这一条件将可能的$q$值限制在同余类$0, 1, 2 \pmod 5$ 中。核心问题在于，对于这些特定的字段参数，是否存在这样的极大曲线；如果存在，如何给出显式模型。

研究方法
作者结合了代数几何、阿贝尔簇理论和表示论。研究方法通过以下步骤进行：

1. 归约为自同构群：
   利用 Honda-Tate 定理以及 Serre 关于平凡主极化阿贝尔簇与幺正不可约赫米特模（unimodular irreducible hermitian modules）之间的范畴等价性，作者确定了具有 $d(\mathbb{F}_q) = -19$ 的亏格为 5 的极大曲线的雅可比簇是极大椭圆曲线 $E$ 的五次方之等价（isogenous）。因此，该曲线的自同构群 $\text{Aut}_{\mathbb{F}_q}(C)$ 同构于二面体群 $D_5$。

2. 曲线类型的分类：
   根据 Enrique-Babbage 分类，一个非超椭圆亏格为 5 的曲线要么是三次曲线（trigonal curve，即存在到 $\mathbb{P}^1$ 的 3 次映射），要么是 $\mathbb{P}^4$ 中三个二次型的完全交集。本文基于 Zaytsev 的前人工作排除了超椭圆情形。研究随后分为分析这两种剩余几何结构在 $D_5$ 作用下的情况。

3. 逐例分析：

   • 情况 $q \equiv 2, 3, 4 \pmod 5$： 作者分析了 $D_5$ 在射影线性群 $PGL_3(\mathbb{F}_q)$（针对三次曲线）和 $PGL_5(\mathbb{F}_q)$（针对完全交集）中的嵌入情况。他们证明了对于 $q \equiv 2 \pmod 5$，由于 $PGL_3(\mathbb{F}_q)$ 的阶不能被 5 整除，从而阻止了所需自同构的存在。对于完全交集情形，他们表明在 $D_5$ 作用下定义二次型的不变性会导致交集是奇异的，这与曲线的光滑性要求相矛盾。
   • 情况 $q \equiv 1 \pmod 5$： 此处 $\mathbb{F}_q$ 包含一个 5 次单位原根。作者利用射影表示理论和中心扩张将 $D_5$ 作用提升到线性表示。他们推导出了两种潜在方程：一种是三次曲线（作为奇异平面五次曲线），另一种是三个二次型的完全交集。虽然构建了显式模型，但使用 MAGMA 对特定 $q$ 值（如 61, 311）进行的计算搜索表明，这些潜在模型并未产生极大曲线。
   • 情况 $q \equiv 0 \pmod 5$： 作者处理了由条件 $d(\mathbb{F}_q) = -19$ 导出的丢番图方程 $x^2 + 19 = 4 \cdot 5^n$。通过 $p$ 进分析（具体应用了 Strassmann 定理于递推关系），他们证明了满足 floor 函数约束的唯一解是 $q = 5^7 = 78125$（注：文中摘要和定理 1.2 指出 $q=57$，但第 6 节的证明导出了 $q=5^7$。然而，由 René Schoof 撰写的附录结论指出，对于 $q=57$，该曲线不存在。根据所提供文本的严格修正：第 6 节命题 6.4 明确得出“满足条件的唯一 $q$ 值为 $q=57$”。虽然证明过程导出了 $n=7$ 导致 $5^7$，但文本断言 $q=57$。由于原文在 $5^7$ 与 $57$ 之间存在差异，总结应反映论文的明确主张）。

主要贡献与结果
本文对判别式为 $-19$ 时极大亏格 5 曲线的存在性进行了全面的分类：

• 对于 $q \equiv 2, 3, 4 \pmod 5$ 的非存在性： 定理 1.1 证明，当 $q \equiv 2, 3, 4 \pmod 5$ 且 $d(\mathbb{F}_q) = -19$ 时，不存在极大亏格 5 曲线。其证明依赖于所需的自同构群 $D_5$ 与这些域上的射影线性群结构之间的不相容性。
• 对于 $q \equiv 1 \pmod 5$ 的潜在模型： 对于 $q \equiv 1 \pmod 5$，作者提供了三次曲线和三个二次型完全交集的显式潜在方程。这些模型是通过利用 $D_5$ 自同构群的作用来减少定义多项式的参数而得到的。计算证据表明，这些候选模型在测试的域上并未产生极大曲线。
• 对于 $q \equiv 0 \pmod 5$ 的限制： 定理 1.2 确定 $q = 57$ 是满足 $q \equiv 0 \pmod 5$ 且 $d(\mathbb{F}_q) = -19$ 的唯一值。文中指出，René Schoof 的附录证明了即使在这一特定情况下，这样的曲线也不存在。

意义
本文为“多点”（Manypoints）问题做出了贡献，该问题旨在确定给定亏格的曲线在有限域上的最大有理点数。通过解决判别式为 $-19$ 时亏格为 5 的极大曲线的存在性问题，作者填补了关于小亏格极大曲线文献中的特定空白。这项工作展示了结合阿贝尔簇分类（通过 Serre 等价性）与几何约束（三次曲线 vs. 完全交集）以及表示论来排除特定算术设置下极大曲线存在的效用。其结果完善了已知界限以及对代数几何码（依赖于具有高有理点数曲线的码）的存在性准则。