Superelliptic degree sets over Henselian fields

技术摘要：Henselian 域上的超椭圆度集

问题陈述
本文研究了确定定义在离散赋值 Henselian 域 $K$ 上的簇 $V$ 的度集 $D(V/K)$ 的问题。度集被定义为 $V$ 上闭点剩余域的次数集合。虽然指数 $\text{ind}(V/K)$（度集的最大公约数）通常可以从模型的特殊纤维中计算得出，但完整的度集可能更为复杂。具体而言，Creutz 和 Viray [CV25] 证明了在 $p$ 进域上，曲线的度集可能会排除其指数的无穷多个倍数，这种现象在有限生成域上并不发生。作者研究了这种“非余有限”（non-cofinite）行为在素数次数 $q$ 的超椭圆曲线 $C/K$（即允许循环覆盖 $C \to \mathbb{P}^1$ 次数为 $q$ 的曲线）中的情况，这类曲线与形如 $y^q = F(x)$ 的仿射曲线双有理等价。

方法论
作者结合了赋值理论、簇分析（cluster analysis）以及 Henselian 域的性质来刻画度集。

1. 簇理论： 遵循 [DDMM19]，通过“簇”（roots of $F(x)$ 的子集，这些子集包含在开圆盘内）对 $F(x)$ 的根进行分析。Galois 群 $\text{Gal}(K^{\text{sep}}/K)$ 作用于这些簇上。
2. 赋值公式： 一个核心工具是引理 3.4，它提供了一个显式公式，用于计算任何 $x_0 \in K$ 的赋值 $v(F(x_0))$，该公式基于最近的簇 $s$。公式为 $v(F(x_0)) = |s| \cdot v(x_0 - \alpha) + c_s$，其中 $|s|$ 是簇的大小，$c_s$ 是由根导出的可计算常数。
3. Galois 不变簇： 在假设剩余域是代数封闭且根是缓增（tamely ramified）的情况下，引理 4.2 确立了任何 Galois 不变簇 $s$ 在 $K$ 中存在一个“中心” $\gamma_s$。这使得作者能够定义赋值行为一致的区域 $X_s$。
4. 阻碍与构造： 证明策略包含两个方向：
   • 阻碍（引理 5.1）： 利用赋值公式，作者推导出了在特定次数 $r$（其中 $q \nmid r$）的点不存在时的模算术条件。如果关于 $|s|, c_s$ 和 $v(F(\gamma_s))$ 的某些条件满足，则特定次数 $r$ 的点会被阻碍。
   • 存在性（引理 5.5）： 相反，如果阻碍条件不满足，作者利用 Hensel 引理和 Newton 多边形论证，在特定区域 $X_s$ 内构造出任意大次数 $r$（满足 $\gcd(r, q)=1$）的点。

主要贡献与结果
本文提供了完整的特征化方法，用于判定超椭圆曲线的度集何时不是余有限的（即缺失其指数的无穷多个倍数）。

• 定理 1.1： 假设剩余域是代数封闭且为缓增情形，度集 $D(C/K)$ 不是余有限的，当且仅当 $v(F(0)) \not\equiv 0 \pmod q$ 且对于每一个 Galois 不变簇 $s$：

  1. $|s| \equiv 0 \pmod q$ 且 $c_s \not\equiv 0 \pmod q$；
  2. 如果中心 $\gamma_s$ 位于区域 $X_s$ 内，则 $v(F(\gamma_s)) \not\equiv 0 \pmod q$。
     当这些条件成立时，度集包含在 $q\mathbb{N} \cup \bigcup_{s \text{ 不是 Galois 不变}} |O(s)|\mathbb{N}$ 中。

• 定理 1.2： 作者展示了这些度集的灵活性。对于任何素数 $q \neq p$ 以及任何正整数序列 $n_1, \dots, n_\ell$，都存在一条超椭圆曲线 $C/K$，使得 $D(C/K) = q\mathbb{N} \cup n_1\mathbb{N} \cup \dots \cup n_\ell\mathbb{N}$。作为推论，对于任何一对奇素数 $p$ 和 $q$，都存在一条曲线使得 $D(C/K) = p\mathbb{N} \cup q\mathbb{N}$，这表明度集的密度可以任意小。

• 计算方法： 本文提供了一种使用簇图表以及可计算量 $c_s$ 和 $\gamma_s$ 来计算度集的实用方法（例 6.1，这些量可通过根的手算得出）。

意义与主张
作者声称，其工作完整地刻画了 Henselian 域上素数次数超椭圆曲线度集呈现非余有限现象的机制。

• 理论洞察： 结果将度集的算术性质直接与定义多项式的根（簇）及其赋值的组合结构联系起来，而非仅仅依赖于特殊纤维的几何性质。
• 独立于正则模型： 本文指出，虽然之前的研究 [CV25] 依赖于具有严格正交交叉的正则模型，但此处的方法即使在曲线不是 $\Delta_v$-正则的情况下也能计算度集（注 6.2），而在这种情况下，现有的特殊纤维算法可能无法产生正则模型。
• 工具的独立性： 引理 3.4（将多项式的赋值与最近簇联系起来）被认为具有潜在的独立研究价值。

本文得出结论，对于所研究的曲线类，度集完全由定义多项式 $F(x)$ 的簇数据决定，这提供了一个具体的算法来确定度集是否为余有限，如果不是，则确定缺失哪些指数的倍数。