Maximal and minimal curves of the form $y^3=x^{(q^2+1)/2}+x$

技术摘要：形式为 $y^3 = x^{(q^2+1)/2} + x$ 的极大与极小曲线

问题陈述
本文研究了在有限域上达到 Hasse–Weil 界（称为极大或极小曲线）的光滑射影曲线的分类。具体而言，它研究了定义在 $\mathbb{F}_{q^6}$ 上的超椭圆曲线族，其方程为：
$$C: y^3 = x^{(q^2+1)/2} + x$$
其中 $q = p^r$，$p \geq 5$ 是满足 $p \equiv -1 \pmod 3$ 的素数，$r \geq 1$。

虽然之前的研究（Tafazolian 和 Torres）为当域大小的平方根为素数时，形式为 $y^n = x^m + x$ 的曲线提供了极大性判据，但这一条件在某些已知示例中并不成立。值得注意的是，曲线 $y^3 = x^{13} + x$ 在 $\mathbb{F}_{5^6}$ 上是极大的，但 $5^3 = 125$ 并不是素数。作者旨在为这类现象提供统一的解释，确定该一般族类的精确点数，并根据指数 $r$ 的奇偶性刻画其行为。

方法论
证明策略依赖于将曲线转化为双有理 Kummer 模型，并利用特征和技术，特别是 Jacobi 和（Jacobi sums）与 Gauss 和（Gauss sums）。

1. 双有理变换： 作者定义 $d = (q^2-1)/2$ 且 $m = (q^2+1)/2$。他们建立了原曲线 $C$ 与模型以下形式的双有理等价性：
   $$Y: v^{3d} = t(1-t)^d$$
   该变换使得可以通过 Kummer 扩张的角度来分析该问题。

2. 通过特征和计数点数： 模型 $Y$ 的有理点数表示为涉及 Jacobi 和 $J(\chi^j, \chi^{dj})$ 的求和式，其中 $\chi$ 是阶为 $3d$ 的乘法特征。

   • 作者通过分析扩张的分歧情况来确定 $t=0, 1, \infty$ 处的点贡献。
   • 他们利用同余式 $q^4 \equiv d+1 \pmod{3d}$ 以及 Gauss 和的 Frobenius 不变性，将相关的 Jacobi 和简化为三次 Gauss 和。具体而言，他们证明了 $J(\chi^j, \chi^{dj}) = g(\chi^{dj})$。

3. 符号判定： 通过分析 Fermat 三次曲线 $U^3 + V^3 = W^3$ 在 $\mathbb{F}_{q^6}$ 上的行为来确定所得 Gauss 和的符号。通过应用已知的 Fermat 曲线极大性/极小性判据，作者推导出三次 Gauss 和 $g(\lambda)$（其中 $\lambda$ 是阶为 3 的特征）的符号为 $(-1)^{r+1}q^3$。

核心结果
论文确立了以下主要定理：

• 亏格（Genus）： 曲线 $C$ 的亏格恰好为 $g = (q^2 - 1)/2$。
• 点数： $\mathbb{F}_{q^6}$ 有理点的精确数量由下式给出：
  $$\#C(\mathbb{F}_{q^6}) = q^6 + 1 + (-1)^{r+1}(q^2 - 1)q^3$$
• 极大性/极小性：
  • 若 $r$ 为奇数，则项 $(-1)^{r+1}$ 为正，曲线达到上 Hasse–Weil 界，即为极大曲线。
  • 若 $r$ 为偶数，则该项为负，曲线达到下界，即为极小曲线。

一个特定的推论证实，曲线 $y^3 = x^{13} + x$（对应 $p=5, r=1$）亏格为 12，在 $\mathbb{F}_{5^6}$ 上是极大的，具有 18,626 个有理点。

意义与主张
作者将其贡献定位为为先前孤立的极大曲线示例提供了一个统一且显式的解释。

• 显式族类： 本文提出了一个具有精确点数公式的无限曲线族，该公式对所有 $r \geq 1$ 均有效。
• 依赖奇偶性的转换： 该工作强调了由定义在 $q=p^r$ 中的指数 $r$ 所控制的、明显的依赖于奇偶性的极大性与极小性之间的转换。
• 语境化： 作者指出，虽然亏格值 $(q^2-1)/2$ 并非新颖（它出现在 Hermitian 曲线的商谱中），但创新之处在于构建了这一特定的超椭圆族并证明了其点数。
• 局限性： 研究结果严格取决于条件 $p \equiv -1 \pmod 3$。作者明确指出，并未讨论 $p \equiv 1 \pmod 3$ 的情况，因为用于将 Gauss 和相等的 Frobenius 不变性论证在那种情况下会失效。
• 开放问题： 论文最后提到，虽然亏格与某些 Hermitian 商的亏格相匹配，但对于奇数 $r$，曲线 $C$ 是否被 Hermitian 曲线 $H_{q^3}$ 所覆盖仍是一个开放问题。