Simply branched covers of curves and wild conductor exponents

技术摘要：曲线的简单分支覆盖与野性传导指数

问题陈述
本文研究了 $p$ 进域上曲线覆盖的算术几何。具体而言，旨在建立一个关于“简单分支是覆盖的泛型性质”这一经典原理的算术模拟。在复数域上，任何曲线的覆盖都可以被扰动为简单分支覆盖（即每个分歧点指数为 2，且没有任何纤维包含超过一个分歧点）。作者旨在证明，对于 $p$ 进域 $K$ 上的光滑、射影、几何连通曲线的覆盖 $\pi: C \to D$，可以找到一个在 $p$ 进意义下靠近 $\pi$ 的覆盖 $\pi': C' \to D$，使其为简单分支。

该结果的一个主要动机是计算野性传导指数（$n_{wild}$）。作者近期的工作 [18] 提供了一个基于简单分支覆盖分歧集的 $n_{wild}$ 公式。然而，该公式此前仅限于已经满足简单分支条件的覆盖，或者需要针对特定的平面曲线进行特例处理。本研究的目标是移除这些“简单分支”的假设，通过将覆盖扰动为简单分支情形，从而实现对任意覆盖的 $n_{wild}$ 计算。

方法论
本文结合使用形变理论与 $p$ 进逼近技术。其核心策略受 Schröer [16] 的启发，包含以下步骤：

1. 迭代提升（Iterative Lifting）： 作者将给定的覆盖 $\pi: C \to D$ 提升为 $K[[t]]$ 上的形式形变。这是通过在环 $K[t]/(t^{n+1})$ 上迭代提升覆盖来实现的。
   • 提升的障碍在于 $\text{Ext}^2(L^\bullet_{C/D}, \mathcal{O}_C)$，由于对于光滑曲线的覆盖，该项消失（命题 2.3）。
   • 一阶形变的集合是 $\text{Ext}^1(L^\bullet_{C/D}, \mathcal{O}_C)$ 的挠丛（torsor）。
2. 分歧分离（Separation of Ramification）： 为了确保形变的泛型纤维是简单分支的，作者构造了一个特定的一阶形变。通过分析分歧点的局部结构（引理 2.5），作者证明可以通过选择一个形变参数，使得：
   • 指数 $e \ge 3$ 的分歧点分裂为 $e-1$ 个不同的指数为 2 的点（引理 2.10）。
   • 位于同一纤维中的分歧点被分离到不同的纤维中。
   • 这是通过在形变空间的特定 Zariski 开集 $U$ 中选择一个形变类来实现的（引理 2.9）。
3. 代数化与下降（Algebraisation and Descent）： 利用 Grothendieck 的代数化定理 [6]，将 $K[[t]]$ 上的形式形变代数化为一个有限型方案上的态射。
4. $p$ 进逼近： 为了确保在简单分支区域内存在一个靠近原覆盖的 $K$ 有理点，作者应用了 Greenberg 逼近定理 [5]。这使得可以将形式解下降到参数空间 $T$ 原点附近的 $p$ 进邻域内的有理点。

关键结果

• 定理 1.1 (定理 2.7)： 令 $K/\mathbb{Q}_p$ 为有限扩张，$\pi: C \to D$ 为度数为 $d$ 的光滑、射影、几何连通曲线的覆盖。存在一个带有标记点 $0$的光滑、几何整的$K$-方案$T$，一个光滑射影曲线族$q_T: \mathcal{C} \to T$，以及一个有限平坦态射$\Pi_T: \mathcal{C} \to D \times_K T$，使得在$0$处的纤维为$\pi$。至关重要的是，使得纤维$\Pi_{T,t}$为简单分支的$t \in T(K)$ 的集合是 Zariski 开集，且每个 $0$的$p$进邻域都包含一个属于该简单分支区域的$K$-有理点。
• 命题 1.2 (命题 3.2)： 若目标为 $\mathbb{P}^1_K$ 且线丛 $L = \pi^*\mathcal{O}_{\mathbb{P}^1}(1)$ 是非常充分的，则源曲线 $C$ 本身可以保持不变。具体而言，在 Grassmann 流形 $\text{Gr}(2, H^0(C, L))$ 中，定义 $\pi$ 的丛的每一个 $p$ 进邻域都包含一个定义了简单分支覆盖 $C \to \mathbb{P}^1_K$ 的无基点丛。
• 推论 1.3： 对于 $K$ 上的曲线 $C$ 及覆盖 $\pi: C \to \mathbb{P}^1_K$，若 $\infty$ 不是分歧点，且 $p > \deg(\pi)$，则野性传导指数由下式给出：
  $$n_{wild}(C) = w_K(\pi) = \sum_{b \in B} \sum_{r \in \pi^{-1}(b)} (e_r - 1) \cdot (v_K(\Delta_{K(b)/K}) - [K(b):K] + f_{K(b)/K})$$
  该公式对任何覆盖 $\pi$ 都成立，而不仅仅是简单分支覆盖，因为 $\pi$ 可以被扰动为具有相同传导指数（由于在光滑族中传导指数的局部常数性）和相同 $w_K$ 值的简单分支覆盖 $\pi'$。

意义与主张
本文声称为 $p$ 进域上简单分支的“泛型性”提供了严谨的算术基础。其意义在于：

1. 推广： 它将之前的形变理论结果（通常假设为代数封闭域或特征 0）推广到了非代数封闭的 $p$ 进域。
2. 对传导指数的应用： 它移除了作者之前公式 [18] 中限制性的“简单分支”假设。这使得在 $p$ 足够大（相对于覆盖度数）的情况下，可以计算任意覆盖的 $n_{wild}$。
3. 固定源曲线的扰动： 它确立了在何种条件下（当拉回线丛是非常充分时），源曲线 $C$ 不需要发生形变，而只需扰动到 $\mathbb{P}^1$ 的映射。

作者指出，虽然证明策略使用了专家熟悉的技巧（形变理论、Grothendieck 代数化），但将其扩展到非代数封闭域以及将 $p$ 进逼近应用于此特定问题的做法，似乎是文献中的新贡献。这项工作并不声称解决了所有素数下的传导问题，而是专门针对满足扰动论证成立的素数 $p > \deg(\pi)$（或在有理亏格 $\gamma_{rat}$ 的背景下 $p > \gamma_{rat}$）的情况。