[论文解读] Elliptic K3 surfaces with p^n-torsion sections

Hiroyuki Ito, Christian Liedtke|arXiv (Cornell University)|Feb 28, 2010

Algebraic Geometry and Number Theory参考文献 23被引用 4

一句话总结

本文在正特征 $p$ 下对具有 $p^n$- torsion 截面的椭圆 K3 曲面进行分类，证明当 $p^n \geq 3$ 时，此类曲面仅在 $p^n \leq 8$ 时存在，并建立了无理化、超奇异性和从有理椭圆曲面通过 Frobenius 拉回的等价性。本文验证了该类曲面的 Artin 与 Shioda 猜想，并显式计算了形式 Brauer 群高度、Artin 不变量和 Mordell–Weil 群。

ABSTRACT

We classify elliptic K3 surfaces in characteristic $p$ with $p^n$-torsion sections. For $p^n\geq3$ we verify conjectures of Artin and Shioda, compute the heights of their formal Brauer groups, as well as Artin invariants and Mordell--Weil groups in the supersingular cases.

研究动机与目标

• 对在正特征 $p$ 下具有 $p^n$- torsion 截面的椭圆 K3 曲面进行分类。
• 验证当 $p^n \geq 3$ 时，Artin 与 Shioda 猜想对具有 $p^n$- torsion 截面的椭圆 K3 曲面成立。
• 在超奇异情形下显式计算形式 Brauer 群高度、Artin 不变量和 Mordell–Weil 群。
• 确定此类纤维化作为有理椭圆曲面 Frobenius 拉回的精确条件。

提出的方法

• 利用 Igusa 模函函子和 Igusa 曲线 $\mathrm{Ig}(p^n)^{\mathrm{ord}}$ 参数化具有 $p^n$- torsion 截面的普通椭圆曲线。
• 应用 [L-S08] 中关于在尖点和超奇异点集上 Néron 模型的结果，以构造并分类纤维化。
• 在特征 $p=3$ 和 $p=2$ 下，分别利用 $E_8^2$- 和 $E_8^4$-奇点的半普遍形变，构造 K3 曲面族。
• 分析 $p$- torsion 截面的平移作用作为野生 $p$-循环自同构，计算其在坏纤维中的不动点集。
• 通过关联态射 $\varphi$ 的次数与分歧性，利用显式 Weierstrass 方程和奇点类型（如 $I_1^*, III_1, I_8, I_{16}$）对纤维化进行分类。
• 应用形式 Brauer 群与 Artin 不变量的理论，以区分普通情形（$h=1$）与超奇异情形（$h=\infty$）。

实验结果

研究问题

• RQ1 在特征 $p$ 下，哪些 $p^n$ 使得具有 $p^n$- torsion 截面的椭圆 K3 曲面存在？
• RQ2 何时 K3 曲面上的椭圆纤维化可作为有理椭圆曲面的 Frobenius 拉回？
• RQ3 Artin 不变量与形式 Brauer 群高度如何与这些纤维化中的奇点配置相关联？
• RQ4 这些纤维化的 Mordell–Weil 群结构如何？其随 $p^n$ 如何变化？
• RQ5 当 $p^n \geq 3$ 时，Artin 与 Shioda 猜想是否对具有 $p^n$- torsion 截面的椭圆 K3 曲面成立？

主要发现

• 在特征 $p$ 下，具有 $p^n$- torsion 截面的椭圆 K3 曲面仅当 $p^n \leq 8$ 时存在；且当 $p^n \geq 3$ 时，此类纤维化仅在 $j$-不变量为常数时存在。
• 当 $p^n \geq 3$ 时，以下四者等价：(1) 纤维化是来自有理椭圆曲面的 Frobenius 拉回，(2) 曲面是无理化的，(3) 曲面是超奇异的，(4) 纤维化恰好有一个加性纤维。
• 形式 Brauer 群高度为 $1$（普通情形）当且仅当存在两个加性纤维；为 $\infty$（超奇异情形）当且仅当恰好存在一个加性纤维。
• 具有 $p^n$- torsion 截面的超奇异 K3 曲面的 Artin 不变量 $\sigma_0$ 满足 $\sigma_0 \leq \sigma_0(p^n)$，其中 $\sigma_0(8)=1$，$\sigma_0(7)=1$，$\sigma_0(5)=2$，$\sigma_0(4)=3$，$\sigma_0(3)=6$。
• 当 $p^n \geq 7$ 时，恰好存在一个此类 K3 曲面，且其为超奇异的；当 $p^n \leq 5$ 时，一般情形下该曲面为普通情形。
• 显式计算了 Weierstrass 方程与 Mordell–Weil 群，其中某些情形下 $\mathrm{MW}(X)$ 同构于 $D_4^*(2) \oplus \mathbb{Z}/4\mathbb{Z}$，而在极值情形下为平凡群。