[论文解读] Dynamics on supersingular K3 surfaces

Matthias Schuett|arXiv (Cornell University)|Feb 24, 2015

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

一句话总结

该论文在奇特征 $p \equiv 2 \mod 3$ 下，通过椭圆纤维化和 Mordell-Weil 格的构造，显式构建了 Artin 不变量为 1 的 supersingular K3 曲面的自同构，并计算了其在上同调上的作用。该自同构的 Salem 多项式次数为 22，证明其无法提升至任何特征零模型，从而首次提供了具有最大动力学复杂度的此类非提升自同构的系统无限族。

ABSTRACT

For any odd characteristic p=2 mod 3, we exhibit an explicit automorphism on the supersingular K3 surface of Artin invariant one which does not lift to any characteristic zero model. Our construction builds on elliptic fibrations to produce a closed formula for the automorphism's characteristic polynomial on second cohomology, which turns out to be an irreducible Salem polynomial of degree 22 with coefficients varying with p.

研究动机与目标

• 在正特征下显式构造 supersingular K3 曲面上不提升至特征零的自同构。
• 为 $p \equiv 2 \mod 3$ 提供此类自同构的系统无限族，扩展先前零星的实例。
• 利用 Mordell-Weil 格和椭圆纤维化，计算自同构在第二上同调上的特征多项式。
• 确立自同构的 Salem 度为 22，意味着其具有最大动力学复杂度。
• 证明在无穷多个特征下，Artin 不变量为 1 的 supersingular K3 曲面存在非提升自同构。

提出的方法

• 构造基于 Artin 不变量为 1 的 supersingular K3 曲面的特定椭圆纤维化，利用其已知的几何结构。
• 自同构通过通用纤维上理点的平移与双椭圆对合的复合构造而成。
• 通过 Mordell-Weil 格结构计算其在上同调上的作用，利用同构关系 $\mathop{\rm MW}(X) \cong \mathop{\rm NS}(X)/\mathop{\rm Triv}(X)$。
• 自同构在 $\mathop{\rm NS}(X)$ 上的特征多项式推导为 $\mu(g^*) = x^{11} \phi(x + 1/x)$，其中 $\phi(x)$ 是一个系数依赖于 $n$ 的 11 次多项式，且满足 $p = 3n + 2$。
• 通过模运算排除分圆因子，验证该多项式在 $\mathbb{Z}$ 上的不可约性。
• 通过反证法证明其非提升性：若 $g$ 可提升，则其上同调作用将要求 $\rho = 22$，与复 K3 曲面上 $\rho \leq 20$ 的 Lefschetz 界矛盾。

实验结果

研究问题

• RQ1 能否在正特征下显式且系统地构造出 supersingular K3 曲面上 Salem 度为 22 的非提升自同构？
• RQ2 此类自同构的上同调作用为何？能否通过椭圆纤维化和 Mordell-Weil 格计算？
• RQ3 自同构在上同调上作用的特征多项式是否在无穷多个满足 $p \equiv 2 \mod 3$ 的素数下保持不可约且为 Salem 型？
• RQ4 能否利用上同调约束和 Hodge 指标定理严格证明自同构的非提升性？
• RQ5 是否存在其他更简单、次数不超过 20 的自同构也无法提升？其特征多项式与前述者相比如何？

主要发现

• 所构造的自同构 $g \in \mathop{\rm Aut}(X(p))$ 在 $\mathop{\rm NS}(X(p))$ 上的特征多项式为 $\mu(g^*) = x^{11} \phi(x + 1/x)$，其中 $\phi(x)$ 是一个系数依赖于 $n$ 的 11 次多项式，且满足 $p = 3n + 2$。
• 当所有满足 $3n + 2$ 为素数的 $n \in \mathbb{N}$ 时，多项式 $\phi(x)$ 在 $\mathbb{Z}$ 上不可约，确保自同构的 Salem 度为 22。
• 自同构 $g$ 无法提升至 $X(p)$ 的任何特征零模型，因其上同调作用将要求 $\rho = 22$，与复 K3 曲面上的 Lefschetz 界 $\rho \leq 20$ 矛盾。
• 任何非零幂 $g^r$ 均无法提升至特征零，因为每个此类幂也具有不可约的 22 次 Salem 多项式。
• 构造了一个更简单的自同构 $g'$，其次数为 20，满足 $\mu(g^{\prime*}) = (x-1)(x+1)\psi(x)$，其中 $\psi(x)$ 是一个 20 次的 Salem 多项式，同样因上同调约束而无法提升。
• 该构造是显式且系统的，首次为 supersingular K3 曲面上具有最大动力学度的非提升自同构提供了无限族。