[论文解读] On certain duality of Néron-Severi lattices of supersingular K3 surfaces

Shigeyuki Kondō, Ichiro Shimada|arXiv (Cornell University)|Dec 3, 2012

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

本文建立了在特征为正时，Artin 不变量之和为 11 的超奇异 K3 表面的 Néron-Severi 格的对偶性。利用此对偶性，本文在特征 2 和 3 下分类了 Artin 不变量为 10 的超奇异 K3 表面的 genus one 纤维化，并确定了 nef 锥的自同构群，表明其与表面的自同构群之差由周期决定。该研究证明了在奇特征下，对于 Artin 不变量大于 1 的情形，存在一般的超奇异 K3 表面。

ABSTRACT

Let X and Y be supersingular K3 surfaces defined over an algebraically closed field. Suppose that the sum of their Artin invariants is 11. Then there exists a certain duality between their Néron-Severi lattices. We investigate geometric consequences of this duality. As an application, we classify genus one fibrations on supersingular K3 surfaces with Artin invariant 10 in characteristic 2 and 3, and give a set of generators of the automorphism group of the nef cone of these supersingular K3 surfaces. The difference between the automorphism group of a supersingular K3 surface X and the automorphism group of its nef cone is determined by the period of X. We define the notion of genericity for supersingular K3 surfaces in terms of the period, and prove the existence of generic supersingular K3 surfaces in odd characteristics for each Artin invariant larger than 1.

研究动机与目标

• 研究 Artin 不变量之和为 11 的超奇异 K3 表面的 Néron-Severi 格之间对偶性的几何后果。
• 在特征 2 和 3 下，对 Artin 不变量为 10 的超奇异 K3 表面的 genus one 纤维化进行分类。
• 确定此类表面的 nef 锥自同构群的一组生成元。
• 定义并证明在奇特征下，对于 Artin 不变量大于 1 的情形，存在一般的超奇异 K3 表面。

提出的方法

• 当 $ \rho + \rho' = 11 $ 时，建立超奇异 K3 表面的 Néron-Severi 格 $ S_{p,\rho} $ 与 $ p $-缩放对偶格 $ S_{p,\rho'}^{\bullet}(p) $ 之间的对偶性。
• 利用此对偶性，构建 $ X_{p,\rho} $ 和 $ X_{p,\rho'} $ 上的 genus one 纤维化格等价类之间的典范一一对应。
• 将对偶性应用于雅可比纤维化，表明若 $ X_{p,\rho} $ 上的纤维化为雅可比型，则其在 $ X_{p,\rho'} $ 上的对偶纤维化为非雅可比型。
• 利用伽罗瓦群在 Néron-Severi 格的各向同性子空间上的作用，证明 nef 锥的自同构群由标量乘法生成。
• 通过其周期定义超奇异 K3 表面的“一般性”，并证明在奇特征下，对于 Artin 不变量 >1 的情形，此类表面存在。
• 利用各向同性子空间模形式空间的结构，分析伽罗瓦群在 Néron-Severi 格上的作用。

实验结果

研究问题

• RQ1 当 Artin 不变量之和为 11 时，超奇异 K3 表面的 Néron-Severi 格之间的对偶性会产生何种几何后果？
• RQ2 如何利用此对偶性对特征 2 和 3 下 Artin 不变量为 10 的超奇异 K3 表面的 genus one 纤维化进行分类？
• RQ3 Artin 不变量为 10 的超奇异 K3 表面的 nef 锥的自同构群具有何种结构？
• RQ4 表面的自同构群与其 nef 锥的自同构群有何不同，周期在此差异中起何作用？
• RQ5 在奇特征下，对于 Artin 不变量大于 1 的情形，是否存在一般的超奇异 K3 表面？若存在，如何对其进行刻画？

主要发现

• 当 $ \rho + \rho' = 11 $ 时，$ X_{p,\rho} $ 和 $ X_{p,\rho'} $ 上的 genus one 纤维化格等价类之间存在典范的一一对应。
• 任何 Artin 不变量为 1 的超奇异 K3 表面的 genus one 纤维化均为雅可比型，而其在 Artin 不变量为 10 的对偶表面中的对应纤维化为非雅可比型。
• Artin 不变量为 10 的超奇异 K3 表面的 nef 锥自同构群严格小于该表面本身的自同构群，其差异由表面的周期决定。
• 通过利用对偶性和各向同性子空间上的伽罗瓦作用，显式构造了此类表面的 nef 锥自同构群的一组生成元。
• 在奇特征下，对于每个 Artin 不变量 $ \sigma > 1 $，均存在一般的超奇异 K3 表面，其通过周期及各向同性子空间的伽罗瓦不变性来定义。
• 伽罗瓦群 $ G_{\bar{\rho}} $ 通过标量乘法作用于 Néron-Severi 格，这意味着所有各向同性向量均为特征向量，且作用为标量作用，这是分类的关键。