[论文解读] Supersingular K3 Surfaces are Unirational

Christian Liedtke|arXiv (Cornell University)|Apr 20, 2013

Algebraic Geometry and Number Theory参考文献 27被引用 10

一句话总结

本文证明了在特征 $p \geq 5$ 下的 supersingular K3 曲面是 unirational 的，方法是通过建立它们之间通过 purely inseparable 有理映射的联系，从而证实了 Artin、Rudakov、Shafarevich 和 Shioda 长期以来的猜想。关键创新在于一个结构定理，表明所有此类曲面彼此之间都是 purely inseparably 同源的，且刚性化 K3 晶体的模空间被实现为 $\mathbb{F}_{p^2}$ 上的迭代 $\mathbb{P}^1$-丛，这为 unirationality 论证提供了基础。

ABSTRACT

We show that supersingular K3 surfaces in characteristic $p\geq5$ are related sequences of very special correspondences. This is not enough to conclude that they are unirational. As a byproduct, we exhibit a fibration structure on the moduli space of rigidified K3 crystals. We also establish Shioda-Inose type isogeny theorems for K3 surfaces with Picard rank $ρ\geq19$ in positive characteristic.

研究动机与目标

• 解决长期存在的猜想：在正特征下 supersingular K3 曲面是 unirational 的。
• 建立类似于 singular K3 曲面的 Shioda–Inose 定理的 supersingular K3 曲面结构定理。
• 将刚性化 K3 晶体的模空间描述为 $\mathbb{F}_{p^2}$ 上的迭代 $\mathbb{P}^1$-丛，为同源关系提供几何框架。
• 将 Shioda–Inose 类型的同源定理推广至正特征下 Picard 秩 $\rho \geq 19$ 的 K3 曲面。
• 阐明 purely inseparable 同源关系、Artin 不变量与上同调性质（如无超越循环）之间的关系。

提出的方法

• 在 supersingular K3 曲面上构造椭圆纤维化族的移动 torsor，将纤维化变形为 Artin 不变量更高的单参数族。
• 利用这些族在不同 Artin 不变量的 supersingular K3 曲面之间诱导 purely inseparable 有理映射。
• 证明 $\mathcal{M}_{N_+}$（$N_+$-刚性化 K3 晶体的模空间）到 $\mathcal{M}_N$ 的映射是满射，且其几何一般纤维同构于 $\mathbb{P}^1$。
• 证明映射 $\varpi_N$ 的几何一般纤维的正规化同构于 $\mathbb{P}^1$，即使该纤维是奇异的。
• 应用变形理论和 $p$-进 Hodge 理论分析 K3 晶体及其刚性化在同源关系下的行为。
• 利用 K3 曲面 Tate 猜想的最新进展，将 supersingular K3 曲面表征为具有平凡超越上同调的曲面。

实验结果

研究问题

• RQ1 所有特征 $p \geq 5$ 下的 supersingular K3 曲面是否都是 unirational 的？
• RQ2 supersingular K3 曲面能否通过 purely inseparable 有理映射相互关联？若是，此类映射的次数是多少？
• RQ3 刚性化 K3 晶体的模空间结构如何？能否将其描述为 $\mathbb{F}_{p^2}$ 上的纤维化？
• RQ4 Shioda–Inose 类型同源定理在正特征下对 $\rho \geq 19$ 的 K3 曲面在多大程度上成立？
• RQ5 从 $\mathcal{M}_{N_+}$ 到 $\mathcal{M}_N$ 的映射 $\varpi_N$ 的一般纤维的几何性质是什么？它在何时是光滑的？

主要发现

• 在特征 $p \geq 5$ 下的 supersingular K3 曲面是 unirational 的，证实了 Artin、Rudakov、Shafarevich 和 Shioda 的猜想。
• 所有 supersingular K3 曲面彼此之间都是 purely inseparably 同源的，任意两者之间存在次数为 $p^{2\sigma_0 + 2\sigma_0' - 4}$ 的支配有理映射。
• 刚性化 K3 晶体的模空间 $\mathcal{M}_N$ 是 $\mathbb{F}_{p^2}$ 上的迭代 $\mathbb{P}^1$-丛，且存在一个满射 $\varpi_N: \mathcal{M}_{N_+} \to \mathcal{M}_N$，其几何一般纤维同构于 $\mathbb{P}^1$。
• 当 Artin 不变量 $\sigma_0 = 3$ 时，模空间 $\mathcal{M}_N$ 在几何上由 $\mathbb{P}^3$ 中的 Fermat 高次曲面（次数为 $p+1$）的两个副本组成，且 $\varpi_N$ 来自通过一条直线的平面族，其几何一般纤维为奇异的有理曲线。
• $\varpi_N$ 在几何点上定义，并诱导出具有 $\mathbb{P}^1$-型纤维的纤维化，尽管它可能不是一般光滑的。
• 模空间的结构解释了为何 supersingular K3 曲面构成 9 维族，而 singular K3 曲面由于可分同源关系无法变形，因此无模空间。