[論文レビュー] Moduli Stacks of Polarized K3 Surfaces in Mixed Characteristic

Jordan Rizov|ArXiv.org|Jun 7, 2005

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿は、エタールコhomologyおよび算術幾何の技法を用いて、ある $N$ に対して $\operatorname{Spec}(\mathbb{Z}[1/N])$ 上の滑らかな代数的空間として、レベル構造を備えた原始的極分類 K3 表面のモジュライスタックの表現可能性を確立する。この研究は、混合特徴関数体へのモジュライ理論の拡張を図り、デリーニ・ムムフォードスタックを構成し、レベル構造が有限エタール被覆を誘導することを証明することで、正標数における複素乗法とクーガ・サタケ多様体の研究を可能にする。

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 表面のモジュライスタックを定義し、研究すること。
• 複素数体を超えた K3 表面のモジュライ理論を、$\mathbb{Z}[1/N]$ 上の代数的空間を用いて拡張し、算術的応用を可能にすること。
• エタールコhomologyを用いて K3 表面にレベル構造を導入し、それが滑らかな代数的空間によって表現可能であることを証明すること。
• 正標数における K3 表面の複素乗法およびクーガ・サタケアーベル多様体を研究するための基礎的枠組みを構築すること。

提案手法

• K3 表面の第二エタールコhomology群を用いて、$\operatorname{SO}(2,19)(\mathbb{A}_f)$ のコンパクト開部分群を介してレベル構造を定義する。
• $\mathbb{Z}$ 上の代数的スタックおよび変形理論にアーツィンの技法を適用し、モジュライ函手がデリーニ・ムムフォードスタックによって表現可能であることを示す。
• $\operatorname{CSpin}(2,19)\to\operatorname{SO}(2,19)$ の随伴表現を介してレベル $\mathbb{K}$-構造を導入し、スピンレベル構造の概念を一般化する。
• $\mathcal{F}_{2d,\mathbb{K}}$ のフル部分カテゴリとしてのモジュライ空間 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ を構成し、忘却関手および射影関手を備える。
• $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ から $\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ への忘却準同型 $p_{2d,\mathbb{K}}$ が有限かつエタールであることを証明し、滑らかさおよび表現可能性を保証する。
• 格子の埋め込み $i: L_{2d} \hookrightarrow L_0$ を用いてレベル構造を関連付け、モジュライスタック間の整合性のある準同型を定義する。

実験結果

リサーチクエスチョン

• RQ1 混合特徴関数体における原始的極分類 K3 表面のモジュライスタックは、$\operatorname{Spec}(\mathbb{Z})$ 上に構成可能か？
• RQ2 レベル構造を備えた K3 表面のモジュライ函手は、$\mathbb{Z}[1/N]$ 上の滑らかな代数的空間によって表現可能か？
• RQ3 エタールコhomologyを用いて定義されたレベル構造は、正標数における K3 表面の幾何学的・算術的性質とどのように関係するか？
• RQ4 レベル構造を備えた K3 表面のモジュライは、正標数におけるクーガ・サタケアーベル多様体を定義するために利用可能か？
• RQ5 スピンレベル $n$-構造などの異なるレベル構造の間には、それに対応するモジュライ空間とどのような関係があるか？

主な発見

• $\mathcal{F}_{2d}$：原始的極分類 K3 表面（次数 $2d$）のモジュライスタックは、$\operatorname{Spec}(\mathbb{Z})$ 上のデリーニ・ムムフォードスタックによって表現可能である。
• 任意の許容可能なレベル構造 $\mathbb{K}$ に対して、モジュライ空間 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ は、$\mathbb{Z}[1/N_{\mathsc{B}}]$ 上の相対次元 19 の分離的かつ滑らかな代数的空間である。
• $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ から $\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ への忘却準同型 $p_{2d,\mathbb{K}}$ は有限かつエタールであり、$\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ が $\mathcal{F}_{2d}$ の有限分岐被覆であることを示唆する。
• $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\hookrightarrow\mathcal{F}_{2d,\mathbb{K}}$ の包含写像 $i_{\mathbb{K}}$ は開埋め込みである。これはレベル構造がスタック構造と整合的であることを示している。
• $n \geq 3$ に対して、全レベル $n$-構造を備えた K3 表面のモジュライ空間 $\mathcal{F}_{2d,n}^{\rm full}$ は、$\mathbb{Z}[1/2dn]$ 上の滑らかな代数的空間である。これは一般構成の明確な具体例を提供する。
• 異なるレベル構造を備えたモジュライ空間間の射影関手 $pr_{(\mathbb{K}_1,\mathbb{K}_2)}$ は有限かつエタールであり、レベル構造間の整合性を保証する。