[论文解读] Transcendental lattices and supersingular reduction lattices of a singular $K3$ surface

Ichiro Shimada|ArXiv.org|Nov 8, 2006

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

一句话总结

本文建立了数域上奇异K3曲面的超越格与素数处良好约化时的超奇异约化格之间的深刻联系，表明此类约化的存在性及其不变量由Néron-Severi格判别式的算术性质所决定。关键结果是通过判别式的勒让德符号，精确刻画了具有超奇异约化的素数集合，从而为可定义此类曲面的数域的最小次数提供了下界。

ABSTRACT

A (smooth) K3 surface X defined over a field k of characteristic 0 is called singular if the Néron-Severi lattice NS (X) of X over the algebraic closure of k is of rank 20. Let X be a singular K3 surface defined over a number field F. For each embedding σof F into the complex number field, we denote by T(X^σ) the transcendental lattice of the complex K3 surface X^σobtained from X by σ. For each prime ideal P of F at which X has a supersingular reduction X_P, we define L(X, P) to be the orthogonal complement of NS(X) in NS(X_P). We investigate the relation between these lattices T(X^σ) and L(X, P). As an application, we give a lower bound of the degree of a number field over which a singular K3 surface with a given transcendental lattice can be defined.

研究动机与目标

• 通过将奇异K3曲面的超越格与模素数约化相联系，理解其在数域上的算术性质。
• 刻画奇异K3曲面在哪些素数处具有超奇异约化。
• 推导出在给定超越格下，可定义奇异K3曲面的数域的最小次数的下界。
• 在约化几何与Néron-Severi格判别式的算术之间建立对应关系。

提出的方法

• 本文使用从一般纤维的Néron-Severi格到素数处约化格的特殊化同态，保持交比形式。
• 将超奇异约化格定义为Néron-Severi格在约化K3曲面的Néron-Severi格中的正交补。
• 分析超奇异约化格的判别式，证明当p不整除2d(X)时，其判别式为−p²d(X)。
• 应用勒让德符号χₚ(d(X))来分类在素数p处是否存在超奇异约化。
• 运用虚二次域中的类域论与理想理论，研究约化格的结构。
• 利用定向格理论与类数理论，将约化格的同构类与虚二次域整数环中的理想类相联系。

实验结果

研究问题

• RQ1 对于定义在数域上的奇异K3曲面，其整数环中的哪些素数会诱导出超奇异约化？
• RQ2 Néron-Severi格的判别式d(X)如何决定在素数p处是否存在超奇异约化？
• RQ3 复基变换T(X^σ)的超越格与素数𝔭处的超奇异约化格L(X,𝔭)之间有何关系？
• RQ4 是否能用d(X)的算术性质显式描述具有超奇异约化的素数集合？
• RQ5 对于给定超越格的奇异K3曲面，可定义它的数域的最小次数可建立怎样的下界？

主要发现

• 当素数p不整除2d(X)时，若χₚ(d(X)) = 1，则在p上方的素数𝔭中具有超奇异约化的集合为空；若χₚ(d(X)) = -1，则该集合等于π_F⁻¹(p)。
• 当p ∤ 2d(X)时，超奇异约化格L(X,𝔭)的判别式为−p²d(X)。
• 存在一个包含2d(X)的素因子的有限素数集合N，使得当p ∉ N时，超奇异约化行为完全由勒让德符号χₚ(d(X))决定。
• 超奇异约化格L(X,𝔭)的同构类对应于判别式为p²d(X)²D的定向格空间中的一个提升类。
• 约化格的结构由虚二次域整数环中的理想类所控制，从而将算术与几何联系起来。
• 本文建立了关于具有给定超越格的奇异K3曲面可定义的数域最小次数的下界，该下界源自理想类的类数理论。