Generically Ordinary One-parameter Hyperelliptic Families are Dense

技术摘要：一参数超椭圆族是泛性平凡的

问题陈述
本文研究了一参数超椭圆族系数空间中“泛性平凡”（generically ordinary）归约的分布情况。具体而言，考虑定义在 $t$-线上的曲线族 $C_{\vec{a}}$，其仿射方程为：
$$y^2 = x^d + a_{d-1}x^{d-1} + \dots + a_1x + t$$
其中 $d = 2g + 1$ 且 $g \ge 2$，$\vec{a} = (a_1, \dots, a_{d-1})$ 代表 $\mathbb{Z}^{d-1}$ 中的系数向量。核心问题是：对于什么样的系数向量 $\vec{a}$，能够使得生成的族 $C_{\vec{a}}$ 在几乎所有的有理素数下都具有泛性平凡归约？

这项工作扩展了 Zhu [Zhu26] 最近的研究结果，后者证明了 Katz 猜想 [Kat18] 对于特定的族 $y^2 = x^d - dx + t$ 是成立的。本文将该结论推广到整个系数空间 $\mathbb{A}^{d-1}_{\mathbb{Z}}$，分析了任意整数系数向量下平凡素数的密度。

方法论
主要工具是通用 Hasse–Witt 行列式多项式，记作 $H_p(\vec{A}, t) \in \mathbb{Z}[\vec{A}, t]$。对于一个给定的素数 $p$，族 $C_{\vec{a}}$ 是泛性平凡的，当且仅当其特化 $H_p(\vec{a}, t)$ 在 $\mathbb{F}_p[t]$ 中不是零多项式。

其核心技术策略是分析 $H_p(\vec{A}, t)$ 关于变量 $t$ 的首项系数。作者：

1. 构造系数函数：通过由编码多项式系数的 $(B(z)-1)^r$ 的展开式导出的函数 $C_n(X)$ 来定义这些函数。
2. 定义行列式多项式：引入一个由这些系数函数构建的矩阵 $D_{\vec{\delta}}$，其中 $\vec{\delta}$ 是由剩余类 $k \in (\mathbb{Z}/d\mathbb{Z})^\times$ 决定的符号向量。该矩阵的行列式 $\Delta_k(\vec{A})$ 是一个关键不变量。
3. 识别首项系数：证明对于素数 $p \ge 2d-1$ 且 $p \equiv k \pmod d$， $H_p(\vec{A}, t)$ 关于 $t$ 的首项系数在模 $p$ 意义下同属于一个非零倍数 $\Delta_k(\vec{A})$。
4. Zariski 开集构造：利用这些行列式多项式的非零性，定义 Zariski 开且稠密的子图式 $U_k \subset \mathbb{A}^{d-1}_{\mathbb{Z}}$。

主要结果

• 泛性密度 (定理 1.1 与 推论 1.4)：存在一个 Zariski 开且稠密的子图式 $U \subseteq \mathbb{A}^{d-1}_{\mathbb{Z}}$，使得对于任何整数系数向量 $\vec{a} \in U(\mathbb{Q}) \cap \mathbb{Z}^{d-1}$，族 $C_{\vec{a}}$ 对于所有大于显式界限 $B(d, \vec{a})$ 的素数 $p$ 都是泛性平凡的。因此，对于此类泛性的 $\vec{a}$，平凡素集的自然密度为 1。
• 有限域上的一致局部 (定理 1.2)：对于任何素数 $p \ge 2d-1$，系数空间中泛性平凡族的局部是 Zariski 开且稠密的。具体而言，它包含子图式 $U_{k_p, \mathbb{F}_p}$，其中 $k_p$ 是 $p \pmod d$ 的剩余类。
• 针对 $p \equiv 1 \pmod d$ 的强结果 (定理 1.3)：对于素数 $p \equiv 1 \pmod d$，条件更为严格：每一个 系数向量 $\vec{a} \in \mathbb{F}_p^{d-1}$ 都会产生一个泛性平凡族。在这种情况下，平凡局部即为整个系数空间 $\mathbb{A}^{d-1}_{\mathbb{F}_p}$。
• 任意向量的密度 (定理 1.5)：对于任意整数系数向量 $\vec{a}$（不一定在泛性开集中），$C_{\vec{a}}$ 在 $\mathbb{Q}(\vec{a})(t)$ 上的平凡素集的自然下界至少为 $1/[L:F]$，其中 $F=\mathbb{Q}(\vec{a})$ 且 $L=F(\zeta_d)$。在基扩充至 $L(t)$ 后，该密度变为 1。

意义与主张
本文声称建立了一个关于超椭圆族在整个系数空间内平凡性的统一理论，而非仅针对孤立的例子。

• 统一性：不同于以往提供依赖于特定系数的界限的研究，本文在系数空间本身确定了一个统一的线性阈值 ($p \ge 2d-1$) (定理 1.2)。
• 普遍性：它解决了泛性平凡族在多项式系数模空间中分布有多常见的疑问，证明了它们构成了一个稠密开集。
• 算术密度：它为这些族的平凡素数提供了一个定量度量（自然密度），并将该密度与系数生成的分圆扩张次数联系起来。

作者指出，虽然对于固定的特化，其界限 $B(d, \vec{a})$ 会取决于具体的向量（由于行列式多项式的范数），但开且稠密集 $U$ 的存在确保了“大多数”族在足够大的素数下表现良好。这项工作依赖于 Hasse–Witt 行列式及其首项系数的显式构造，架起了代数几何与算术统计之间的桥梁。