[论文解读] Rational double points on supersingular K3 surfaces

Ichiro Shimada|ArXiv.org|Nov 5, 2003

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

一句话总结

本文使用格论方法，对正特征的超奇异K3曲面上总Milnor数为21的所有可能的有理双 singularity（RDP）配置进行了分类。证明了这些配置在几何上可实现当且仅当它们出现在一个完整列表中，从而得出结论：在特征p ≤ 19时，超奇异K3曲面具有具有显式不变量的极值（拟）椭圆纤维结构。

ABSTRACT

We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular $K3$ surfaces.

研究动机与目标

• 对正特征下超奇异K3曲面上总Milnor数为21的所有可能的有理双 singularity 配置进行分类。
• 确定由ADE型R、Néron-Severi类的范数n和Artin不变量σ组成的RDP三元组(R, n, σ)的几何实现性。
• 通过此类配置的分类，提供超奇异K3曲面上极值（拟）椭圆纤维结构的完整列表。
• 建立超奇异K3曲面在特征p ≤ 19时双有理等价于具有21个普通双 singularity 的曲面的结论。
• 证明在特征2下，每个超奇异K3曲面双有理等价于P²的纯不可分双覆盖，且具有21个A₁型普通节点，从而为无理性的结果提供了新证明。

提出的方法

• 本文使用格论技术，特别是超奇异K3曲面X的Néron-Severi格S_X，分析由最小解析解f:X→Y中(−2)-曲线生成的负定子格T_Y的正交补。
• 定义RDP三元组(R, n, σ)，其中R为秩为21的ADE型，n为S_X中与T_Y正交的类h_Y的范数，σ为Artin不变量。
• 通过检查S_X的判别形式（在特征p下为−p^{2σ}），确定RDP三元组的几何实现性。
• 通过分析格Q(R)的可能同构类型及其在Néron-Severi格中的正交补，结合超奇异K3曲面的已知结果，完成分类。
• 通过已知的双有理模型（如四次曲面和P²的纯不可分双覆盖）构造显式例子，以验证实现性。
• 通过检查所需不变量(n, σ)是否与各特征下超奇异K3曲面的已知不变量一致，验证实现性。

实验结果

研究问题

• RQ1 在正特征下，哪些ADE型的有理双 singularity 配置（总Milnor数为21）可能出现在超奇异K3曲面上？
• RQ2 对于哪些三元组(R, n, σ)，存在特征为p的超奇异K3曲面，其RDP型为R，Néron-Severi类的范数为n，Artin不变量为σ？
• RQ3 在正特征下，超奇异K3曲面上极值（拟）椭圆纤维结构的完整列表是什么？
• RQ4 在哪些特征p下存在具有21个有理双 singularity 的超奇异K3曲面？
• RQ5 是否每个特征为2的超奇异K3曲面都可实现为P²的纯不可分双覆盖，且具有21个普通节点？

主要发现

• 本文提供了正特征下所有几何上可实现的RDP三元组(R, n, σ)的完整列表，该列表在表RDP中明确列出。
• 在特征p下，RDP三元组(R, n, σ)几何上可实现当且仅当它出现在该列表中，且在该特征下所有Artin不变量σ的超奇异K3曲面上实现性等价。
• 仅在特征p ≤ 19时存在具有最大数量有理双 singularity 的超奇异K3曲面，且在p = 2时，所有此类曲面双有理等价于具有21个普通双 singularity 的曲面。
• 在特征2下，每个超奇异K3曲面双有理等价于由w² = x₀x₁x₂(x₀³ + x₁³ + x₂³)定义的P²的纯不可分双覆盖，该曲面具有21个A₁型普通双 singularity。
• 极值（拟）椭圆纤维结构的完整列表由该分类导出，每个纤维结构对应于列表中唯一的RDP三元组。
• 在p = 2时，三元组(21A₁, 2, σ)对所有σ = 1, ..., 10均可实现，从而确认所有特征2下的超奇异K3曲面均双有理等价于具有21个普通双 singularity 的曲面。