On the Maximality, Weierstrass Semigroups, and Automorphism Group of the Curve $Y^{q+1} = X^n(X^n + 1)$

技术摘要：曲线 $y^{q+1} = x^n(x^n + 1)$ 的极大性、魏尔斯特拉斯半群与自同构群

问题陈述
本文研究了定义在有限域 $\mathbb{F}_{q^2}$ 上、由仿射方程 $y^{q+1} = x^n(x^n + 1)$ 给出的代数曲线族 $X_{n,q}$，其中 $n$ 是与特征 $p$ 互素的正整数。主要目标是确定该曲线的非奇异模型为 $\mathbb{F}_{q^2}$-极大曲线的精确条件，计算各类有理点处的魏尔斯特拉斯半群，并确定该曲线的完整自同构群。本研究旨在将先前关于特定情况（特别是 $m=3$）的结果推广到由 $q+1$ 的因子参数化的更广泛曲线族。

方法论
作者结合了代数几何与算术技术：

1. 极大性分析：作者利用了极大性在非平凡有理态射下保持不变的性质。他们构造了从经典赫米特曲线 $H: u^{q+1} + v^{q+1} + 1 = 0$ 到 $X_{n,q}$ 的覆盖映射，并分析了商结构。此外，他们将曲线与形如 $y^2 = x^n + 1$ 的双椭圆曲线联系起来，以推导极大性的充要条件。
2. 除子与自同构理论：本文利用库默尔扩张理论分析了投影 $X_{n,q} \to \mathbb{P}^1$ 的分歧结构。推导了函数 $x$ 和 $y$ 的显式除子公式，以确定亏格和自同构群的结构。
3. 魏尔斯特拉斯半群：作者通过构造具有指定极点阶数的显式有理函数，确定了有理点处的魏尔斯特拉斯半群 $H(P)$。这包括：
   • 分析分歧点（$0$、$\infty$处的位以及$x^{(q+1)/m} + 1 = 0$ 的根对应的位）处的局部参数。
   • 利用局部参数展开式来识别半群中的间隙与非间隙。
   • 通过分析由单项式展开系数构成的特定矩阵的秩，区分集合 $O$（分歧点）中的点与集合 $O$ 之外的点。
4. 自同构群确定：作者通过分析有理点的轨道来确定自同构群。他们利用同一轨道中的点必须具有相同魏尔斯特拉斯半群这一事实。通过证明在温和的特征假设下，集合 $O$ 中点的半群与 $O$ 外点的半群不同，他们将可能的自同构限制为由对角映射和特定对合生成的特定子群。

主要贡献与结果

• 极大性的刻画：
  本文证明了 $X_{n,q}$ 的非奇异模型是 $\mathbb{F}_{q^2}$-极大曲线，当且仅当 $n$ 整除 $q+1$。令 $q+1 = nm$，作者定义了一个由$q+1$的因子$m$参数化的极大曲线族$X_{m,q}$。这推广了已知的$m=3$ 情形。

• 魏尔斯特拉斯半群：
  作者提供了若干类有理点处魏尔斯特拉斯半群的显式描述：

  • 集合 $O$ 中的点（分歧点）：$0$、$\infty$处以及$x^{(q+1)/m} + 1 = 0$的根对应的位处的半群，已用$q$和$m$显式确定。其结构取决于$m$的奇偶性。例如，在$\infty$处的位上，若$m$为偶数，半群由${q+1-m, q+1-\lfloor m/2 \rfloor, \dots, q+1}$生成；若$m$为奇数，则由${q+1-m, q+1-m+2, \dots, q, q+1}$ 生成。
  • 集合 $O$ 之外的点：本文表明，对于集合 $O$ 之外的大多数有理点 $P(a,b)$，其魏尔斯特拉斯半群与 $O$ 中的半群不同。具体而言，对于 $m=4$ 的情形，作者推导出了涉及 $q, q+1, q-1$ 以及依赖于参数 $\alpha$ 的特定算术级数的生成元。
  • 轨道区分：一个重要的结果是，集合 $O$ 在自同构群下构成单个轨道，当且仅当 $m = (q+1)/2$ 且 $m$ 为偶数（这意味着 $q \equiv 3 \pmod 4$）。在其他情况下，集合 $O$ 根据魏尔斯特拉斯半群分裂为不同的轨道。

• 自同构群：
  在温和假设（特征 $p$ 不整除 $\binom{m/2 + (m \pmod 2)}{1}$，该条件对大多数 $m$ 成立）下，确定了完整自同构群 $\text{Aut}(X_{m,q})$：

  • 一般情况（$m \neq (q+1)/2$ 或 $m$ 为奇数）：该群同构于阶为 $2(q+1)^2/m$ 的半直积，由对角自同构和对合 $\theta_2(x,y) = (y^m/x, y)$ 生成。
  • 特殊情况（$m = (q+1)/2$ 且 $m$ 为偶数）：若 $q \equiv 3 \pmod 4$，则群更大，阶为 $8(q+1)$，由前述群及涉及四次单位根的另一自同构 $\theta_4$ 生成。

意义
本文声称提供了形如 $y^{q+1} = x^n(x^n + 1)$ 的极大曲线的完整分类。通过将研究从特定情形 $m=3$ 推广到由 $q+1$ 的因子参数化的一般曲线族，该工作提供了具有不同亏格的极大曲线的新的显式例子。

魏尔斯特拉斯半群的显式确定被强调为对几何编码理论具有直接意义。具体而言，精确掌握这些半群及有理点数量，对于构造具有最优参数的代数几何（AG）码（如戈帕码）至关重要，这些参数包括最大化的最小距离和高维数。这些结果为这些应用提供了必要的理论和计算工具。

此外，本文通过阐明赫米特曲线与其商曲线之间的关系，并刻画这些曲线的自同构群，促进了对极大曲线结构的理解，而后者是有限域上曲线算术几何中的一个基本问题。