[论文解读] The elliptic modular surface of level 4 and its reduction modulo 3

Ichiro Shimada|arXiv (Cornell University)|Jun 15, 2018

Algebraic Geometry and Number Theory参考文献 34被引用 3

一句话总结

本文研究了在剩余特征为3的离散赋值环上，水平为4的椭圆模曲面，证明其模3约化后得到费马四次曲面，即一个超奇异K3曲面。通过博赫纳尔斯方法与格子嵌入，计算了该族的自同构群，并证明一个无不动点对合的专门化在特征3下得到IV型恩里克斯曲面，确认其在约化下具有几何与算术不变性。

ABSTRACT

The elliptic modular surface of level 4 is a complex K3 surface with Picard number 20. This surface has a model over a number field such that its reduction modulo 3 yields a surface isomorphic to the Fermat quartic surface in characteristic 3, which is supersingular. The specialization induces an embedding of the Néron-Severi lattices. Using this embedding, we determine the automorphism group of this K3 surface over a discrete valuation ring of mixed characteristic whose residue field is of characteristic 3. The elliptic modular surface of level 4 has a fixed-point free involution that gives rise to the Enriques surface of type IV in Nikulin-Kondo-Martin's classification of Enriques surfaces with finite automorphism group. We investigate the specialization of this involution to characteristic 3.

研究动机与目标

• 计算在剩余特征为3的离散赋值环上，K3曲面族的自同构群。
• 分析水平为4的椭圆模曲面模3的约化，证明其与特征3下的费马四次曲面同构。
• 研究复曲面上一个无不动点对合在特征3下的专门化，确定所得恩里克斯曲面的类型。
• 将博赫纳尔斯方法应用于K3曲面族，这是首次将该方法应用于族的自同构群计算。

提出的方法

• 在具有模3良好约化的数环上，构造水平为4的椭圆模曲面的模型。
• 利用专门化诱导的尼隆-塞韦里格格嵌入，关联几何通用纤维与特殊纤维。
• 应用博赫纳尔斯方法，计算复数域与有限特征下K3曲面的自同构群。
• 分析自同构在尼隆-塞韦里格格上的作用，并识别正锥中一个房间的稳定子。
• 在水平结构的伽罗瓦群中识别出六个共轭的恩里克斯对合，利用根系上的格子理论条件。
• 验证该对合在特征3下的专门化保持无不动点性，并诱导出与IV型恩里克斯曲面配置同构的结构。

实验结果

研究问题

• RQ1 在剩余域特征为3的离散赋值环上，水平为4的椭圆模曲面的自同构群是什么？
• RQ2 该曲面模3的约化与特征3下的费马四次曲面有何关系？
• RQ3 复曲面上的无不动点对合是否专门化为特征3下的无不动点对合？
• RQ4 该曲面在约化后，对专门化对合的商曲面是否为IV型恩里克斯曲面？
• RQ5 博赫纳尔斯方法能否有效应用于计算K3曲面族的自同构群？

主要发现

• 水平为4的椭圆模曲面模3的约化在特征3下同构于费马四次曲面，该曲面为超奇异曲面。
• 通过专门化与尼隆-塞韦里格格格中的嵌入，计算了在离散赋值环上该族的自同构群。
• 在复曲面的自同构群中，恰好存在六个共轭的恩里克斯对合，且均为IV型。
• 这些对合在特征3下的专门化仍保持无不动点性，且商曲面为IV型恩里克斯曲面。
• 在特征3下，商曲面上20条有理曲线的配置同构于IV型配置，从而确认了曲面的类型。
• 该对合在雅可比纤维上的作用在特征0与特征3下完全相同，保持了几何结构。