[论文解读] Extensions of maximal symplectic actions on K3 surfaces

Simon Brandhorst, Kenji Hashimoto|arXiv (Cornell University)|Oct 14, 2019

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

一句话总结

该论文分类了复K3曲面上有限自同构群$G$，其中辛子群$G_s$为Mukai的11个极大辛群之一，且$G_s \lneq G$。通过格理论对正交子群的分类及Torelli定理，证明了42对$(X,G)$的存在性与唯一性，所有此类对均为刚性，对应于Picard数为20的奇异K3曲面。

ABSTRACT

We classify pairs $(X,G)$ consisting of a complex K3 surface $X$ and a finite group $G \leq Aut(X)$ such that the subgroup $G_s \lneq G$ consisting of symplectic automorphisms is among the $11$ maximal symplectic ones as classified by Mukai.

研究动机与目标

• 分类所有复K3曲面上的有限自同构群$G$，使得其辛部分$G_s$为Mukai的11个极大辛群之一。
• 当$G_s \lneq G$时，确定$G$的结构，特别关注由循环群$\mu_n$扩展的情况。
• 确立此类K3曲面必为奇异曲面（Picard数20）且为刚性，即无模参数。
• 为42对中的25对提供显式射影模型，其余17对列为开放问题。
• 推导出$G \cong M_{20} \rtimes \mu_4$的K3曲面的完整自同构群结构及其射影方程。

提出的方法

• 在K3格$\Lambda \cong H^2(X,\mathbb{Z})$的正交群$O(\Lambda)$中，按共轭类分类保持辛作用的有限子群。
• 利用K3曲面的强Torelli定理，确保格极化工厂确定曲面的同构类。
• 应用周期映射的满射性，保证具有给定格与群作用的此类K3曲面存在。
• 通过K3曲面上度数为40的非常 ample 线丛$l$的完全线性系统，构造显式射影模型。
• 利用Cremona变换与不变量理论，通过奇点的解析，将自同构从商曲面$Y$提升至K3曲面$X$。
• 使用Singular等计算代数工具，特别在非正规模型$\overline{X} \subset \mathbb{P}^5$的定义理想上，验证自同构作用。

实验结果

研究问题

• RQ1 哪些有限群$G$能作为$\operatorname{Aut}(X)$中给定的极大辛群$G_s$（Mukai的11个之一）的真子群而扩展？
• RQ2 此类曲面的几何与算术性质为何，特别是关于其Picard数与模参数？
• RQ3 能否为具有此类扩展群作用的K3曲面及其自同构构造显式射影方程？
• RQ4 非辛部分$G/G_s \cong \mu_n$如何影响格极化工厂与曲面的几何？
• RQ5 这些奇异K3曲面的完整自同构群$\operatorname{Aut}(X)$的结构为何？

主要发现

• 恰好存在42个同构类的对$(X,G)$，其中$G_s$为11个极大辛群之一，且$G_s \lneq G$。
• 所有此类K3曲面$X$均为奇异曲面（即Picard数为20），且为刚性曲面，即不接受非平凡形变。
• 非辛部分$G/G_s$恒为偶数阶循环群，且对$(X,G)$在同构意义下由$G_s$与$G/G_s$中任意对合唯一确定。
• 在42对中，有25对通过度数为40的完全线性系统在$\mathbb{P}^{21}$中给出了显式射影方程。
• 具有$G \cong M_{20} \rtimes \mu_4$的K3曲面被实现为$\mathbb{P}^5$中类型$(2,2,2)$的完全交的解析，且存在显式Cremona变换以提升自同构。
• 该$M_{20} \rtimes \mu_4$-曲面的完整自同构群由辛群$M_{20}$与一个4阶非辛自同构生成，其在上同调上的作用通过格等距实现。