[论文解读] A lifting of an automorphism of a K3 surface over odd characteristic

Junmyeong Jang|arXiv (Cornell University)|Jul 22, 2014

Algebraic Geometry and Number Theory参考文献 1被引用 3

一句话总结

本文在奇特征代数闭域上建立了 K3 曲面自同构的提升定理。证明了有限高度 K3 曲面的弱驯服自同构，以及某些超奇异 K3 曲面的非辛或辛自同构，可以提升到 Witt 环上。关键贡献在于：对于有限高度的弱驯服 K3 曲面，其整个自同构群存在全局提升；对于特定阶数的纯非辛自同构，K3 曲面具有唯一性。

ABSTRACT

In this paper, we prove that, over an algebraically closed field of odd characteristic, a weakly tame automorphism of a K3 surface of finite height can be lifted over the ring of Witt vectors of the base field. Also we prove that a non-symplectic tame automorphism of a supersingular K3 surface or a symplectic tame automorphism of a supersingular K3 surface of Artin-invariant at least 2 can be lifted over the ring of Witt vectors. Using these results, we prove, for a weakly tame K3 surface of finite height, there is a lifting over the ring of Witt vectors to which whole the automorphism group of the K3 surface can be lifted. Also we prove a K3 surface equipped with a purely non-symplectic automorphism of a certain order is unique up to isomorphism.

研究动机与目标

• 证明在奇特征域上，有限高度 K3 曲面的弱驯服自同构可被提升到基域的 Witt 环上。
• 将此提升结果推广至超奇异 K3 曲面的非辛或辛驯服自同构。
• 证明对于有限高度的弱驯服 K3 曲面，其整个自同构群可在 Witt 环上实现全局提升。
• 在奇特征代数闭域上，建立配备特定阶数纯非辛自同构的 K3 曲面的唯一性。

提出的方法

• 利用晶状上同调与斜率分解分析自同构在 K3 曲面第二晶状上同调上的作用。
• 通过自同构作用下的稳定子模构造 K3 曲面在 Witt 环上的 Néron–Severi 群保持提升。
• 应用正特征下 K3 曲面的 Torelli 型定理，将上同调上的自同构作用与几何自同构联系起来。
• 利用在超越格上与在全纯二形式上的表示之间的相容性，通过线性作用的相容提升来实现自同构的提升。
• 利用形式 Brauer 群的 Dieudonné 模结构分析高度与晶状上同调分解。
• 通过基变换到复数域将问题约化为复几何，以引用复 K3 曲面在纯非辛自同构下的已知唯一性结果。

实验结果

研究问题

• RQ1 在奇特征下，有限高度 K3 曲面的弱驯服自同构是否可被提升到 Witt 环上？
• RQ2 超奇异 K3 曲面的非辛或辛驯服自同构是否可在 Witt 环上实现提升？
• RQ3 对于有限高度的弱驯服 K3 曲面，其整个自同构群是否可在 Witt 环上实现全局提升？
• RQ4 对于给定阶数 $ N \in \Sigma = \{13,17,19,25,27,32,33,40,44,50,66\} $，在不整除 $ 2N $ 的奇特征代数闭域上，是否存在唯一一个配备阶数为 $ N $ 的纯非辛自同构的 K3 曲面？
• RQ5 自同构的提升是否存在是否意味着基域上 K3 曲面的唯一性？

主要发现

• 在奇特征代数闭域上，有限高度 K3 曲面的弱驯服自同构可被提升到基域的 Witt 环上。
• 超奇异 K3 曲面的非辛驯服自同构或 Artin 不变量至少为 2 的超奇异 K3 曲面的辛驯服自同构，均可被提升到 Witt 环上。
• 对于有限高度的弱驯服 K3 曲面，存在一个在 Witt 环上的提升，使得该曲面的整个自同构群可提升至一般纤维。
• 在奇特征下，K3 曲面的晶状超越格的秩可被 $ \phi(N) $ 整除，其中 $ N $ 是自同构在全纯二形式表示中的像的阶。
• 对于 $ N \in \Sigma $，配备阶数为 $ N $ 的纯非辛自同构的 K3 曲面，在不整除 $ 2N $ 的奇特征代数闭域上，其同构类唯一。
• 配备阶数为 $ N \in \Sigma $ 的纯非辛自同构的唯一 K3 曲面可定义在有限域上，其约化同构于相应复 K3 曲面的良好约化。