[论文解读] The automorphism group of the singular K3 surface of discriminant 7

Ujikawa Masashi|arXiv (Cornell University)|Jul 16, 2013

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

一句话总结

本文利用与类型 $A_7$、$D_7$ 和 $E_7$ 的椭圆纤维化相关的反转对合，以及群 ${\rm PGL}_2(7)$，为判别式为 7 的奇异 K3 表面的自同构群提供了一套完整的生成元。关键结果是这些生成元构成一个分裂扩张，通过嵌入在 $II_{1,25}$ 晶格中的 Néron–Severi 晶格的几何结构以及 Conway 的基本域，完全描述了自同构群。

ABSTRACT

We give a system of generators of the automorphism group of the singular $K3$ surface of discriminant 7. This system of generators consists of the inversion involutions of some elliptic fibrations with a section together with ${ m PGL}_2(7)$.

研究动机与目标

• 确定判别式为 7 的奇异 K3 表面自同构群的完整生成元系统，其为判别式 3 和 4 之后最小的下一个判别式。
• 将此前用于判别式 3 和 4 的方法扩展至更高判别式的情形，借助晶格嵌入和反射群。
• 通过一组有限个几何意义明确的变换（特别是椭圆纤维化的反转对合与有限群作用）来描述自同构群。
• 建立自同构群是 ${\rm PGL}_2(7)$ 关于由反转对合生成的正规子群的分裂扩张。

提出的方法

• 将判别式为 7 的奇异 K3 表面的 Néron–Severi 晶格 $S_X$ 嵌入到偶的无子晶格 $II_{1,25}$ 中，作为 $A_6$ 根晶格的正交补。
• 利用 $II_{1,25}$ 的反射群的 Conway 基本域 $D$，其面与 Leeche 晶格向量一一对应。
• 将 $D$ 限制到 $S_X \otimes \mathbb{R}$，得到一个具有有限多个面的多面体锥 $D'$，该锥位于 ample 锥 $D(S_X)$ 内部。
• 将 $D'$ 的面与根系对应：$A_6 \oplus A_1$、$A_7$、$D_7$ 和 $E_7$，每种对应 K3 表面的一种几何结构。
• 为每类面型（$R = A_7, D_7, E_7$）构造反转对合 $\iota_R$，其作为保持 ample 锥的对称性作用。
• 证明由这些对合与 ${\rm PGL}_2(7)$ 生成的群作用于 ample 锥，因此也作用于 K3 表面，且构成其完整的自同构群。

实验结果

研究问题

• RQ1 判别式为 7 的奇异 K3 表面的自同构群的完整生成元系统是什么？
• RQ2 如何利用椭圆纤维化和根系等几何结构来描述自同构群？
• RQ3 自同构群能否被实现为包含 ${\rm PGL}_2(7)$ 和反转对合的分裂扩张？
• RQ4 受限的 Conway 基本域 $D'$ 的面在多大程度上对应于 K3 表面的几何特征？
• RQ5 由反转对合与 ${\rm PGL}_2(7)$ 生成的群是否足以生成该表面的完整自同构群？

主要发现

• 判别式为 7 的奇异 K3 表面的自同构群由与类型 $A_7$、$D_7$ 和 $E_7$ 的椭圆纤维化相关的反转对合，以及群 ${\rm PGL}_2(7)$ 生成。
• Conway 基本域 $D$ 限制到 $S_X \otimes \mathbb{R}$ 后得到一个具有有限多个面的多面体锥 $D'$，从而可显式计算自同构群。
• $D'$ 的面对应于根系 $A_6 \oplus A_1$、$A_7$、$D_7$ 和 $E_7$，每种均与 K3 表面的一种几何结构相关联。
• 对 $R = A_7, D_7, E_7$ 的反转对合 $\iota_R$ 在 ample 锥上作为对称性作用，并保持晶格结构。
• 自同构群是有限群 ${\rm PGL}_2(7)$ 关于由反转对合生成的正规子群的分裂扩张。
• 证明表明，任何该表面的自同构均可与生成群中的某个元素复合，使其落入 ample 锥 $D(S_X)$ 的自同构群中，从而确认了生成元的完备性。