[论文解读] CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture

Kazuhiro Ito, Tetsushi Ito+1 more|arXiv (Cornell University)|Sep 25, 2018

Advanced Algebra and Geometry参考文献 26被引用 7

一句话总结

该论文证明，任何有限高度的 K3 曲面在有限域上均存在具有复乘法（CM）的特征 0 上升，方法是利用正交 Shimura 品种的积分典范模型以及 Kuga-Satake 映射。该结果结合 Mukai 与 Buskin 关于霍奇猜想的工作，证明了在任意特征（包括特征 2 和 3）下，任意 K3 曲面的平方上的 codimension-2 代数周期均满足 Tate 猜想。

ABSTRACT

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of K3 surfaces over finite fields. We prove every K3 surface of finite height over a finite field admits a characteristic 0 lifting whose generic fiber is a K3 surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a K3 surface over a finite field. To obtain these results, we construct an analogue of Kisin's algebraic group for a K3 surface of finite height, and construct characteristic 0 liftings of the K3 surface preserving the action of tori in the algebraic group. We obtain these results for K3 surfaces over finite fields of any characteristics, including those of characteristic 2 or 3.

研究动机与目标

• 建立有限高度 K3 曲面在有限域上存在特征 0 上升且具有复乘法（CM）的证明。
• 证明任意有限域上 K3 曲面的平方上 codimension-2 代数周期的 Tate 猜想。
• 将这些结果推广至所有特征，包括在技术上更具挑战性的特征 2 和 3。
• 为有限高度的 K3 曲面构造一个类似 Kisin 的代数群，并利用它来控制上升过程中的 Hodge 结构。
• 利用积分比较定理，修正特征 2 中 Kuga-Satake 映射的 étaleness 证明中的错误。

提出的方法

• 为每个定义在 $ \overline{\mathbb{F}}_q $ 上的拟极化工 K3 曲面，构造一个定义在 $ \mathbb{Q} $ 上的代数群 $ I $，其构造方式类似于 Kisin 对 Shimura 品种的构造。
• 对每个最大环 $ T \subset I $，构造一个保持 $ T(\mathbb{Q}) $ 在奇异上同调上作用的特征 0 上升，同时保持 $ \mathbb{Q} $-Hodge 结构。
• 利用正交 Shimura 品种的积分典范模型，确保 $ T(\mathbb{Q}) $ 在上同调上的作用是合理的。
• 应用 Bhatt-Morrow-Scholze 的积分比较定理，处理小特征（2 和 3）中的技术难题。
• 利用 Kuga-Satake 映射及其在特征 2 中经修正后的 étaleness 性质，结合正交 Shimura 品种上的 $ F $-晶体。
• 利用 $ T(\mathbb{Q}) $ 在一般纤维上的作用，通过 Mukai 与 Buskin 的霍奇猜想结果，证明每个元素均由 $ X \times X $ 上 codimension-2 的代数周期诱导。

实验结果

研究问题

• RQ1 每个有限高度的 K3 曲面在有限域上是否都存在具有复乘法的特征 0 上升？
• RQ2 是否可以证明所有有限域上 K3 曲面的平方上 codimension-2 代数周期的 Tate 猜想，而不受特征影响？
• RQ3 如何构造保持与曲面相关代数群中环作用的 K3 曲面的特征 0 上升？
• RQ4 正交 Shimura 品种的积分典范模型在控制上升过程中 Hodge 结构的合理性方面起什么作用？
• RQ5 如何利用现代 $ p $-进上同调工具，通过 $ F $-晶体和积分比较定理，修正特征 2 中 Kuga-Satake 映射的 étaleness 证明中的错误？

主要发现

• 每个有限高度的 K3 曲面在有限域 $ \mathbb{F}_q $ 上均存在一个特征 0 上升，其一般纤维具有复乘法，可能需要将 $ \mathbb{F}_q $ 替换为有限扩张。
• 对于任意有限域 $ \mathbb{F}_q $ 上的 K3 曲面 $ X $，其平方 $ X \times X $ 上 codimension-2 代数周期的 Tate 猜想成立，与特征无关。
• 通过使用 Bhatt-Morrow-Scholze 的积分比较定理，CM 上升的构造在所有特征（包括 2 和 3）下均成立。
• 通过 K3 曲面乘积的霍奇猜想结果，$ T(\mathbb{Q}) $ 的每个元素在一般纤维上的作用均由 $ X \times X $ 上 codimension-2 的代数周期诱导。
• 通过正交 Shimura 品种上的 $ F $-晶体和积分比较定理，修正了特征 2 中 Kuga-Satake 映射 étaleness 证明中的错误。
• 该结果可推广至所有有限域，包括特征 $ p \geq 5 $ 的情形，此时 Nygaard-Ogus 理论也可适用，但主要方法在所有特征下保持一致。