[论文解读] Elliptic K3 surfaces with abelian and dihedral groups of symplectic automorphisms

Alice Garbagnati|ArXiv.org|Apr 9, 2009

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文研究了具有阿贝尔群与二面体群的对称辛自同构并保持纤维结构的椭圆K3曲面。通过扭截面与基自同构构造商纤维结构，证明了商曲面的内森-塞韦里群与 $U \oplus M_G$ 同构，并建立了不同构造所得格形之间（包括 $\Omega_G$、$M_G$ 以及志田与格里茨科-拉姆的构造）的同构关系。

ABSTRACT

We analyze K3 surfaces admitting an elliptic fibration $E$ and a finite group $G$ of symplectic automorphisms preserving this elliptic fibration. We construct the quotient elliptic fibration $E/G$ comparing its properties to the ones of $E$. We show that if $E$ admits an $n$-torsion section, its quotient by the group of automorphisms induced by this section admits again an $n$-torsion section. Considering automorphisms coming from the base of the fibration, we can describe the Mordell--Weil lattice of a fibration described by Kloosterman. We give the isometries between lattices described by the author and Sarti and lattices described by Shioda and by Griees and Lam. Moreover we show that for certain groups $H$ of $G$, $H$ subgroups of $G$, a K3 surface which admits $H$ as group of symplectic automorphisms actually admits $G$ as group of symplectic automorphisms.

研究动机与目标

• 分析具有椭圆纤维结构及保持纤维的有限对称辛自同构群的K3曲面。
• 构造并比较商椭圆纤维结构 $\mathcal{E}/G$ 与原始 $\mathcal{E}$，尤其关注扭截面与奇点纤维。
• 确定商曲面的内森-塞韦里群，并将其与格形 $U \oplus M_G$ 和 $U \oplus \Omega_G$ 关联。
• 建立来自不同来源的格形之间的同构关系：$\Omega_G$、$M_G$，以及志田与格里茨科-拉姆的构造。
• 研究当K3曲面允许对称辛自同构子群 $H$ 时，其是否必然允许完整群 $G$，并基于格形秩条件进行分析。

提出的方法

• 通过保持椭圆纤维结构的有限对称辛自同构群 $G$ 构造商纤维结构 $\mathcal{E}/G$。
• 利用如下性质：若 $\mathcal{E}$ 具有 $n$-扭截面，则 $\mathcal{E}/\sigma_t$ 也具有 $n$-扭截面，从而保持纤维结构。
• 分析 $\mathbb{P}^1$ 的基自同构所诱导的自同构，特别针对二面体群 $\mathcal{D}_n$，并计算所得商曲面。
• 应用Mordell–Weil格形与内森-塞韦里群理论，通过同构关系关联 $NS(X)$ 与 $NS(\widetilde{X/G})$。
• 使用格形理论技术比较 $\Omega_G$、$M_G$ 与志田及格里茨科-拉姆构造的格形，通过秩与本原性论证建立同构关系。
• 证明：当且仅当 $H \subset G$ 且 $\text{rk } \Omega_H = \text{rk } \Omega_G$ 时，对偶 $(H,G)$ 满足性质 (P)（即 $H$-辛自同构蕴含 $G$-辛自同构）。

实验结果

研究问题

• RQ1 当由扭截面诱导的对称辛自同构作用于椭圆纤维结构时，其商结构在何种条件下仍保持存在扭截面？
• RQ2 当自同构保持纤维结构时，原始与商K3曲面的内森-塞韦里群之间有何关系？
• RQ3 格形 $\Omega_G$、$M_G$ 与志田及格里茨科-拉姆构造的格形之间存在何种关系？
• RQ4 当K3曲面允许对称辛自同构子群 $H$ 时，其在何种条件下必然也允许完整群 $G$？
• RQ5 哪些有限群对 $(H,G)$ 满足 $H$-辛自同构蕴含 $G$-辛自同构？该性质如何通过格形理论刻画？

主要发现

• 若椭圆纤维结构 $\mathcal{E}$ 具有 $n$-扭截面，则由该截面诱导的自同构的商结构 $\mathcal{E}/\sigma_t$ 也具有 $n$-扭截面。
• 商曲面 $\widetilde{X/\sigma_t}$ 的内森-塞韦里群与 $U \oplus M_G$ 同构，其中 $M_G$ 是与群 $G$ 关联的格形。
• 对于某些阿贝尔群 $G$，商曲面的内森-塞韦里群与 $U \oplus \Omega_G$ 同构，从而为 $\Omega_G$ 提供了作为Mordell–Weil格形的几何解释。
• 格形 $\Omega_G$ 与Mordell–Weil格形 $MW(F^{(n)}_{\text{gen}})$ 同构（当 $n=5,6$ 时），且与 $DIH_{2n}(16)$ 同构（当 $n=5,6$ 时），此结果通过与志田及格里茨科-拉姆构造的比较得以证明。
• 当且仅当 $H \subset G$ 且 $\text{rk } \Omega_H = \text{rk } \Omega_G$ 时，对 $(H,G)$ 满足 $H$-辛自同构蕴含 $G$-辛自同构的性质，此类对仅存在于特定群中，如 $\mathbb{Z}/5\mathbb{Z} \subset \mathcal{D}_5$。
• 当 $\text{rk } \Omega_G = 16$ 时，满足性质 (P) 的唯一对 $(H,G)$ 为：$\mathbb{Z}/5\mathbb{Z} \subset \mathcal{D}_5$，$\mathbb{Z}/6\mathbb{Z} \subset \mathcal{D}_6$，$\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} \subset \mathbb{Z}/2\mathbb{Z} \times \mathcal{D}_4$，以及 $(\mathbb{Z}/3\mathbb{Z})^2 \subset \mathfrak{A}_{3,3}$。