[论文解读] A supersingular K3 surface in characteristic 2 and the Leech lattice

Igor Dolgachev, Shigeyuki Kondō|ArXiv.org|Dec 27, 2001

Algebraic Geometry and Number Theory被引用 13

一句话总结

该论文在特征 2 下构造了一个唯一的超奇异 K3 曲面，其 Artin 不变量为 1，Picard 格子同构于 $U \perp D_{20}$。该曲面呈现出一种 42 条互不相交的 $(-2)$-曲线的配置（在 $\mathbb{F}_4$ 上对应 21 个点与 21 条直线），其相交方式与 Leech 格子相容，并证明其自同构群为 $\mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$，表明 Mukai 对复 K3 曲面的对称形式自同构分类无法推广至正特征。

ABSTRACT

We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This configuration is isomorphic to the configuration of points and lines on the projective plane over the finite field of 4 elements. The surface admits a finite automorphism group which contains the group of automorphisms of the plane which acts on the configuration of each set of 21 smooth rational curves, and the additional element of order 2 which interchanges the two sets. The Picard lattice of the surface is a reflective sublattice of an even unimodular lattice of signatuire (1,25) and the classes of the 42 curves correspond to some Leech roots in this lattice.

研究动机与目标

• 在特征 2 下构造并分类一个 Artin 不变量为 1 且 Picard 格子为特定形式 $U \perp D_{20}$ 的超奇异 K3 曲面。
• 实现一个 42 条互不相交的 $(-2)$-曲线的几何配置，其结构同构于 $\mathbb{P}^2(\mathbb{F}_4)$ 的点-线关联结构。
• 确定该 K3 曲面的完整自同构群，并证明其同构于 $\mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$，其中外层对合交换两组各 21 条曲线。
• 证明 Mukai 对复 K3 曲面的有限对称形式自同构群分类无法推广至正特征。

提出的方法

• 通过 Weierstrass 方程 $y^2 + x^3 + t^{11} = 0$ 构造一个具有单个 $\tilde{D}_{20}$ 纤维的拟椭圆纤维结构，从而构造该 K3 曲面。
• 利用 $p$-初等格子理论及特征 2 下超奇异 K3 曲面的分类，将 Picard 格子固定为 $U \perp D_{20}$。
• 通过 Picard 格子的嵌入，将 42 条 $(-2)$-曲线识别为偶性单模格 $II_{1,25}$ 中的 Leech 根。
• 通过研究曲线配置上的作用分析自同构群，并证明该群为 $N \cdot \mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$，其中 $N$ 是由 168 个对合生成的正规子群。
• 建立该曲面八个几何与算术性质之间的等价性，包括在 $\mathbb{P}^2 \times \mathbb{P}^2$ 中的双有理模型与方程。
• 利用 Leech 格子上的反射群作用，以及 $U \perp D_{20}$ 是签名为 $(1,21)$ 的唯一已知偶性可反射格子这一事实，支持该曲面的唯一性与结构。

实验结果

研究问题

• RQ1 是否存在一个特征 2 下的超奇异 K3 曲面，其 Artin 不变量为 1，Picard 格子为 $U \perp D_{20}$，且支持一个与 $\mathbb{P}^2(\mathbb{F}_4)$ 关联结构对应的 42 条互不相交的 $(-2)$-曲线配置？
• RQ2 该 K3 曲面的完整自同构群是什么？它如何作用于两组各 21 条曲线？
• RQ3 Mukai 对复 K3 曲面的有限对称形式自同构群分类能否推广至正特征？
• RQ4 这 42 条 $(-2)$-曲线与 Leech 格子有何关联？其在 $II_{1,25}$ 中的嵌入有何重要意义？

主要发现

• 在代数闭域特征为 2 的情况下，存在唯一一个超奇异 K3 曲面，其 Picard 格子同构于 $U \perp D_{20}$，且在同构意义下唯一。
• 该曲面包含两组互不相交的各 21 条光滑有理曲线，每条曲线恰好与另一组中的五条曲线相交，实现了 $\mathbb{P}^2(\mathbb{F}_4)$ 的关联几何。
• 该曲面的自同构群同构于 $\mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$，其中 $\mathrm{PGL}(3,\mathbb{F}_4)$ 分别作用于每组 21 条曲线，而额外的对合则交换这两组曲线。
• 这 42 条曲线在 Picard 格子中的类对应于偶性单模格 $II_{1,25}$ 中的 Leech 根，建立了与 Leech 格子的联系。
• 该曲面具有多种等价描述：作为具有 $\tilde{D}_{20}$ 纤维的拟椭圆纤维结构，作为具有特定分支除子的 $\mathbb{P}^2$ 上的双重覆盖，以及作为具有七个 $A_3$ 奇点的四次曲面。
• 结果表明，Mukai 对复 K3 曲面的有限对称形式自同构群分类无法推广至正特征，因为 $\mathrm{PSL}(3,\mathbb{F}_4)$ 不是 $M_{23}$ 的子群。