[论文解读] On $μ_{n}$-actions on K3 surfaces in positive characteristic

Yuya Matsumoto|arXiv (Cornell University)|Oct 19, 2017

Advanced Algebra and Geometry参考文献 13被引用 4

一句话总结

本文引入了在正特征 $p$ 下，当 $p$ 整除 $n$ 时，群概形 $μ_n$ 在具有有理双 singularity (RDP) 的 K3 曲面上的辛作用的概念。它证明了辛 $μ_n$-作用的行为类似于特征 0 下的辛自同构：若为辛作用，则商曲面为 RDP K3 曲面；否则为 RDP Enriques 曲面或有理曲面。证明了在 RDP K3 曲面上，辛 $μ_n$-作用的最大阶为 $n \leq 8$，且当 $n = p$ 时，仅当 $p \leq 19$ 时存在。结果通过在 RDP 点和光滑点处对 $μ_n$-作用的局部分类获得，且提供了辛局部作用的完整分类。

ABSTRACT

In characteristic $0$, symplectic automorphisms of K3 surfaces (i.e.\ automorphisms preserving the global $2$-form) and non-symplectic ones behave differently. In this paper we consider the actions of the group schemes $μ_{n}$ on K3 surfaces (possibly with rational double point singularities) in characteristic $p$, where $n$ may be divisible by $p$. We introduce the notion of symplecticness of such actions, and we show that symplectic $μ_{n}$-actions have similar properties, such as possible orders, fixed loci, and quotients, to symplectic automorphisms of order $n$ in characteristic $0$. We also study local $μ_n$-actions on rational double points.

研究动机与目标

• 将 K3 曲面上辛自同构的理论推广到正特征，特别是当群阶被特征整除时。
• 在 RDP K3 曲面上定义并研究 $μ_n$-作用的辛性，因为光滑 K3 曲面不允许可除 $\u03bc_p$-作用。
• 对 RDP 点和光滑点处的局部 $μ_n$-作用进行分类，特别是 $μ_p$ 和 $μ_{p^e}$ 的情形，确定其固定点集和商奇点。
• 确定在正特征下，RDP K3 曲面上 $μ_n$-作用可能的最大阶，并刻画此类作用存在的条件。
• 在正特征下建立经典特征 0 结果（如 Nikulin 的商定理）的类比，即使对野生作用也成立。

提出的方法

• 在光滑点和 RDP 处的局部环上引入 $μ_n$-作用的辛性概念，推广经典辛自同构条件。
• 通过形式幂级数和不变量理论分析局部 $μ_n$-作用，利用加权坐标和粘合数据，按同构类对可能的作用进行分类。
• 利用商态射 $\pi: X \to X/\u03bc_n$ 研究固定点像处奇点的性质，区分 RDP 与非 RDP 奇点。
• 应用 Artin 对 RDP 及其形式同构类的分类，特别是在特征 2、3、5 下，其对偶图不能完全分类的情形。
• 在代数闭正特征域上构造显式例子，实现 K3 曲面上各种 $μ_n$-作用，包括椭圆、双六次和四次模型。
• 应用群概形理论和 $μ_n$ 的表示理论，特别是 $n = p^e$ 的情形，分析固定点结构和商奇点。

实验结果

研究问题

• RQ1 在正特征下，什么条件定义了 K3 曲面上 $μ_n$-作用的辛性，特别是当 $p \mid n$ 时？
• RQ2 在辛与非辛 $μ_n$-作用下，商曲面 $X/\u03bc_n$ 如何表现，其表现出何种奇点？
• RQ3 在特征 $p$ 下，RDP K3 曲面上存在辛 $μ_n$-作用的可能最大阶 $n$ 是多少？
• RQ4 对于哪些素数 $p$ 和整数 $n$，存在具有 $μ_n$-作用的 RDP K3 曲面，且固定点如何影响商曲面？
• RQ5 RDP 处 $μ_n$-作用的局部结构能否被完全分类，该分类如何决定 K3 曲面上的整体行为？

主要发现

• RDP K3 曲面在辛 $μ_n$-作用下的商曲面仍是 RDP K3 曲面，推广了特征 0 下 Nikulin 的结果。
• 当 $n = p$ 时，若 $μ_p$-作用无固定点，则非辛作用产生 RDP Enriques 曲面（仅当 $p = 2$ 时可能）；否则产生有理曲面。
• RDP K3 曲面存在 $μ_p$-作用当且仅当 $p \leq 19$，且此类作用仅对特定的 $n$ 依赖于 $p$ 存在。
• 在 RDP K3 曲面上，辛 $μ_n$-作用的最大阶为 $n = 8$，且仅当 $n \leq 8$ 时存在。
• 辛 $μ_n$-作用的固定点数被确定：当 $n = 8$ 时，有 8 个孤立固定点；当 $n = 4$ 时，有 4 个固定点，依此类推。
• 提供了 RDP 上局部辛 $μ_n$-作用的完整分类，其中 $μ_p$-作用的显式标准型列于表 3 和表 4 中。