[论文解读] Neron-Severi group preserving lifting of K3 surfaces and applications

Junmyeong Jang|arXiv (Cornell University)|Jun 7, 2013

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

一句话总结

该论文证明了复数域上 K3 曲面为 Kummer 或 Enriques K3 曲面的经典晶格条件可推广至奇特征域上有限高度的 K3 曲面，方法是利用 Néron-Severi 群保持的提升。关键贡献在于：通过判别式模 p 为非零平方的偶正定秩 2 格的同构类，对代数闭域上奇特征域中 Picard 数为 20 的 K3 曲面进行了分类。

ABSTRACT

For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber is isomorphic. In this paper, using this result, we give a criterion for a K3 surface of finite height over a field of odd characteristic to be an Enriques K3 surface or to be a K3 surface in terms of the Neron-Severi lattice. Then we show every Kummer surface has an Enriques involution. We also give a classification of K3 surfaces of Picard rank of 20 over odd characteristic.

研究动机与目标

• 将 K3 曲面为 Kummer 或 Enriques K3 曲面的 Néron-Severi 晶格条件从复数域推广至正特征域情形。
• 证明 Enriques K3 曲面与 Kummer K3 曲面的 Torelli 型晶格条件在奇特征域上有限高度的 K3 曲面上依然成立。
• 利用超越晶格不变量对代数闭域上奇特征域中 Picard 数为 20 的 K3 曲面进行分类。
• 证明每个 Picard 数为 20 的此类 K3 曲面均存在一个有限域上的模型，方法是利用 Néron-Severi 保持的提升与约化技术。

提出的方法

• 利用 Néron-Severi 群保持的提升，通过基变换将正特征域中的晶格性质转移到特征零情形。
• 应用奇特征域中奇异 K3 曲面的晶体 Torelli 定理，将 Néron-Severi 晶格与形变空间联系起来。
• 运用形式 Brauer 群与 Artin 不变量理论，分析正特征域中 Néron-Severi 群的结构。
• 利用 Néron-Severi 晶格的判别式模 p 为非零平方的条件，区分普通与奇异约化。
• 应用具有固定 Néron-Severi 群的 K3 曲面形变理论，证明同构的约化蕴含在 p 进域上同构的提升。
• 构造了 Picard 数为 20 的 K3 曲面同构类与判别式模 p 为非零平方的偶正定秩 2 晶格同构类之间的双射。

实验结果

研究问题

• RQ1 K3 曲面为 Kummer 或 Enriques K3 曲面的经典晶格条件是否在奇特征域上成立？
• RQ2 能否将复 K3 曲面通过超越晶格对 Picard 数为 20 的分类推广至正特征域？
• RQ3 代数闭域上奇特征域中所有 Picard 数为 20 的 K3 曲面是否都存在一个有限域上的模型？
• RQ4 Néron-Severi 晶格模 p 的判别式在确定 K3 曲面的约化类型（普通 vs. 奇异性）中起什么作用？
• RQ5 在何种条件下，两个奇特征域上 Picard 数为 20 的 K3 曲面的同构约化能推出其在 p 进域上的提升同构？

主要发现

• K3 曲面为 Enriques K3 曲面的晶格条件——即存在 Γ(2) 到 NS(X) 的本原嵌入，且其正交补不包含 (−2)-向量——在奇特征域上有限高度的 K3 曲面上依然成立。
• K3 曲面为 Kummer K3 曲面的晶格条件——即存在 Kummer 晶格 J 到 NS(X) 的本原嵌入——在奇特征域上有限高度的 K3 曲面上也成立。
• 代数闭域上奇特征域中 Picard 数为 20 的每个 K3 曲面均存在一个有限域上的模型。
• 代数闭域上奇特征域中 Picard 数为 20 的 K3 曲面的同构类与判别式模 p 为非零平方的偶正定秩 2 晶格同构类之间存在双射。
• 若两个 Picard 数为 20 的 K3 曲面定义在数域上，且在素数 p > 2 处具有同构的普通约化，且其 Néron-Severi 群在约化下保持不变，则其代数闭包上的基变换是同构的。
• 奇特征域上 Picard 数为 20 的 K3 曲面的 Néron-Severi 群是无 torsion 的，且当 Néron-Severi 晶格的判别式模 p 为非零平方时，其在良好约化下保持同构。