[论文解读] Order 6 non-symplectic automorphisms of K3 surfaces

Jimmy Dillies|arXiv (Cornell University)|Dec 28, 2009

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本文通过将问题约化为对3阶非辛自同构的分类并分析局部不动点集，对K3曲面上的6阶原始非辛自同构进行了分类。关键贡献在于对可能的不动点集的完整描述——要么是一个具有三个类型为$\frac{1}{6}(2,5)$的孤立不动点的亏格1曲线，要么是满足特定拓扑约束的有理曲线与孤立点的不相交并集——并发现具有固定Picard格的K3曲面在此自同构结构下成镜像对出现。

ABSTRACT

We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we determine the possible fixed loci and show that when the Picard lattice is fixed, K3 surfaces come in mirror pairs.

研究动机与目标

• 对K3曲面上的6阶原始非辛自同构进行分类。
• 将分类问题约化为对3阶非辛自同构的研究及局部不动点集分析。
• 确定此类自同构可能的全部不动点集。
• 研究这些自同构的模空间及其几何结构。
• 探索当Picard格保持不变时的对偶性质，建立此情境下的镜像对称性。

提出的方法

• 使用不动点附近的线性化局部作用，通过$\frac{1}{6}(k,k')$记号对孤立不动点进行分类。
• 通过$\zeta^2$将6阶自同构问题约化为对3阶非辛自同构的分类。
• 应用Lefschetz不动点公式及拓扑约束，推导出不动点与曲线计数之间的关系。
• 利用Hodge指标定理及偶性无子模格的分类，分析自同构不变下的Picard格。
• 构造模空间$\mathcal{M}_{n,k}^{\mathrm{id}}$和$\mathcal{M}_{n,k}^{\mathbb{Z}/2\mathbb{Z}}$，分别对应$\zeta$-椭圆情形与对合情形。
• 使用Dolgachev的镜像对定义，建立具有互补Picard格的K3曲面之间的对偶性。

实验结果

研究问题

• RQ1 K3曲面上的6阶原始非辛自同构的可能不动点集是什么？
• RQ2 此类自同构的分类问题如何约化为对3阶非辛自同构的研究？
• RQ3 在何种条件下，具有固定Picard格的K3曲面会允许此类自同构存在？其模空间的几何结构如何？
• RQ4 这些自同构的模空间之间以及与3阶自同构基底情形的模空间之间有何关系？
• RQ5 在Picard格保持不变的情况下，此类自同构的K3曲面是否如Dolgachev所定义的那样构成镜像对？

主要发现

• 6阶原始非辛自同构的不动点集要么是一个具有三个类型为$\frac{1}{6}(2,5)$的孤立不动点的亏格1曲线，要么是满足$p_{\frac{1}{6}(3,4)} + 2p_{\frac{1}{6}(2,5)} - 6l^{[1]} = 6$的有理曲线与孤立点的不相交并集。
• 对于K3曲面上任意一个3阶非辛自同构，存在一个对应的K3曲面，其上存在一个6阶原始非辛自同构，且其平方作用即为原始的3阶自同构。
• 当Picard格保持不变时，Picard格必为无子模格，且同构于$U$、$U \oplus E_8$或$U \oplus E_8^2$。
• 具有固定Picard格的K3曲面成镜像对出现：$U^i \oplus E_8^j$与$U^{2-i} \oplus E_8^{2-j}$，从而在该情境下确认了镜像对称性。
• $\mathcal{M}_{n,k}^{\mathrm{id}}$与$\mathcal{M}_{n,k}^{\mathbb{Z}/2\mathbb{Z}}$均为不可约的，且分别位于$\mathcal{M}_{0,2}^{\mathrm{id}}$与$\mathcal{M}_{0,2}^{\mathbb{Z}/2\mathbb{Z}}$的闭包中。
• 在$\zeta$-椭圆情形下，不动点集由$\zeta^2$的不动点集唯一确定，且模空间同构于相应未标记模空间的子簇。