[论文解读] Automorphisms of supersingular K3 surfaces and Salem polynomials

Ichiro Shimada|arXiv (Cornell University)|Mar 16, 2015

Algebraic Geometry and Number Theory参考文献 17被引用 5

一句话总结

本文提出了一种计算方法，用于在奇特征下构造超奇异 K3 曲面的自同构，其在 Néron–Severi 晶格上的作用具有 Salem 多项式作为特征多项式。通过组合双平面对合序列（利用充分列表和晶格几何生成），作者证明了对于所有特征 $ p \leq 7919 $ 的超奇异 K3 曲面，以及特征 $ p \leq 17389 $ 的 Artin 不变量为 10 的曲面，均存在不可约 Salem 型的自同构，从而表明其无法提升到特征零。

ABSTRACT

We present a method to generate many automorphisms of a supersingular K3 surface in odd characteristic. As an application, we show that, if p is an odd prime less than or equal to 7919, then every supersingular K3 surface in characteristic p has an automorphism whose characteristic polynomial on the Néron-Severi lattice is a Salem polynomial of degree 22. For a supersingular K3 surface with Artin invariant 10, the same holds for odd primes less than or equal to 17389.

研究动机与目标

• 建立奇特征下超奇异 K3 曲面自同构的存在性，其在 Néron–Severi 晶格上的作用由一个 22 次的 Salem 多项式作为特征多项式所控制。
• 解决 Artin 不变量为 1 的超奇异 K3 曲面自同构的不可提升性问题，特别填补了 $ p = 7 $ 和 $ p = 13 $ 的空白。
• 将不可提升性结果扩展至奇特征下 Artin 不变量为 10 的超奇异 K3 曲面，范围达 $ p = 17389 $。
• 开发一种计算框架，利用双平面对合与充分列表系统地生成此类自同构。

提出的方法

• 该方法依赖于 Rudakov 和 Shafarevich 的结构定理，该定理通过特征 $ p $ 和 Artin 不变量 $ \sigma $ 唯一确定超奇异 K3 曲面的 Néron–Severi 晶格。
• 引入了‘充分列表’（ample list）的概念，用于在 $ S_X \otimes \mathbb{R} $ 中计算 nef 锥，这对识别双平面对合至关重要。
• 双平面对合作为由次数 2 的态射 $ X \to \mathbb{P}^2 $ 诱导的 2 阶自同构而构造，利用晶格理论数据。
• 通过正交变换下 Gram 矩阵的不变性，在 Néron–Severi 晶格上计算这些对合的矩阵表示。
• 将最多 22 个此类对合复合，形成一个自同构，其特征多项式为 Salem 多项式。
• 通过显式矩阵表示在计算上验证了该构造，对于 $ X(7) $，其乘积的特征多项式被确认为 Salem 多项式。

实验结果

研究问题

• RQ1 所有特征 $ p \leq 7919 $ 的超奇异 K3 曲面是否都存在不可约 Salem 型的自同构，即其在 Néron–Severi 晶格上的作用特征多项式为 22 次 Salem 多项式？
• RQ2 是否可在奇特征下，对特征 $ p \leq 17389 $ 的 Artin 不变量为 10 的超奇异 K3 曲面构造此类自同构？
• RQ3 双平面对合的方法能否生成在 Néron–Severi 晶格上作用产生 Salem 多项式的自同构，从而暗示其无法提升到特征零？
• RQ4 该方法在素数特征方面的计算极限是什么？是否覆盖了所有已知的奇特征下超奇异 K3 曲面？

主要发现

• 对于所有特征 $ p \leq 7919 $ 的超奇异 K3 曲面，均存在不可约 Salem 型的自同构，其在 $ S_X $ 上作用的特征多项式为 22 次 Salem 多项式。
• 对于特征 $ p \leq 17389 $ 的 Artin 不变量为 10 的超奇异 K3 曲面，此类不可约 Salem 型自同构也存在。
• 在 $ X(7) $ 上，三个双平面对合的乘积 $ M(h_1)M(h_2)M(h_3) $ 的特征多项式为一个 Salem 多项式，其具有约 994.15889 的正实根。
• 该自同构在 $ X(7) $ 上的特征多项式被显式计算为 $ t^{22} - 993t^{21} - 1152t^{20} - 123t^{19} + \cdots - 993t + 1 $，确认其为 Salem 多项式。
• 该构造方法完全为计算方法，依赖于充分列表和晶格几何来生成所需的对合。
• 结果表明，此类曲面的对 $ (X, g) $ 无法被提升到特征零，确认了此前未解决情况下的不可提升自同构。