[論文レビュー] Supersingular K3 Surfaces are Unirational

Christian Liedtke|arXiv (Cornell University)|Apr 20, 2013

Algebraic Geometry and Number Theory参考文献 27被引用数 10

ひとこと要約

本稿は、特徴類 $p \geq 5$ の上での超特異 K3 表面が、純分離的有理写像を通じて関連付けられることを確立することで、アーティン、ルダコフ、シャファレヴィチ、塩田らの長年の予想を裏付ける。主な革新は、すべてのこのような表面が互いに純分離的同種であることを示す構造定理であり、rigidified K3 クリスタルのモジュライ空間が $\mathbb{F}_{p^2}$ 上の繰り返し $\mathbb{P}^1$-バンドルとして実現されることで、unirationality の議論が可能になる。

ABSTRACT

We show that supersingular K3 surfaces in characteristic $p\geq5$ are related sequences of very special correspondences. This is not enough to conclude that they are unirational. As a byproduct, we exhibit a fibration structure on the moduli space of rigidified K3 crystals. We also establish Shioda-Inose type isogeny theorems for K3 surfaces with Picard rank $ρ\geq19$ in positive characteristic.

研究の動機と目的

• 正の特性における超特異 K3 表面が unirational であるという長年の予想を解決すること。
• 特異 K3 表面における Shioda–Inose 定理に類似した、超特異 K3 表面の構造定理を確立すること。
• rigidified K3 クリスタルのモジュライ空間を、$\mathbb{F}_{p^2}$ 上の繰り返し $\mathbb{P}^1$-バンドルとして記述し、同種写像のための幾何的枠組みを提供すること。
• 正の特性におけるピカール数 $\rho \geq 19$ の K3 表面へ、Shioda–Inose 型同種定理を拡張すること。
• 純分離的同種写像、アーティン不変量、およびトレランセントサイクルの不在を含むコhomological 性質との関係を明確にすること。

提案手法

• 超特異 K3 表面における楕円曲線ファイブレーションの動く torsor ファミリーを構成し、ファイブレーションをアーティン不変量がより高い一様な族へ変形すること。
• これらのファミリーを用いて、異なるアーティン不変量を持つ超特異 K3 表面間の純分離的有理写像を誘導すること。
• $\mathcal{M}_{N_+}$ である $N_+$-rigidified K3 クリスタルのモジュライ空間が $\mathcal{M}_N$ に全射に写像され、その幾何的一般ファイバーが $\mathbb{P}^1$ に同型であることを証明すること。
• $\varpi_N$ の幾何的一般ファイバーの正規化が、奇性があっても $\mathbb{P}^1$ に同型であることを確立すること。
• deformation 理論および $p$-adic Hodge 理論を用いて、K3 クリスタルとその rigidification が同種写像の下でどのように振る舞うかを分析すること。
• 最近の K3 表面における Tate 予想の進展を活用し、超特異 K3 表面をトレランセント cohomology が自明であるものとして特徴づけること。

実験結果

リサーチクエスチョン

• RQ1 特徴類 $p \geq 5$ のすべての超特異 K3 表面は unirational か？
• RQ2 超特異 K3 表面は純分離的有理写像で関連付けられるか。そのような写像の次数はいかほどか？
• RQ3 rigidified K3 クリスタルのモジュライ空間はどのように構造化されており、$\mathbb{F}_{p^2}$ 上のファイブレーションとして記述可能か？
• RQ4 正の特性におけるピカール数 $\rho \geq 19$ の K3 表面へ、Shioda–Inose 型同種定理はどの程度まで拡張可能か？
• RQ5 $\varpi_N$ からの $\mathcal{M}_{N_+}$ 到 $\mathcal{M}_N$ の写像の一般ファイバーの幾何的性質は何か。また、そのファイバーが滑らかであるのはいつか？

主な発見

• 特徴類 $p \geq 5$ の超特異 K3 表面は unirational である。これは、アーティン、ルダコフ、シャファレヴィチ、塩田らの予想を裏付ける。
• すべての超特異 K3 表面は、互いに純分離的同種であり、任意の二つの表面間には、次数 $p^{2\sigma_0 + 2\sigma_0' - 4}$ の支配的有理写像が存在する。
• $N$-rigidified K3 クリスタルのモジュライ空間 $\mathcal{M}_N$ は、$\mathbb{F}_{p^2}$ 上の繰り返し $\mathbb{P}^1$-バンドルである。全射写像 $\varpi_N: \mathcal{M}_{N_+} \to \mathcal{M}_N$ が存在し、その幾何的一般ファイバーは $\mathbb{P}^1$ に同型である。
• アーティン不変量 $\sigma_0 = 3$ の場合、モジュライ空間 $\mathcal{M}_N$ は、$\mathbb{P}^3$ 内の $p+1$ 次のフェルマー超曲面の二重に同型であり、$\varpi_N$ は直線を通る平面のペンキルによって生じ、一般ファイバーとして特異な有理曲線をもたらす。
• $\varpi_N$ は幾何的点上で定義され、$\mathbb{P}^1$-様なファイバーを持つファイブレーションを誘導するが、一般には滑らかではない。
• モジュライ空間の構造は、超特異 K3 表面が 9 次元族を形成する理由を説明する。特異 K3 表面とは異なり、分離的同種写像が変形できないため、そのような表面はモジュライを持たない。