The $p$-rank stratification of the moduli space of double covers of a fixed elliptic curve

这是一份关于论文《The p-rank stratification of the moduli space of double covers of a fixed elliptic curve》（固定椭圆曲线双覆盖模空间的 p-秩分层）的详细技术总结。

1. 研究背景与问题 (Problem)

在特征 $p > 2$ 的代数闭域 $k$ 上，阿贝尔簇和曲线具有多个重要的离散不变量，如 p-秩 (p-rank) 和牛顿多边形。p-秩定义为 $f_A = \dim(\text{Hom}(\mu_p, A))$，满足 $0 \le f_A \le \dim(A)$。对于曲线，其 p-秩定义为其雅可比簇的 p-秩。

• 核心问题：研究固定椭圆曲线 $E$ 的双覆盖 (double covers) 模空间 $B_{E,g}$ 的 p-秩分层结构。
• 具体目标：
  1. 确定 $B_{E,g}$ 中闭 p-秩层（即 p-秩 $\le f$ 的轨迹）的维数。
  2. 验证这些闭层是否是纯的 (pure)（即所有不可约分支具有相同的维数）以及是否具有预期的余维数。
  3. 确定在该模空间上是否存在具有特定 p-秩的光滑双覆盖曲线。
• 相关背景：已知对于一般曲线模空间 $M_g$ 和超椭圆曲线模空间 $H_g$，其 p-秩分层是纯的且具有预期维数。然而，对于固定底曲线（特别是椭圆曲线）的双覆盖，其几何结构更为复杂，且涉及分支点与底曲线自同构群的相互作用。

2. 方法论 (Methodology)

作者采用了几何模空间理论与归纳法相结合的策略，主要步骤如下：

2.1 模空间的构造与边界分析

• 构造稳定映射栈：为了处理 $B_{E,g}$ 的边界，作者引入了 Deligne-Mumford 栈 $\mathcal{M}_{E,g;n}$，参数化从亏格 $g$ 的节点曲线 $D$ 到固定椭圆曲线 $E$（或其退化形式）的容许双覆盖 (admissible double covers)。
  • 源曲线 $C$ 包含一个与 $E$ 同构的分量，其余分量为 $\mathbb{P}^1$ 的拷贝。
  • 覆盖 $D \to C$ 是 $\mathbb{Z}/2\mathbb{Z}$-覆盖，允许在节点处分支。
• 边界描述：利用握手映射 (clutching morphisms) 描述了 $\mathcal{M}_{E,g}$ 的边界。边界由两类构成：
  1. 非分支握手 ($\Xi$)：在节点处未分支，源曲线由 $E$ 和超椭圆曲线通过节点连接。
  2. 分支握手 ($\Delta$)：在节点处分支，源曲线由 $E$ 和超椭圆曲线在分支点处连接。
• 约化模空间：为了消除 $E$ 的自同构（平移）带来的冗余，定义了约化模空间 $\mathcal{M}^{\text{red}}_{E,g}$，即分支点在 $E$ 上的和为恒等元 $O_E$ 的覆盖。证明了从 $\mathcal{M}^{\text{red}}_{E,g}$ 到 $M_g$ 的遗忘映射在光滑点上是拟有限的 (quasi-finite)。

2.2 维数计算与纯性证明

• 归纳法策略：利用 $g=2$ 的基础情况，通过归纳假设 $g' < g$ 时的结论来推导 $g$ 的情况。
• 纯性定理的应用：引用 Faber-van der Geer 和 de Jong-Oort 的纯性定理（Purity Theorem），该定理指出 p-秩分层在不可约概形上是纯的，且闭层 $V_f$ 的余维数至少为 1（如果非空）。
• 边界维数比较：
  • 计算边界分量（握手曲线）的 p-秩层维数。
  • 通过比较光滑曲线层与边界层的维数，证明光滑曲线层在 $V_f(B_{E,g})$ 中是稠密的（在 $E$ 为普通椭圆曲线时），或者确定边界层如何主导维数（在 $E$ 为超奇异椭圆曲线时）。
• Torelli 映射：在 $f_E=0$（超奇异）的复杂情况下，利用 Torelli 映射 $j: M_g \to \tilde{A}_g$ 的性质，通过反证法排除存在完全由奇异曲线组成的不可约分支的可能性（除非特定情况）。

2.3 显式构造

