Construction of Generically Ordinary Families of Hyperelliptic Curves

技术摘要：构造超椭圆曲线的泛性普通族

问题陈述
本文研究了由 Katz (2018) 提出的关于 $t$ 线上的特定一参数超椭圆曲线族的泛性普通性（generic ordinarity）猜想。在特征为 $p > 0$ 的域上，一个亏格为 $g$ 的光滑射影曲线 $C$ 被定义为“普通”（ordinary）的，如果其 Zeta 函数分子的中间系数与 $p$ 互素。等价地，其雅可比簇是一个普通阿贝尔簇，其特征在于其 Newton 多边形仅包含斜率 0 和 1。这一条件可以通过 Hasse–Witt 矩阵（或 Cartier–Manin 矩阵）的行列式非零来检测。

Katz 猜想，对于 $d \in \{2g+1, 2g+2\}$ 且 $g \ge 2$ 的族 $K: y^2 = x^d - dx + t$，该族在所有充分大的素数 $p$ 下都是泛性普通的。虽然该族具有“大单群性”（large monodromy）（在 $Sp_{2g}(\mathbb{Z})$ 中具有有限指数），但已知它在较小的素数下会失效泛性普通性。具体问题是建立一个二次界限 $P^+(d)$，使得对于所有 $p > P^+(d)$，该族都是泛性普通的，并将此结果推广到形式为 $C_\alpha: y^2 = x^d + \alpha x + t$ 的族（其中 $\alpha$ 为任何非零代数整数）。

方法论
证明策略依赖于分析与族 $C_\alpha$ 相关的 Hasse–Witt 矩阵，并证明其行列式（Hasse–Witt 多项式）在充分大的 $p$ 时在模 $p$ 意义下不恒为零。

1. Hasse–Witt 多项式的构造：
   作者定义了一个在 $\mathbb{Z}[X, Y]$ 上的系数矩阵 $(M_{ij}(X, Y))_{1 \le i,j \le g}$，其中 $M_{ij}$ 是 $(x^d + Xx + Y)^{(p-1)/2}$ 展开式中 $x^{pi-j}$ 的系数。Hasse–Witt 行列式多项式定义为 $H_{p,\alpha}(Y) = \det(M_{ij}(\alpha, Y))$。泛性纤维是普通的，当且仅当该多项式在模 $p$ 意义下不为零。

2. 首项分析：
   为了证明 $H_{p,\alpha}(Y) \not\equiv 0 \pmod p$，作者分析了该多项式的首项。他们确定了一个特定的次数 $E$，并证明其首项系数具有形式 $\alpha^m u_p \Delta_p$，其中：

• $m$ 是一个非负整数。
• $u_p$ 是与 $p$ 互素的二项式系数之积。
• $\Delta_p$ 是一个涉及二项式 $\binom{(p-1)/2 - Q_i}{s_i - j}$ 的行列式，其中 $s_i$ 是 $pi \pmod d$ 的余数。

3. 归约为二项式行列式：
   核心技术创新是将 $\Delta_p$ 模 $p$ 归约为一个与 $p$ 无关的常数有理行列式 $\Delta(s_1, \dots, s_g)$。利用同余关系 $(p-1)/2 - Q_i \equiv \beta_i \pmod p$（其中 $\beta_i = s_i \frac{d-1}{2}$），他们证明了 $\Delta_p \equiv \Delta(s_1, \dots, s_g) \pmod p$。

4. 乘积公式与素因子界限：
   作者通过将行列式 $\Delta(s_1, \dots, s_g)$ 归约为范德蒙德型（Vandermonde-type）行列式，导出了一个显式的乘积公式。该公式涉及形式为 $(k - \lambda_r)$ 和二项式系数的因子。

• 引理 2.1 & 2.2： 确立了某些有理参数 $\lambda_r$ 是非整数，从而确保行列式是良定义的且非零。
• 引理 2.6： 至关重要地，作者证明了乘积公式中分子和分母的每一个素因子都受限于 $P^+(d)$。这是通过在特定的格点区域 $U$ 和 $V$ 上分析函数 $h(x, y) = (2d-2)x - 2dy - d$ 来实现的。

5. 模 $p$ 非零性：
   对于任何素数 $p > P^+(d)$，行列式 $\Delta$ 是一个 $p$ 进单位（模 $p$ 非零）。因此，$H_{p,\alpha}(Y)$ 的首项系数在模 $p$ 意义下非零（前提是 $\alpha \not\equiv 0 \pmod p$），从而确保了多项式本身非零。

关键贡献与结果

• 定理 1.3： 本文证明了对于每个 $g \ge 2$ 和每个非零代数整数 $\alpha$，族 $C_\alpha: y^2 = x^d + \alpha x + t$（其中 $d \in \{2g+1, 2g+2\}$）在每个素数 $p > P^+(d)$ 下都是泛性普通的，前提是 $p$ 不整除 $\alpha$ 的范数。
  • 该界限定义为：
    $$P^+(d) = \begin{cases} d^2 - 4d + 2 & \text{若 } d \text{ 为奇数} \\ (d^2 - 3d + 2)/2 & \text{若 } d \text{ 为偶数} \end{cases}$$
• 解决 Katz 猜想： 作为直接推论（推论 4.2），本文证实了 Katz (2018) 关于特定族 $K$（其中 $\alpha = -d$）在 $p > P^+(d)$ 时的猜想。
• 向两参数族的推广： 推论 4.3 将结果扩展到仿射平面上的两参数族 $y^2 = x^d + sx + t$，表明其在 $p > P^+(d)$ 时是泛性普通的。
• 针对 $p \equiv 1 \pmod d$ 的精细化： 推论 4.5 表明，如果 $p \equiv 1 \pmod d$，则该族在所有素数下都是泛性普通的（无需 $P^+(d)$ 的限制），因为在这种情况下行列式 $\Delta_p$ 变为 1。

意义与主张

本文声称解决了所有 $g \ge 2$ 情况下的 Katz 猜想。其意义在于超越了以往的结果（例如 Miller 的族，其系数矩阵是单项式的），能够处理 Hasse–Witt 矩阵通常是非单项式且包含许多非零项的族。作者指出，他们的研究方法需要一种“不同且新的方法”，因为行列式并不能简单地归约为单一的乘积。

这项工作为泛性普通性建立了一个具体的二次界限 $P^+(d)$。作者指出该界限在某些情况下是紧致的：Katz 提供的数据显示，在特定实例中（例如 $(d, p) = (21, 359)$），泛性普通性在 $p = P^+(d)$ 时失效，这表明该界限在一般情况下不能被弱化为 $p \ge P^+(d)$。

本文将研究结果置于 Miller (1972) 以及研究超椭圆局部大单群性的传统之中，证实了对于这些族，普通区域在较大的素数下是非空且稠密的。