[论文解读] Automorphisms of elliptic $K3$ surfaces and Salem numbers of maximal degree

Hélène Esnault, Keiji Oguiso+1 more|arXiv (Cornell University)|Nov 4, 2014

Algebraic Geometry and Number Theory参考文献 11被引用 8

一句话总结

该论文证明，在特征 $p \neq 5, 7, 13$ 下，Artin 不变量为 1 的超奇异 K3 曲面存在一个自同构，其熵为最大度数 22 的 Salem 数的对数。证明方法利用了该曲面上两个非同构椭圆纤维化的 Mordell-Weil 群：一个具有最大秩 20，另一个具有正秩，通过表示论与格论方法构造出自同构，其熵来源于一个 22 次 Salem 数。

ABSTRACT

Using elliptic structures, we show that any supersingular K3 surface of Artin invariant $1$ in characteristic $p ot= 5$, $7$, $13$ has an automorphism the entropy of which is the natural logarithm of a Salem number of degree $22$.

研究动机与目标

• 在正特征下，建立 Artin 不变量为 1 的超奇异 K3 曲面上存在自同构，其熵等于一个 22 次 Salem 数的对数。
• 将正熵自同构的结果从特征 0 扩展至正特征，并为大素数提供一个概念性、非计算性的证明。
• 阐明此类自同构出现的几何与算术条件，特别关注椭圆纤维化中 Mordell-Weil 群的作用。
• 解决正特征下几何可提升与不可提升自同构的问题，表明此类 22 次熵自同构无法提升至特征 0。

提出的方法

• 利用 K3 曲面上椭圆纤维化 Mordell-Weil 群的理论，特别是利用 Shioda 关于其结构与秩的结果。
• 应用定理 4.6 分析自同构在 Néron-Severi 格上的作用，重点关注自同构群对偶作用下子空间的稳定性。
• 应用 Hodge 指数定理与交形式的非退化性，排除有限阶作用，从而确立无限阶自同构的存在。
• 利用椭圆纤维化 Mordell-Weil 群在纤维类正交补上的忠实作用，实现具有非平凡动力度数的自同构构造。
• 依赖于存在两个非同构椭圆纤维化的事实：一个具有最大 Mordell-Weil 秩 $2d-2$，另一个具有正秩，以生成所需的动力系统。
• 应用定理 1.2，该定理将构造推广至 Picard 数 $2d \geq 4$ 的 K3 曲面，从而推出当 $p=11$ 或 $p>13$ 时定理 1.1 对 $X(p)$ 成立。

实验结果

研究问题

• RQ1 能否在正特征下的超奇异 K3 曲面上构造出正熵自同构，特别是熵等于 22 次 Salem 数对数的自同构？
• RQ2 椭圆纤维化 Mordell-Weil 群在何种条件下使 K3 曲面具有此类自同构？
• RQ3 这些自同构是否几何可提升至特征 0？若否，何种结构特征阻止了此类提升？
• RQ4 Néron-Severi 格及其自同构群在实现高次 Salem 数作为熵的角色是什么？
• RQ5 定理 1.1 中限制 $p \neq 5, 7, 13$ 是真实障碍还是当前方法的局限性？

主要发现

• 对任意素数 $p \neq 5, 7, 13$，在 $\bar{\mathbb{F}}_p$ 上的 Artin 不变量为 1 的超奇异 K3 曲面 $X(p)$ 上，存在一个自同构 $f$，其熵为 $\log \lambda$，其中 $\lambda$ 是一个 22 次 Salem 数。
• 自同构 $f$ 无法几何地提升至特征 0，因为此类提升要求熵来自至多 20 次的 Salem 数，与 22 次结果矛盾。
• 此类自同构的存在性由 $X(p)$ 上存在两个非同构椭圆纤维化所保证：一个具有 Mordell-Weil 秩 20，另一个具有正秩，此结论由 Shioda 定理确立。
• 定理 1.2 的证明表明，任意代数闭域上特征 $p \geq 0$ 的 K3 曲面 $X$，若 Picard 数 $\rho = 2d \geq 4$ 且具有两个此类纤维化，则存在一个自同构，其熵等于一个 $2d$ 次 Salem 数的对数。
• 限制 $p \neq 5, 7, 13$ 的原因在于根据 Shioda 的分类，对于这些素数，Mordell-Weil 秩 20 的纤维化不存在，尽管作者认为在更广泛背景下该限制可能可被移除。
• 在 $X(p) \simeq \mathrm{Km}(E \times_{{\mathbb{F}}_p} E)$ 上，由第一个投影 $E \times_{{\mathbb{F}}_p} E \to E$ 导出的纤维化的 Mordell-Weil 群在 $\bar{\mathbb{F}}_p$ 上的秩为 4，确保其具有正秩且与最大秩纤维化不同构。