The minimum genus of Galois covers of curves

技术摘要：伽罗瓦覆盖曲线的最小亏格

问题陈述
本文研究了在正特征 $p$ 的代数封闭域 $k$ 上，确定光滑射影连通曲线的伽罗瓦覆盖（Galois covers）的最小亏格的问题。具体而言，作者研究了 $\Gamma$-覆盖 $W \to X$ 的存在性及其最小亏格，其中 $\Gamma$ 是一个由初等阿贝尔 $l$-群 $H \cong (\mathbb{Z}/l\mathbb{Z})^n$ 与循环 $p$-群 $G \cong \mathbb{Z}/p^a\mathbb{Z}$ 构成的有限群扩张，且该覆盖在有限闭点集 $S_X \subset X$ 之外是乙的（étale）。

本研究的动机在于研究乙基本群 $\pi_1^{\text{ét}}(X \setminus S_X)$ 的结构。虽然 Abhyankar 猜想（由 Raynaud 和 Harbater 证明）刻画了哪些有限群可以作为该基本群的商，但它并未完全描述有限商的逆系统。给定一个 $G$-覆盖 $V \to X$，作者试图刻画那些支配 $V$ 的 $\Gamma$-覆盖 $W \to X$，并确定此类覆盖的最小可能亏格。这扩展了以往关于交替群或特定半直积群的研究，在以往的研究中，作用方式是固定或受限的。

方法论
作者结合了代数几何、表示论和组合优化方法：

1. 挠点的模结构： 方法论的核心在于分析中间覆盖 $V$ 的 Picard 群的 $l$-挠子群，记作 $Pl(V \setminus S_V)$，其中 $S_V$ 是 $S_X$ 的原像。该群是一个右 $G$-模。作者利用该模在 $\mathbb{F}_l$ 上作为不可约 $G$-表示的分解来进行研究。
2. 伽罗瓦对应： 基于先前的研究结果（特别是 [13]），本文建立了 $V$ 的 $H$-覆盖（构成 $X$ 的 $\Gamma$-覆盖）与同构于 $H$ 的 $Pl(V \setminus S_V)$ 的 $G$-稳定子模之间的双射。
3. 分解定理： 作者推导了 $Pl(V \setminus S_V)$ 到不可约分量的显式分解。他们区分了来自度为零的 Picard 群的部分 $Pic^0(V)[l]$ 以及来自分歧除子的部分 $Pram(S_V, l)$。$Pram(S_V, l)$ 的结构由基于 $G$-覆盖 $V \to X$ 分歧指数的 $S_X$ 分歧处层化（stratification）决定。
4. 通过线性规划进行优化： 为了寻找最小亏格，该问题被简化为一个整数线性规划问题。覆盖 $W$ 的亏格是 $H$-覆盖 $W \to V$ 中分歧点数量的函数。最小化亏格等价于在满足由商 $H/H'$（其中 $H'$ 是可嵌入到 $Pic^0(V)[l]$ 中的 $H$ 的极大子模）中不可约表示的重数所施加的约束条件下，最小化加权分歧点之和。

主要贡献与结果

• 最小亏格的一般公式（定理 1.1）： 本文提供了一种计算支配固定 $G$-覆盖 $V$ 的 $\Gamma$-覆盖最小亏格 $g$ 的方法。该方法被表述为一个整数线性规划问题：

  • 目标： 最小化 $\sum_{s=0}^a p^s y_s$，其中 $y_s$ 代表具有特定分歧性质的 $S_X$ 中的分歧点数量。
  • 约束： 变量 $y_s$ 受限于 $S_X$ 中可用点的数量，并且必须满足由商 $H/H'$ 中不可约 $G$-模的重数（$M_{s,t}$）导出的不等式。
  • 亏格公式： 一旦找到目标函数的最小值 $c_{\min}$，最小亏格由下式给出：
    $$g = 2 + l^n(2g_V - 2) + \frac{l^{n-1}(l-1)c_{\min}}{2}$$
    通过考虑任意作用 $\theta: G \to \text{Aut}(H)$ 以及变化的 $V$ 的分歧结构，该公式实现了泛化。

• 特定情形与显式公式：

  • 定理 4.2： 将一般结果特化到分歧处完全由全分歧点（totally ramified points）或恰有 $p$ 个原像的点组成的场合，从而为亏格方程中的常数 $c$ 提供了显式公式。
  • 定理 5.6 和 推论 5.7： 侧重于 $X = \mathbb{P}^1$ 且覆盖在 $\mathbb{A}^1$ 上是乙的（仅在无穷远点处有分歧）的情形。作者定义了分歧过滤中的上跳（upper jumps），并将它们与模 $H$ 的分解联系起来。他们提供了一种基于“上跳” $u_i$ 计算最小亏格的递归方法。

• 随作用变化的最小亏格（定理 1.2）： 一个重要的贡献是计算了在所有可能的群作用 $\theta: \mathbb{Z}/p^2\mathbb{Z} \to \text{Aut}((\mathbb{Z}/l\mathbb{Z})^n)$ 以及所有有效的 $n$ 下的最小亏格。对于 $a=2$，作者推导出了取决于 $l$ 在 $(\mathbb{Z}/p\mathbb{Z})^\times$ 和 $(\mathbb{Z}/p^2\mathbb{Z})^\times$ 中阶数的闭式表达式。

  • 如果 $d_1 = d_2$（阶相等），则当 $n=d_1$ 时达到最小值。
  • 如果 $d_1 < d_2$，则取决于 $p=2$ 还是 $p \neq 2$，从而产生特定的常数（若 $p=2$ 则为 $15$，若$p \neq 2$则为$2p^2+2$）。

意义与主张
本文声称提供了一种系统且算法化的方法，用于解决具有特定半直积结构的伽罗瓦覆盖的“嵌入问题”（embedding problem）。通过将 $l$-挠部分分解为不可约 $G$-模，作者将一个几何问题（寻找具有最小亏格的覆盖）转化为一个组合优化问题。

其意义在于：

1. 泛化性： 它将已知的最小亏格覆盖结果（例如 [5] 中针对 $a=1$ 的情况）扩展到了更高 $p$-幂循环群（$a \geq 2$）以及任意作用的情况。
2. 完备性： 它处理了群作用 $\theta$ 不固定而是变化的场景，确定了在群类 $(\mathbb{Z}/l\mathbb{Z})^n \rtimes \mathbb{Z}/p^a\mathbb{Z}$ 中可实现的绝对最小亏格。
3. 显式计算： 本文提供了具体的公式和线性规划约束，使得能够显式计算这些最小亏格，而不仅仅是证明其存在性。

作者指出，其结果将早期的发现（例如 [5, 定理 4.2 和 4.3]）作为特例回收，并为理解正特征下仿射曲线的乙基本群的有限商逆系统提供了一个框架。