[论文解读] Perfect points on genus one curves and consequences for supersingular K3 surfaces

Daniel Bragg, Max Lieblich|arXiv (Cornell University)|Apr 9, 2019

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

一句话总结

该论文证明，对于特征 ≥5 的非常一般超奇异 K3 曲面，若其椭圆纤维化没有有理截面，则不存在纯粹不可分多节。利用上同调上的 Frobenius 作用与 Weierstrass 模型中的奇异纤维配置，作者证明了 Artin 不变量为 8、9 或 10 时，此类多节不可能存在，从而对函数域的完美闭包上的有理点施加了强限制。

ABSTRACT

We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces.

研究动机与目标

• 确定函数域上的椭圆曲线何时在完美闭包上具有点，特别是在超奇异 K3 曲面的背景下。
• 解决超奇异 K3 曲面的椭圆纤维化上纯粹不可分多节的存在性问题。
• 建立一个基于 H²(O_J) 上 Frobenius 拉回的上同调准则，以检测此类多节的缺失。
• 证明对于非常一般的超奇异 K3 曲面，纯粹不可分多节的存在蕴含了有理截面的存在，从而将算术结构与几何结构联系起来。

提出的方法

• 使用 Artin–Tate 家族参数化与非雅可比椭圆纤维化相关的 Brauer 类的形变。
• 分析 Frobenius 在 Brauer 类切空间上的作用，将其识别为雅可比纤维化上 H²(O_J) 上的拉回。
• 应用基于奇异纤维类型（通过 Tate 算法）的准则，以确定上同调上的 Frobenius 拉回何时为单射。
• 构造具有指定 Kodaira 纤维类型的显式 Weierstrass 模型，以验证单射性条件并排除多节的存在。
• 利用 Weierstrass 数据的模空间来界定存在纯粹不可分多节的子簇的维数。
• 利用非 ∞-Frobenius 分裂子簇，证明一般纤维化不具有此类多节。

实验结果

研究问题

• RQ1 在什么条件下，函数域 k(t) 上的椭圆曲线会在完美闭包 k(t)perf 上具有点？
• RQ2 在特征 ≥5 的超奇异 K3 曲面的椭圆纤维化上，纯粹不可分多节是否可能存在？
• RQ3 对于非常一般的超奇异 K3 曲面，纯粹不可分多节的存在是否等价于有理截面的存在？
• RQ4 Weierstrass 模型中的奇异纤维配置如何影响 H²(O_J) 上 Frobenius 拉回的单射性？
• RQ5 存在纯粹不可分多节的 Weierstrass 模型的子簇的维数是多少？

主要发现

• 对于 Artin 不变量为 8、9 或 10 的非常一般超奇异 K3 曲面，纯粹不可分多节存在当且仅当有理截面存在。
• 在 Artin 不变量为 10 的非常一般超奇异 K3 曲面上，任何椭圆纤维化均不具有纯粹不可分多节，原因在于缺乏有理截面。
• 当奇异纤维配置包含多个 III、IV 或 I_n^* 纤维时，H²(O_J) 上的 Frobenius 拉回是单射的，这阻止了 Brauer 类的消失。
• 通过具有特定纤维类型组合的 Weierstrass 模型，构造了不具有纯粹不可分多节的超奇异 K3 曲面的显式例子。
• 存在纯粹不可分多节的 Weierstrass 数据子簇在模空间中的余维数 ≥1，意味着一般情况下不存在此类多节。
• WD^{-2} 中的非 ∞-Frobenius 分裂子簇非空，并包含 Frobenius 拉回无法分裂的配置，支持了不存在性结果。