[论文解读] Automorphism groups in a family of K3 surfaces

Keiji Oguiso|ArXiv.org|Apr 4, 2001

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

一句话总结

本文研究了复数域上一参数族 K3 曲面的自同构群行为。利用格理论方法和全局 Torelli 定理，证明在任意非平凡的射影族中，自同构群在纤维的稠密集上为无限群——这与自同构群在形变下缩小的预期相矛盾。关键结果是，即使在一般纤维的自同构群为有限群的情况下，自同构群仍可能变为无限群。

ABSTRACT

A few facts concerning the phrase "the automorphism groups become larger at special points of the moduli of K3 surfaces" are presented. It is also shown that the automorphism groups are of infinite order over a dense subset in any one-dimensional non-trivial family of projective K3 surfaces.

研究动机与目标

• 阐明 K3 曲面的自同构群在族中的形变行为。
• 检验‘自同构群在模空间的特殊点变大’这一直觉是否成立。
• 证明即使在一般纤维的自同构群为有限群的族中，自同构群仍可在纤维的稠密集上为无限群。
• 构造显式例子，表明在族中，Picard 数跳跃、有理曲线、椭圆纤维丛和自同构群大小可独立变化。
• 表明 K3 族中自同构群无限的现象不适用于高维 Calabi-Yau 流形。

提出的方法

• 利用 K3 曲面的全局 Torelli 定理，将自同构群与 Picard 格的正交群模 2-反射联系起来。
• 应用 K3 格结构 $\Lambda \cong U^3 \oplus E_8(-1)^2$，并通过标记数据 $\tau: R^2\varphi_*\mathbb{Z}_\mathcal{X} \to \Lambda \times \Delta$ 构造族。
• 通过点 $t \in \Delta$ 的稠密性定义一般纤维与特殊纤维，其中 $\rho(\mathcal{X}_t)$ 发生跳跃。
• 通过限制到与全纯 2-形式 $\omega$ 正交的线性子空间 $\mathcal{K}^i \subset \mathcal{P}$，构造五个显式族 $\mathcal{X}^i \to \Delta$。
• 分析 Picard 格 $\text{NS}(\mathcal{X}_t^i)$ 及其交形式，以判断 ample 锥是否与正锥重合，从而推断自同构群为无限。
• 利用如下事实：若 Picard 格的符号型为 $(1,\rho-1)$ 且无光滑有理曲线或椭圆纤维丛，则 $\text{Aut}(\mathcal{X}_t)$ 为无限群，因为正交群模有限核为无限。

实验结果

研究问题

• RQ1 在非平凡的一维族中，K3 曲面的自同构群是否可能在纤维的稠密集上变为无限群？
• RQ2 ‘自同构群在特殊点变大’这一直觉在多大程度上具有数学合理性？
• RQ3 是否存在某些族，其一般纤维的自同构群为有限群，但自同构群在纤维的稠密集上为无限群？
• RQ4 在族中，光滑有理曲线、椭圆纤维丛或 Picard 数跳跃是否可与自同构群大小相关联？
• RQ5 K3 族中自同构群无限的现象是否可推广至高维 Calabi-Yau 流形？

主要发现

• 在任意非平凡的射影族中，K3 曲面在单位圆盘上的族中，自同构群在纤维的稠密集上为无限群。
• 存在族使得一般纤维的自同构群为有限群（例如 $|\text{Aut}(\mathcal{X}_t)| < \infty$），但自同构群在纤维的稠密集上为无限群。
• 在构造的族 $\mathcal{U}^2 \to \mathcal{K}^2$ 中，一般纤维的 Picard 格的交形式为 $4x^2 - 4y^2 - 4z^2$，该形式不表示 $-2$，因此不存在光滑有理曲线，且 ample 锥与正锥重合，从而推出 $|\text{Aut}(\mathcal{U}_t^2)| = \infty$。
• 在族 $\mathcal{U}^3 \to \mathcal{K}^3$ 中，Picard 格为 $U \oplus \langle -8 \rangle$，椭圆纤维丛的 Mordell-Weil 格给出一个无限阶自同构，因此 $|\text{Aut}(\mathcal{U}_t^3)| = \infty$。
• 在族 $\mathcal{U}^4 \to \mathcal{K}^4$ 中，交形式 $12x^2 - 4y^2 - 4z^2$ 既不表示 $0$ 也不表示 $-2$，因此不存在光滑有理曲线或椭圆纤维丛，且再次有 $|\text{Aut}(\mathcal{U}_t^4)| = \infty$。
• 在非射影族 $\mathcal{U}^5 \to \mathcal{K}^5$ 中，Picard 格为 $U \oplus A_1(-1)$，中心纤维上无 ample 类，但 $|\text{Aut}(\mathcal{U}_t^5)| = \infty$，原因在于正交群结构。