[论文解读] 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

一句话总结

本文利用具有无限自同构群的椭圆纤维化，建立了在特征 ≠ 2,3 时 K3 表面自同构的最大 Salem 度的刻画。证明了对于特征 ≠ 2,3 的 K3 表面，最大 Salem 度由此类纤维化生成的子格的秩决定——若该秩为偶数则等于该秩，若为奇数则比该秩小 1，并将此结果应用于证明：在奇特征下的每一类超奇异 K3 表面均存在一个自同构，其熵等于一个 22 次 Salem 数的对数。

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 表面自同构的最大 Salem 度。
• 将 [EOY14] 的结果推广，建立基于秩的最大 Salem 度准则。
• 证明在奇特征下，每一类超奇异 K3 表面均存在一个自同构，其熵等于一个 22 次 Salem 数的对数。
• 阐明例外子格、具有无限自同构群的椭圆纤维化与 Salem 度最大性之间的关系。
• 为具有同构 Néron-Severi 格且共享纤维化结构的 K3 表面之间，提供最大 Salem 度的比较原则。

提出的方法

• 定义子格 $ L_{\nu}(X) \triangleq \langle \text{具有无限自同构群的椭圆纤维化} \rangle \subset \mathrm{NS}(X) $。
• 建立基于秩的公式：若 $ d = \mathrm{rk}(L_{\nu}(X)) $，则最大 Salem 度为 $ d $（当 $ d $ 为偶数时），或 $ d-1 $（当 $ d $ 为奇数时）。
• 利用 $ \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} $ 的条件，从而将其与 Salem 度的最大性联系起来。
• 借助关于超奇异 K3 表面的已知结果（例如，$ \mathrm{NS}(X) $ 同构于 Artin 不变量为 1 的表面的子格）以及定理 1.2，推广存在 22 次 Salem 数熵的自同构。
• 利用某些 Néron-Severi 格的有限性（例如 $ \mathcal{SEK}3' $）来约束最大 Salem 度有界的 K3 表面集合。

实验结果

研究问题

• RQ1 对于 K3 表面，自同构的最大可能 Salem 度是多少？它如何由椭圆纤维化的几何结构决定？
• RQ2 具有无限自同构群的椭圆纤维化如何影响 Néron-Severi 格的结构以及自同构的动力学？
• RQ3 是否可以保证在奇特征下所有超奇异 K3 表面均存在一个熵为 22 次 Salem 数的自同构？
• RQ4 例外子格 $ E(\mathrm{NS}(X)) $、具有无限自同构群的纤维化集合与 Salem 度最大性之间存在何种关系？
• RQ5 在何种条件下，一个 K3 表面的最大 Salem 度会支配另一个具有同构 Néron-Severi 格的 K3 表面？

主要发现

• 对于代数闭域上特征 ≠ 2,3 的 K3 表面 $ X $，若由具有无限自同构群的纤维化生成的子格 $ L_{\nu}(X) $ 的秩 $ d $ 为偶数，则自同构的最大 Salem 度为 $ d $；若 $ d $ 为奇数，则最大 Salem 度为 $ d-1 $。
• K3 表面 $ X $ 上自同构的最大 Salem 度上界为 $ \rho(X) $，且当且仅当 $ \mathbb{Q}\langle \mathcal{E}_{\infty}(X) \rangle = \mathrm{NS}(X) \otimes \mathbb{Q} $ 时取等。
• 在奇特征下，任何超奇异 K3 表面均存在一个自同构，其熵为一个 22 次 Salem 数的对数。
• 所有奇特征下的超奇异 K3 表面的例外子格 $ E(\mathrm{NS}(X)) $ 均为零，这意味着纤维类的有理张量空间是完整的。
• 具有 $ E(\mathrm{NS}(X)) \neq \{0\} $ 且最大 Salem 度有界的 K3 表面的 Néron-Severi 格集合是有限的，这意味着最大 Salem 度 ≤ 18 的此类 K3 表面仅有有限多个。
• 对于非同源椭圆曲线 $ E, F $ 的 Kummer 表面 $ \mathrm{Km}(E \times F) $，其最大 Salem 度恰好为 10，该结论由 $ L_{\nu}(X) $ 的秩与 $ E(\mathrm{NS}(X)) $ 的负定性共同确认。