野性情形下超椭圆曲线的簇与半稳定模型

给定一条完备离散赋值域 $K$（其剩余域代数闭）上光滑射影几何连通曲线的一个伽罗瓦覆盖 $Y \to X$，我们定义 $Y$ 在 $K$ 的某个有限扩张的整数环上的一个半稳定模型，称之为 $Y$ 的相对稳定模型 $\mathcal{Y}^{\mathrm{rst}}$，并讨论其性质。我们聚焦于 $Y : y^2 = f(x)$ 为超椭圆曲线的情况，将其视为射影直线 $X := \mathbb{P}_K^1$ 的一个 $2$ 次覆盖，并给出计算相对稳定模型的一种实用方法。在剩余特征 $p \neq 2$ 的情形下，特殊纤维 $(\mathcal{Y}^{\mathrm{rst}})_s$ 的分支恰好对应于定义多项式 $f$ 的根的非单点簇，即相对于分裂域上诱导的离散赋值，彼此之间比与其他根更靠近的 $f$ 的根的子集；然而这种关系在 $p=2$ 的情形下远非直截了当，而后者正是我们的主要关注点（尽管如此，我们引入的技术也使我们能够重新得到 $p\neq 2$ 情形下已知但更简单的结论）。我们证明，当 $p = 2$ 时，对于每一个含有偶数个 $f$ 的根的簇，有 $0$、$1$ 或 $2$ 个 $(\mathcal{Y}^{\mathrm{rst}})_s$ 的分支与之对应，并给出寻找与描述这些分支的直接方法。我们还定义一个多项式 $F(T) \in K[T]$，其根可用于找出那些不与偶基数簇相连通的 $(\mathcal{Y}^{\mathrm{rst}})_s$ 的分支。