[论文解读] K3-surfaces with special symmetry

Kristina Frantzen|ArXiv.org|Feb 23, 2009

Finite Group Theory Research参考文献 25被引用 6

一句话总结

本文对配备有中心化有限辛自同构群的反辛对合的K3曲面进行分类，特别关注阶大于96的Mukai群。利用等变Mori理论与不变量理论，证明此类K3曲面为Del Pezzo曲面的双重覆盖，并根据其几何不变量与群作用提供了这些曲面的完整分类，包括来自群$L_2(7)$、$A_6$、$S_5$及其他群的新例子。

ABSTRACT

In this dissertation classification problems for K3-surfaces with finite group actions are considered. Special emphasis is put on K3-surfaces with antisymplectic involutions and compatible actions of symplectic transformations. Given a finite group $G$ it is investigated if it can act in a compatible fashion on a K3-surfaces $X$ with antisymplectic involution and to what extend the action of $G$ determines the geometry of $X$. If $G$ has large order or rich structure a precise description of $X$ as a branched double cover of a Del Pezzo surface is obtained. In particular, this leads to classification results for the complete list of eleven maximal finite groups of symplectic automorphisms of K3-surfaces. The remaining part of the thesis deals with generalizations to non-maximal groups and K3-surfaces with non-symplectic automorphisms of higher order. The classification relies on an equivariant minimal model program for surfaces, the study of finite group actions on Del Pezzo surfaces, and the combinatorial intersection geometry of naturally associated exceptional and fixed point curves.

研究动机与目标

• 对同时允许Mukai群的辛作用且被一个反辛对合与之交换的K3曲面进行分类。
• 确定此类K3曲面的几何结构，尤其当群阶大于96时。
• 通过群论与双有理几何技术，识别作为Del Pezzo曲面等变双重覆盖的新K3曲面例子。
• 通过分析群作用下的不动点集、分支曲线与Mori纤维丛，细化分类。
• 提供所有可能的对$(X, G)$的完整列表，其中$G$为Mukai群，作用于K3曲面$X$且为辛作用，并被一个具有非空不动点集的反辛对合作用所中心化。

提出的方法

• 应用等变Mori理论分析不变曲线锥，并构造具有群作用的曲面的$G$-极小模型。
• 在有限群作用背景下应用收缩定理，将曲面约化为极小模型，同时保持对称性。
• 分析商曲面$Y = X / \sigma$中的分支曲线与Mori纤维，特别区分有理与椭圆分支。
• 利用不变量理论确定射影空间中的$G$-不变二次曲面与三次曲面，尤其针对$N_{72}$与$M_9$等群。
• 应用表示论，通过显式矩阵表示从$\mathbb{P}^2$或$\mathbb{P}^3$将群作用提升至K3曲面，实现双重覆盖。
• 利用反辛对合的中心化子结构，对可能的商曲面及其不变量（包括亏格与奇点）进行分类。

实验结果

研究问题

• RQ1 哪些有限辛群$G$可作用于K3曲面$X$，同时被一个满足$\mathrm{Fix}(\sigma) \neq \emptyset$的反辛对合$\sigma$中心化？
• RQ2 当$|G| > 96$时，商曲面$Y = X / \sigma$的结构为何？其与Del Pezzo曲面有何关联？
• RQ3 能否通过群作用构造出具有最大辛对称性的K3曲面新例子，作为Del Pezzo曲面的双重覆盖？
• RQ4 此类K3曲面的不变量（如Picard格、不动曲线的亏格）为何？其如何依赖于群$G$？
• RQ5 对于哪些Mukai群存在一个K3曲面，其配备有一个中心化$G$且具有非空不动点集的反辛对合？

主要发现

• 若$|G| > 96$，则$X / \sigma$为Del Pezzo曲面，且不动曲线$\mathrm{Fix}(\sigma)$为亏格$g \geq 3$的光滑连通曲线。
• 表4.1中提供了所有对$(X, G)$的完整分类，其中$G$为Mukai群，作用于K3曲面且被一个具有非空不动点集的反辛对合作用所中心化。
• 新K3曲面例子作为度数为3与5的Del Pezzo曲面的等变双重覆盖出现，尤其针对$G = L_2(7)$、$A_6$、$S_5$、$M_{20}$、$F_{384}$、$A_{4,4}$、$T_{192}$、$H_{192}$、$N_{72}$、$M_9$与$T_{48}$。
• 对于群$N_{72} = C_3^2 \rtimes D_8$，在$\mathbb{P}^3$中存在唯一的$N_{72}$-不变二次曲面$x_1x_2 + x_3x_4 = 0$与唯一的不变三次曲面$x_1^3 + x_2^3 + x_3^3 + x_4^3 = 0$。
• 对于$M_9 = (C_3 \times C_3) \rtimes Q_8$，其在$\mathbb{P}^2$上的作用通过显式矩阵表示实现，其中$-1$作为置换矩阵作用，$I$、$J$由单位根参数确定。
• 群$L_2(7)$被一个反辛对合作用中心化，对应的K3曲面被证明为度数为3的Del Pezzo曲面的双重覆盖，与Klein的四次曲线相关。