[论文解读] Enriques surfaces with normal K3-like coverings

Stefan Schröer|arXiv (Cornell University)|Mar 9, 2017

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文通过在特征为2的有理椭圆曲面上使用弗罗贝尼乌斯拉回和翻转（flop），构造了单连通的恩里克斯曲面的正常K3类覆盖，证明了此类覆盖上存在椭圆双重点——非有理奇点。研究建立这些奇点为孤立奇点，并通过纤维配置的变异（mutation）产生，且基于Mordell–Weil格和Ogg公式，提出了一套系统化的构造方法。

ABSTRACT

We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the resulting twistor lines in the moduli stack of Enriques surfaces, including the case that the K3-like covering is a normal rational surface rather then a normal K3 surface. Among other things, we show that elliptic double points indeed do occur. In this case,there is only one singularity.The main idea is to apply flops to Frobenius pullbacks of rational elliptic surfaces, to get the desired K3-like covering. Our results hinge on Lang's classification of rational elliptic surfaces, the determination of their Mordell--Weil lattices by Shioda and Oguiso, and the behavior of unstable fibers under Frobenius pullback via Ogg's Formula. Along the way, we develop a general theory of Zariski singularities in arbitrary dimension, which is tightly interwoven with the theory of height-one group schemes actions and restricted Lie algebras. Furthermore, we determine under what conditions tangent sheaves are locally free, and introduce a theory of canonical coverings for arbitrary proper algebraic schemes.

研究动机与目标

• 为恰当代数概形建立一般性的典范覆盖理论，尤其在恩里克斯曲面的背景下。
• 研究特征为2的单连通恩里克斯曲面的K3类覆盖结构，特别是当覆盖为正常时的情形。
• 确定非有理奇点——特别是椭圆双重点——是否可能出现在此类覆盖上。
• 对所有其弗罗贝尼乌斯拉回生成与恩里克斯曲面双有理等价的正常K3类覆盖的有理椭圆曲面进行分类。
• 建立切丛为局部自由的条件，并发展任意维数下的泽里斯基奇点理论。

提出的方法

• 对有理椭圆曲面应用弗罗贝尼乌斯基变换，获得奇异的K3类覆盖。
• 使用翻转（变异）来解析奇点，并构造K3类覆盖的双有理模型。
• 利用Ogg公式计算弗罗贝尼乌斯拉回下不稳定纤维的行为。
• 利用Shioda与Oguiso对有理椭圆曲面的Mordell–Weil格的分类。
• 应用Lang对特征为2的有理椭圆曲面的分类，以识别产生正常覆盖的纤维配置。
• 通过群概形作用构造典范覆盖，并利用受限李代数和高度为1的群概形分析其奇点。

实验结果

研究问题

• RQ1 在特征为2的恩里克斯曲面的正常K3类覆盖上，是否可能出现非有理奇点，如椭圆双重点？
• RQ2 在何种条件下，单连通恩里克斯曲面的K3类覆盖是正常的，并与有理椭圆曲面的弗罗贝尼乌斯拉回双有理等价？
• RQ3 哪些仅含约化纤维的有理椭圆曲面，经弗罗贝尼乌斯拉回与变异后，能生成单连通的恩里克斯曲面？
• RQ4 K3类覆盖的切丛在何时为局部自由？这与其几何结构有何关联？
• RQ5 当K3类覆盖包含非有理奇点时，其奇点的精确结构为何？

主要发现

• 本文证明了存在包含椭圆双重点的正常K3类覆盖，该奇点源于收缩一条有节点的(−1)-曲线。
• 若一正常K3类覆盖包含非有理奇点，则其不包含其他奇点——此类奇点为孤立奇点。
• 在110个仅含约化纤维的特征为2的有理椭圆曲面族中，除六族外，其余均存在一个单连通恩里克斯曲面，其K3类覆盖与该有理椭圆曲面的弗罗贝尼乌斯拉回双有理等价。
• 从K3类覆盖到P¹的诱导纤维化诱导了同态H⁰(X, Θ_X/k) ⊂ H⁰(P¹, Θ_P¹/k)，表明对向量场具有控制力。
• 该构造依赖于通过翻转对纤维配置进行变异，其中变异将纤维中的终端分量替换为其余分量的并集，以解析奇点。
• 发展了任意维数下的泽里斯基奇点理论，将其与高度为1的群概形和受限李代数联系起来，并应用于对K3类覆盖上奇点的分类。