[论文解读] Moduli Stacks of Polarized K3 Surfaces in Mixed Characteristic

Jordan Rizov|ArXiv.org|Jun 7, 2005

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文通过平展上同调与算术几何技术，证明了在某些 $N$ 下，具有层结构的原始极化 K3 曲面的模堆栈在 $\operatorname{Spec}(\mathbb{Z}[1/N])$ 上可表示为光滑代数空间。该研究通过构造 Deligne-Mumford 堆栈，将模理论扩展至混合特征情形，证明层结构诱导有限平展覆盖，从而使得在正特征下研究复乘法与 Kuga-Satake 代数群成为可能。

ABSTRACT

In this note we define moduli functors of (primitively) polarized K3 spaces. We show that they are representable by Deligne-Mumford stacks over Spec(Z). Further, we look at K3 spaces with a level structure. Our main result is that the moduli functors of K3 spaces with a primitive polarization of degree 2d and a level structure are representable by smooth algebraic spaces over open parts of Spec(Z). To do this we use ideas of Grothendieck, Deligne, Mumford, Artin and others. These results are the starting point for the theory of complex multiplication for K3 surfaces and the definition of Kuga-Satake abelian varieties in positive characteristic given in our Ph.D. thesis.

研究动机与目标

• 在混合特征下定义并研究 $\operatorname{Spec}(\mathbb{Z})$ 上原始极化 K3 曲面的模堆栈。
• 通过在 $\mathbb{Z}[1/N]$ 上构造代数空间，将 K3 曲面的模理论扩展至复数域之外，以支持算术应用。
• 利用平展上同调引入 K3 曲面的层结构，并证明其可表示为光滑代数空间。
• 为在正特征下研究复乘法与 Kuga-Satake 代数群奠定基础框架。

提出的方法

• 通过 $\operatorname{SO}(2,19)(\mathbb{A}_f)$ 的紧开子群，利用 K3 曲面的第二平展上同调群定义层结构。
• 应用 Artin 关于代数堆栈与形变理论的技术，证明模函子在 $\mathbb{Z}$ 上可表示为 Deligne-Mumford 堆栈。
• 通过 $\operatorname{CSpin}(2,19)\to\operatorname{SO}(2,19)$ 的伴随表示引入层 $\mathbb{K}$-结构，推广了自旋层结构的概念。
• 将模空间 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 构造为 $\mathcal{F}_{2d,\mathbb{K}}$ 的全子范畴，配备遗忘函子与投影函子。
• 证明遗忘态射 $p_{2d,\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\to\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ 是有限且平展的，从而保证光滑性与可表示性。
• 通过格 $i: L_{2d} \hookrightarrow L_0$ 的嵌入关系层结构，并在模堆栈之间定义相容态射。

实验结果

研究问题

• RQ1 能否在混合特征下于 $\operatorname{Spec}(\mathbb{Z})$ 上构造原始极化 K3 曲面的模堆栈？
• RQ2 在 $\mathbb{Z}[1/N]$ 上，带有层结构的 K3 曲面模函子是否可表示为光滑代数空间？
• RQ3 通过平展上同调定义的层结构如何与正特征下 K3 曲面的几何与算术相关联？
• RQ4 能否利用带有层结构的 K3 曲面模空间在正特征下定义 Kuga-Satake 代数群？
• RQ5 不同层结构（如自旋层 $n$-结构）之间的关系及其对应的模空间有何联系？

主要发现

• 原始极化 K3 曲面（度数为 $2d$）的模堆栈 $\mathcal{F}_{2d}$ 在 $\operatorname{Spec}(\mathbb{Z})$ 上可表示为 Deligne-Mumford 堆栈。
• 对任意可允许的层结构 $\mathbb{K}$，模空间 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 是 $\mathbb{Z}[1/N_{\mathsc{B}}]$ 上相对维数为 19 的分离光滑代数空间。
• 遗忘态射 $p_{2d,\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\to\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ 是有限且平展的，意味着 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 是 $\mathcal{F}_{2d}$ 的有限无分支覆盖。
• 包含映射 $i_{\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\hookrightarrow\mathcal{F}_{2d,\mathbb{K}}$ 是一个开浸入，表明层结构与堆栈结构相容。
• 对 $n \geq 3$，带有全层 $n$-结构的 K3 曲面模空间 $\mathcal{F}_{2d,n}^{\rm full}$ 是 $\mathbb{Z}[1/2dn]$ 上的光滑代数空间，提供了该一般构造的明确实例。
• 不同层结构之间模空间的投影函子 $pr_{(\mathbb{K}_1,\mathbb{K}_2)}$ 是有限且平展的，确保了层结构之间的相容性。