[论文解读] How to determine a K3 surface from a finite automorphism

Simon Brandhorst|arXiv (Cornell University)|Apr 29, 2016

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

一句话总结

本文证明，具有小的超越格的有限非辛自同构通过单位根和 ℤ[ζₙ] 中的理想唯一确定一个 K3 曲面。该研究推广了 Vorontsov 定理，对高阶纯非辛自同构进行了分类，并证明了存在无穷多个 K3 曲面，其上存在交换的阶为 5 的辛自同构与非辛自同构，这些曲面由其 Néron-Severi 格唯一确定，并给出了显式方程。

ABSTRACT

In this article we pursue the question when an automorphism determines a (complex) K3 surface up to isomorphism. We prove that if the automorphism is finite non-symplectic and the transcendental lattice small, then the isomorphism class of the K3 surface is determined by an n-th root of unity and an ideal in $\mathbb{Z}[\zeta_n]$. As application we give a generalization of Vorontsov's theorem and the classification of purely non-symplectic automorphisms of high order. Furthermore, we prove that there exist infinitely many K3 surfaces with a symplectic and a non-symplectic automorphism of order $5$. If they commute such a K3 surface is unique. We give a description of its Neron-Severi lattice as well as equations of its generators.

研究动机与目标

• 通过有限非辛自同构唯一确定复 K3 曲面（模同构）的条件。
• 推广 Vorontsov 关于具有有限自同构群的 K3 曲面的定理。
• 对 K3 曲面上高阶纯非辛自同构进行分类。
• 研究同时存在阶为 5 的辛自同构与非辛自同构的 K3 曲面的存在性与结构。
• 当自同构交换时，描述其 Néron-Severi 格并提供此类 K3 曲面生成元的显式方程。

提出的方法

• 利用超越格约束 K3 曲面的同构类。
• 通过 n 次单位根和分圆域整数环 ℤ[ζₙ] 中的理想构造不变量。
• 应用 K3 曲面上有限非辛自同构的理论，以分类其在上同调上的作用。
• 利用 Néron-Severi 格刻画代数循环并确定唯一性。
• 显式计算阶为 5 的交换自同构下 K3 曲面的生成元与方程。
• 利用 K3 曲面上自同构群的分类，将结果推广至更高阶情形。

实验结果

研究问题

• RQ1 在何种条件下，有限非辛自同构唯一确定一个 K3 曲面（模同构）？
• RQ2 如何通过单位根和 ℤ[ζₙ] 中的理想编码 K3 曲面的同构类？
• RQ3 Vorontsov 定理能否推广至具有小超越格的 K3 曲面？
• RQ4 是否存在无穷多个 K3 曲面，其上同时存在阶为 5 的辛自同构与非辛自同构？
• RQ5 当此类自同构交换时，Néron-Severi 格的结构如何？此类 K3 曲面的显式方程是什么？

主要发现

• 具有小超越格的有限非辛自同构通过 n 次单位根和 ℤ[ζₙ] 中的理想唯一确定 K3 曲面的同构类。
• 本文将 Vorontsov 定理推广至具有有限非辛自同构和小超越格的 K3 曲面。
• 利用相同的不变量框架，将高阶纯非辛自同构的分类进一步扩展。
• 存在无穷多个 K3 曲面，其上同时存在阶为 5 的辛自同构与非辛自同构。
• 当此类自同构交换时，K3 曲面被唯一确定，其 Néron-Severi 格被完整描述，且其生成元的显式方程已给出。