[论文解读] Classification of order sixteen non-symplectic automorphisms on K3 surfaces

Dima Al Tabbaa, A. Sarti+1 more|arXiv (Cornell University)|Sep 19, 2014

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文分类了具有16阶非辛自同构的K3曲面，证明其固定点集仅由有理曲线和孤立点构成。全文完整分类了七个配置：当Picard秩为6时有两种，当秩为14时有五种，证明当秩为14时不存在此类K3曲面使得自同构在Picard群上作用平凡——纠正了文献中先前的错误。

ABSTRACT

We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial on the Néron-Severi group, then we show that its rank is six.

研究动机与目标

• 完成对具有16阶非辛自同构的K3曲面的完整分类，这一情况此前在一般情形下尚未被充分研究。
• 确定此类自同构作用下固定点集的结构，证明其仅包含有理曲线和孤立点。
• 通过证明不存在Picard秩为14的K3曲面允许16阶非辛自同构在Néron–Severi群上作用平凡，解决先前研究中的矛盾。
• 在除一种配置外的所有情况下构造此类K3曲面的显式例子，即当Picard群为$U(2)\oplus D_4\oplus E_8$且$(N,k)=(10,1)$时，其存在性仍为开放问题。

提出的方法

• 使用Lefschetz不动点公式计算孤立固定点和固定有理曲线的数量。
• 分析依赖于自同构在上同调上的作用的特征值分解，特别是$\sigma^i$在$i=1,2,4,8$时的特征子空间。
• 应用先前对4阶、8阶和16阶非辛自同构的分类结果，尤其关注对合与4阶自同构的研究。
• 通过$\sigma^4$的作用分析Néron–Severi格的结构，区分其固定椭圆曲线或亏格大于1的曲线的情形。
• 通过计算固定格在上同调中的正交补，得出模空间维数，证明当$\operatorname{rk} S(\sigma^8)=14$时模空间为零维。
• 通过椭圆纤维化和$\mathbb{P}^2$上关于特殊六次曲线的双覆盖构造显式几何例子，通过消除奇点来构造K3曲面。

实验结果

研究问题

• RQ1 在K3曲面上，16阶非辛自同构的固定点集可能有哪些配置？
• RQ2 Picard秩为14的K3曲面是否可能允许16阶非辛自同构在Néron–Severi群上作用平凡？
• RQ3 在不同Picard格类型下，孤立固定点数$N$和固定有理曲线数$k$如何变化？
• RQ4 此类自同构的K3曲面的模空间维数如何随Picard秩变化？
• RQ5 所有预测的配置，包括$(\operatorname{Pic}(X),N,k)=(U(2)\oplus D_4\oplus E_8,10,1)$的情况，是否都能实际实现为几何K3曲面？

主要发现

• 当$\operatorname{Pic}(X)$的秩为6时，存在两种配置：$(U\oplus D_4, 6, 1)$，其在Picard群上作用平凡；以及$(U(2)\oplus D_4, 4, 0)$，其作用非平凡。
• 当$\operatorname{Pic}(X)$的秩为14且$\sigma^4$固定一条椭圆曲线时，存在两种配置：$(N,k)=(8,1)$，此时$\sigma$保持$IV^*$纤维的所有分量不变；以及$(6,0)$，此时$\sigma$在纤维上作用为反射。
• 当$\operatorname{Pic}(X)$的秩为14且$\operatorname{Fix}(\sigma^4)$包含一条亏格大于1的曲线时，存在三种配置：$(U\oplus D_4\oplus E_8,12,1)$，$(U(2)\oplus D_4\oplus E_8,4,0)$，以及$(U(2)\oplus D_4\oplus E_8,10,1)$。
• 配置$(U(2)\oplus D_4\oplus E_8,10,1)$在构造中未被实现，其存在性仍为开放问题。
• 不存在Picard秩为14的K3曲面允许16阶非辛自同构在Néron–Severi群上作用平凡，纠正了先前文献中的错误。
• 当$\operatorname{rk} S(\sigma^8)=14$时模空间为零维，当$\operatorname{rk} S(\sigma^8)=6$时为一维，表明此类K3曲面仅有有限多个或为一参族。