[论文解读] The dihedral group $\Dh_5$ as group of symplectic automorphisms on K3 surfaces

Alice Garbagnati|arXiv (Cornell University)|Dec 24, 2008

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

一句话总结

本文证明，若一个 K3 曲面允许一个阶为 5 的辛自同构，则其必然允许整个二面体群 $Δ_5$（阶为 10）作为辛自同构群。$Δ_5$-不变同调的正交补是一个秩为 16 的格 L，该文证明 L 同构于 Griess 与 Lam 构造的格，并提供了 L 的显式初等构造。

ABSTRACT

We prove that if a K3 surface $X$ admits $\Z/5\Z$ as group of symplectic automorphisms, then it actually admits $\Dh_5$ as group of symplectic automorphisms. The orthogonal complement to the $\Dh_5$-invariants in the second cohomology group of $X$ is a rank 16 lattice, $L$. It is known that $L$ does not depend on $X$: we prove that it is isometric to a lattice recently described by R. L. Griess Jr. and C. H. Lam. We also give an elementary construction of $L$.

研究动机与目标

• 建立 K3 曲面上存在辛 $Δ/5Δ$-作用与完整 $Δ_5$-作用之间的结构等价性。
• 确定 $G = Δ_5$ 在 $H^2(X,\mathbb{Z})$ 中的正交补格 $Ω_G$，并证明其不依赖于特定的 K3 曲面 $X$。
• 提供秩 16 格 $L = Ω_{Δ_5}$ 的显式、初等构造，并将其与 Griess 和 Lam 描述的格相等同。
• 证明在具有度数为 2、6 和 8 的不变极化之 3 维代数 K3 曲面族中，$Δ_5$-作用自然出现。

提出的方法

• 利用 Nikulin 关于辛自同构群作用的唯一性结果，证明正交补 $Ω_G$ 的等距类型仅依赖于群 $G$，而与具体的 K3 曲面无关。
• 应用一个判别准则（命题 2.14），通过群论与上同调条件，证明 $Δ/5Δ$-辛作用蕴含 $Δ_5$-辛作用。
• 将格 $L$ 构造为 $A_4(-2)^{\oplus 4}$ 的上格，利用 $Δ(2,\mathbb{F}_5)$ 在 $A_4(-2)$ 上的自然作用，实现阶为 5 的等距变换。
• 通过 $Δ^2$、$Δ^5$ 和加权射影空间中的代数模型，显式展示 K3 曲面上的 $Δ_5$-作用，其自同构由 $Δ^n$-作用诱导。
• 通过检查不动点集并从周围空间作用提升，验证诱导的 K3 曲面上自同构为辛自同构。
• 将构造出的格 $L$ 与 Griess 和 Lam 描述的格进行比较，通过显式基和格矩阵计算证明其等距。

实验结果

研究问题

• RQ1 在何种条件下，一个允许阶为 5 的辛自同构的 K3 曲面，也必然允许完整的二面体群 $Δ_5$ 作为辛自同构群？
• RQ2 对于具有 $Δ_5$-辛作用的 K3 曲面 $X$，其 $H^2(X,\mathbb{Z})$ 中 $Δ_5$-不变同调的正交补格 $Ω_{Δ_5}$ 的结构如何？
• RQ3 格 $Ω_{Δ_5}$ 是否与 Griess 和 Lam 最近描述的格等距？
• RQ4 格 $Ω_{Δ_5}$ 是否能从已知的根格出发，显式且初等构造？
• RQ5 在具有度数为 2、6 和 8 的不变极化的代数 K3 曲面族中，$Δ_5$-作用如何表现？

主要发现

• 一个允许阶为 5 的辛自同构的 K3 曲面，必然允许完整的二面体群 $Δ_5$（阶为 10）作为辛自同构群。
• $Δ_5$-不变同调的正交补 $Ω_{Δ_5}$ 是一个秩为 16 的格，其不依赖于 K3 曲面 $X$，且同构于 Griess 与 Lam 构造的格。
• 格 $Ω_{Δ_5}$ 显式地实现为 $A_4(-2)^{\oplus 4}$ 的上格，其阶为 5 的等距变换由 $A_4(-2)$ 上的标准作用诱导。
• $Δ_5$ 中的对合在 $Ω_{Δ_5}$ 上作用为阶为 2 的等距变换，其作用在构造中被显式描述。
• 在具有度数为 2、6 和 8 的极化之 3 维代数 K3 曲面族中，$Δ_5$-作用自然地由周围射影空间的自同构诱导而来，且这些自同构在 K3 曲面上下降为辛自同构。
• $Δ_5$-作用通过一个辛阶为 5 的自同构 $σ_5$ 和一个辛对合 $ι$ 实现，满足 $ι \sigma_5 \iota = \sigma_5^{-1}$，二者生成完整的群 $Δ_5$。