[论文解读] Genus 1 fibrations on the supersingular K3 surface in characteristic 2 with Artin invariant 1

Noam D. Elkies, Matthias Schuett|arXiv (Cornell University)|Jul 5, 2012

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文对特征为2、Artin不变量为1的超奇异K3曲面的所有亏格1纤维化（椭圆和拟椭圆）进行了分类，证明恰好存在18种此类纤维化。通过格理论方法及在𝔽₂和𝔽₄上的显式Weierstrass模型，作者建立了模型之间的同构关系，并将(−2)-曲线的配置与𝔽₄ℙ²的关联几何联系起来，揭示了诸如14-循环不存在等结构性约束。

ABSTRACT

The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).

研究动机与目标

• 对特征为2、Artin不变量为1的超奇异K3曲面上的所有亏格1纤维化（椭圆与拟椭圆）进行分类。
• 证明每种此类纤维化均存在截面，从而实现基于格理论的完整分类。
• 为所有纤维化提供𝔽₂上的显式Weierstrass方程，并在𝔽₄上给出模型之间的同构关系。
• 分析曲面上(−2)-曲线的配置，并将其与𝔽₄ℙ²中点与直线的关联图联系起来。
• 确定在特征零下定义的哪些椭圆纤维化在模2约化后可光滑地约化到该曲面。

提出的方法

• 采用Kneser–Nishiyama的格理论框架，通过秩为20、判别式为4的正定偶格对亏格1纤维化进行分类。
• 利用第4节（定理7）中的判别准则，根据纤维类型区分椭圆与拟椭圆纤维化。
• 为18种纤维化中的每一种在素域𝔽₂上构造显式Weierstrass模型。
• 在𝔽₄上建立K3曲面不同模型之间的同构关系，有时甚至在𝔽₂上即已成立。
• 分析K3曲面的Néron–Severi格，以验证其Picard数与Artin不变量。
• 应用几何论证，证明某些(−2)-曲线配置（如𝔻̃₂₀）在𝔽₄ℙ²中几何上不可能存在，因其导致组合矛盾。

实验结果

研究问题

• RQ1 在特征为2、Artin不变量为1的超奇异K3曲面上，共有多少种亏格1纤维化？
• RQ2 这些纤维化中哪些是椭圆的，哪些是拟椭圆的？如何通过算法手段加以区分？
• RQ3 所有纤维化是否都能通过𝔽₂上的显式Weierstrass方程实现？它们在𝔽₄上是否同构？
• RQ4 点与直线在𝔽₄ℙ²中的关联结构所诱导的(−2)-曲线几何配置是什么？它施加了哪些约束？
• RQ5 在特征零下定义的哪些奇异K3曲面上的椭圆纤维化可光滑地约化到该超奇异K3曲面模2？

主要发现

• 在特征为2、Artin不变量为1的超奇异K3曲面上，恰好存在18种亏格1纤维化。
• 所有纤维化均存在截面，从而可通过格理论方法实现完整分类。
• 纤维化包括椭圆与拟椭圆两类，后者以具有尖点的有理纤维为特征。
• 为全部18种纤维化在𝔽₂上构造了显式Weierstrass模型，并在𝔽₄上给出了模型之间的同构关系。
• 20条(−2)-曲线的配置实现了𝔽₄ℙ²中点与直线的关联图，但𝔻̃₂₀配置因组合约束而几何上不可能存在。
• 仅分类中的第#6与#8号纤维化能从特征零光滑约化到模2下的该超奇异K3曲面，对应于Mordell–Weil秩恰好为2的极小椭圆纤维化。