[論文レビュー] 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

ひとこと要約

この論文は、小さなトランスセントラル格子をもつ有限非シンプレクティック自己同型が、n乗単根とℤ[ζₙ]におけるイデアルを用いて、K3曲面を同型を除いて一意に決定することを確立している。これはヴォロントソフの定理を一般化し、高次の純粋非シンプレクティック自己同型を分類し、可換なシンプレクティックおよび非シンプレクティック自己同型（位数5）をもつK3曲面が無限に存在することを証明している。これらの曲面は、ネロン＝セバレー格子と明示的な方程式によって一意に特定される。

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曲面を同型を除いて一意に決定する条件を特定すること。
• 有限自己同型群をもつK3曲面に関するヴォロントソフの定理を一般化すること。
• K3曲面上の高次の純粋非シンプレクティック自己同型を分類すること。
• 位数5のシンプレクティックおよび非シンプレクティック自己同型を同時にもつK3曲面の存在と構造を調査すること。
• 自己同型が可換である場合、そのようなK3曲面のネロン＝セバレー格子を記述し、生成子の明示的方程式を提供すること。

提案手法

• トランスセントラル格子を用いてK3曲面の同型類を制約すること。
• 巡回体の整数環ℤ[ζₙ]におけるn乗単根とイデアルを用いた不変量の構成。
• K3曲面上の有限非シンプレクティック自己同型の理論を応用し、コホロジーへの作用を分類すること。
• ネロン＝セバレー格子を活用して代数的サイクルを特徴づけ、一意性を決定すること。
• 位数5の可換自己同型をもつK3曲面の生成子と方程式を明示的に計算すること。
• K3曲面上の自己同型群の分類を応用し、高次の場合に一般化すること。

実験結果

リサーチクエスチョン

• RQ1 有限非シンプレクティック自己同型が何らかの条件下でK3曲面を同型を除いて一意に決定する条件は何か？
• RQ2 K3曲面の同型類は、n乗単根とℤ[ζₙ]におけるイデアルを用いてどのように符号化できるか？
• RQ3 ヴォロントソフの定理は、小さなトランスセントラル格子をもつK3曲面を含むように一般化可能か？
• RQ4 位数5のシンプレクティックおよび非シンプレクティック自己同型をもつK3曲面が無限に存在するか？
• RQ5 自己同型が可換である場合、そのようなK3曲面のネロン＝セバレー格子の構造と明示的方程式は何か？

主な発見

• 小さなトランスセントラル格子をもつ有限非シンプレクティック自己同型は、n乗単根とℤ[ζₙ]におけるイデアルを用いてK3曲面の同型類を一意に決定する。
• 本論文はヴォロントソフの定理を、有限非シンプレクティック自己同型と小さなトランスセントラル格子をもつK3曲面に一般化している。
• 同じ不変量フレームワークを用いて、高次の純粋非シンプレクティック自己同型の分類が拡張されている。
• シンプレクティックおよび非シンプレクティック自己同型（位数5）をもつK3曲面が無限に存在する。
• このような自己同型が可換である場合、K3曲面は一意に決定され、そのネロン＝セバレー格子が完全に記述され、生成子の明示的方程式が提供される。