[論文レビュー] Elliptic fibrations on K3 surfaces and Salem numbers of maximal degree

Xun Yu|arXiv (Cornell University)|May 30, 2016

Algebraic Geometry and Number Theory参考文献 18被引用数 7

ひとこと要約

本稿は、無限自己同型群を有する楕円曲線族を用いて、K3表面の自己同型の最大サリュス次数の特徴付けを確立する。特に対数的特徴が2,3でない場合のK3表面に対して、その最大サリュス次数は、このような曲線族によって生成される部分格子のランクによって決定され、偶数の場合はランクと等しく、奇数の場合は1つ少ない。この結果を応用し、奇数の特徴を持つすべての超特異K3表面が、22次サリュス数の対数に等しいエントロピーを持つ自己同型を有することを示す。

ABSTRACT

We study the maximal Salem degree of automorphisms of K3 surfaces via elliptic fibrations. By generalizing \cite{EOY14}, we establish a characterization of such maximum in terms of elliptic fibrations with infinite automorphism groups. As an application, we show that any supersingular K3 surface in odd characteristic has an automorphism the entropy of which is the natural logarithm of a Salem number of degree $22$.

研究の動機と目的

• 無限自己同型群を有する楕円曲線族を用いて、K3表面の自己同型の最大サリュス次数を特徴づけること。
• [EOY14]の結果を一般化し、最大サリュス次数のランクに基づく基準を確立すること。
• 奇数特徴の超特異K3表面が、22次サリュス数の対数に等しいエントロピーを持つ自己同型を有することを証明すること。
• 例外的部分格子、無限自己同型群を有する楕円曲線族、およびサリュス次数の最大性との関係を明確にすること。
• 同一のネロン＝セベール格子を共有し、同じ曲線族構造を持つK3表面間における最大サリュス次数の比較原理を提供すること。

提案手法

• 部分格子 $ L_{\nu}(X) \triangleq \langle \text{無限自己同型群を有する楕円曲線族} \rangle \subset \mathrm{NS}(X) $ を定義する。
• ランクに基づく公式を確立する：$ d = \mathrm{rk}(L_{\nu}(X)) $ とすると、最大サリュス次数は $ d $ が偶数のとき $ d $、奇数のとき $ d-1 $ である。
• $ \mathrm{Aut}(X) $ が $ \mathrm{NS}(X) \otimes \mathbb{Q} $ に作用することを用い、表現の既約性と $ \mathbb{Q}\langle \mathcal{E}_{\infty}(X) \rangle $ の稠密性を関連付ける。
• 例外的部分格子 $ E(\mathrm{NS}(X)) $ を用いて、$ \mathbb{Q}\langle \mathcal{E}_{\infty}(X) \rangle = \mathrm{NS}(X) \otimes \mathbb{Q} $ となる条件を特徴づけ、これによりサリュス次数の最大性と関連付ける。
• 既知の超特異K3表面の結果（例えば、$ \mathrm{NS}(X) $ はアーティン不変量1の表面の部分格子と同型）と定理1.2を応用し、22次サリュス数のエントロピーを持つ自己同型の存在を拡張する。
• 特定のネロン＝セベール格子（例えば $ \mathcal{SEK}3' $）の有限性を活用し、最大サリュス次数が有界なK3表面の集合を制限する。

実験結果

リサーチクエスチョン

• RQ1 K3表面における自己同型の最大可能サリュス次数は何か。また、その次数は楕円曲線族の幾何構造によってどのように決定されるか。
• RQ2 無限自己同型群を有する楕円曲線族の存在は、ネロン＝セベール格子の構造および自己同型の力学的性質にどのように影響を与えるか。
• RQ3 奇数特徴の超特異K3表面に対して、22次サリュス数のエントロピーを持つ自己同型が常に存在するか。
• RQ4 例外的部分格子 $ E(\mathrm{NS}(X)) $、無限自己同型群を有する曲線族、およびサリュス次数の最大性との関係は何か。
• RQ5 同一のネロン＝セベール格子を共有する2つのK3表面において、一方の最大サリュス次数が他方を支配する条件は何か。

主な発見

• 代数閉体上で特徴が2,3でないK3表面 $ X $ に対して、自己同型の最大サリュス次数は、無限自己同型群を有する曲線族によって生成される部分格子 $ L_{\nu}(X) $ のランク $ d $ が偶数のときは $ d $、奇数のときは $ d-1 $ である。
• K3表面 $ X $ における自己同型の最大サリュス次数は $ \rho(X) $ によって上から抑えられ、等号が成り立つのは $ \mathbb{Q}\langle \mathcal{E}_{\infty}(X) \rangle = \mathrm{NS}(X) \otimes \mathbb{Q} $ のときに限る。
• 奇数特徴の任意の超特異K3表面は、22次サリュス数の対数に等しいエントロピーを持つ自己同型を有する。
• 奇数特徴のすべての超特異K3表面に対して、例外的部分格子 $ E(\mathrm{NS}(X)) $ は消える。これは、曲線族的クラスの全有理スパンの存在を示唆する。
• 例外的部分格子 $ E(\mathrm{NS}(X)) \neq \{0\} $ かつ最大サリュス次数が有界なK3表面のネロン＝セベール格子の集合は有限であり、最大サリュス次数 ≤ 18 となるようなK3表面は有限個である。
• 非同型な楕円曲線 $ E, F $ を用いたKummer表面 $ \mathrm{Km}(E \times F) $ に対して、最大サリュス次数は正確に10であり、これは $ L_{\nu}(X) $ のランクと $ E(\mathrm{NS}(X)) $ の負定値性の両方によって確認される。