• 利用纤维积 (fiber product) 构造具体的双覆盖曲线。
• 通过控制超椭圆曲线 $H$ 的 Hasse-Witt 矩阵（即控制其 p-秩），结合椭圆曲线 $E$，构造出具有低 p-秩的光滑双覆盖 $D$。
• 利用 $Jac(D)$的分解（同构于$Jac(E) \oplus Jac(H) \oplus Jac(H')$）来估算$D$ 的 p-秩。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主定理 (Theorem 1.1)

对于 $g \ge 2$ 和 $p > 2$，设 $E$ 的 p-秩为 $f_E$（$0$或$1$）：

• 纯性与维数：$B_{E,g}$ 中 p-秩 $\le f$ 的闭层 $V_f(B_{E,g})$ 是纯的 (pure)，且其维数为：
  $$\dim V_f(B_{E,g}) = g - 2 + f - f_E$$
  其中 $f_E \le f \le g - 1 + f_E$。
• 推论：对于双椭圆曲线模空间 $B_g$（所有双覆盖的并集），$V_f(B_g)$ 是纯的，维数为 $g - 2 + f$（对于 $0 \le f \le g$）。

3.2 光滑曲线的存在性 (Corollary 1.2)

• 普通椭圆曲线 ($f_E=1$)：对于任意 $1 \le f \le g$，存在光滑双椭圆曲线 $C$，其 p-秩为 $f$。
• 超奇异椭圆曲线 ($f_E=0$)：
  • 对于 $0 \le f \le g$，存在光滑双椭圆曲线 $C$ 使得 $f_C = f$，例外情况是 $(p, g, f) = (3, 2, 0)$（即特征 3 下不存在 p-秩为 0 的光滑亏格 2 双覆盖）。
  • 对于 $0 \le f \le g-2$，存在 $V_f(B_g)$ 的一个不可约分支，完全由奇异曲线组成（这些曲线是 $E$ 与超椭圆曲线的握手）。

3.3 超奇异双覆盖的应用

• 研究了 $g=4$ 时超奇异双覆盖的存在性。证明了 $V_0(B_{E,4})$ 的维数为 2，而 $M_4$ 中超奇异曲线的期望维数为 3 或 4。这意味着 $M_4$ 中超奇异曲线的通用点不是固定椭圆曲线的双覆盖。
• 对于 $g=5$，构造了具体的超奇异双覆盖族，并讨论了其牛顿多边形的可能性。

3.4 显式构造 (Section 5)

• 构造了具有小 p-秩的光滑双覆盖族 $D_t$。
• 通过选择特定的超椭圆曲线 $H$（如 $z^2 = x^n - t^n$），利用 $p \equiv -1 \pmod n$ 等条件，使得 $H$ 的 p-秩为 0 或很小，从而控制 $D$ 的 p-秩。
• 给出了 $f_D$ 的上界估计，例如在特定条件下 $f_D \le \lceil g/2 \rceil + f_E$。

4. 意义与影响 (Significance)

1. 完善模空间分层理论：该论文将 p-秩分层的纯性结果从一般曲线模空间 $M_g$ 推广到了具有特定几何结构（固定底椭圆曲线的双覆盖）的模空间，填补了该领域的理论空白。
2. 解决存在性问题：明确回答了在给定 p-秩下是否存在光滑双椭圆曲线的问题，特别是处理了特征 $p=3$ 和 $g=2$ 的特殊反例，以及超奇异情况下的存在性。
3. Oort 猜想的关联：结果与 Oort 猜想（关于超奇异阿贝尔簇的自同构群）密切相关。通过研究 $B_4$ 的 p-秩 0 层，为理解超奇异曲线的自同构群提供了新的几何视角。
4. 算术几何应用：对于研究特征 $p$ 下曲线的算术性质（如超奇异曲线的存在性、牛顿多边形分布）提供了具体的构造方法和维数界限。
5. 技术突破：通过引入约化模空间 $\mathcal{M}^{\text{red}}_{E,g}$ 和精细的边界握手分析，成功处理了模空间非有限态射带来的技术困难，为研究其他类型的覆盖模空间提供了范例。

总结

这篇文章通过严谨的模空间几何分析、归纳法论证以及显式构造，完全刻画了固定椭圆曲线双覆盖模空间的 p-秩分层结构。它不仅证明了闭层的纯性和预期维数，还精确描述了光滑曲线与奇异曲线在这些层中的分布，解决了长期存在的存在性问题，并为超奇异曲线的研究提供了重要工具。