[論文レビュー] Neron-Severi group preserving lifting of K3 surfaces and applications

Junmyeong Jang|arXiv (Cornell University)|Jun 7, 2013

Algebraic Geometry and Number Theory参考文献 14被引用数 15

ひとこと要約

本稿では、Néron-Severi群を保存する上昇を用いて、奇数の特異値をもつ有限高さのK3表面に対して、複素K3表面がKummerまたはEnriques K3表面であるための古典的格子基準が拡張されることを確立している。主な貢献は、代数的閉体の奇数の特異値をもつPicard数20のK3表面の分類であり、判別式がpを法として非ゼロの平方数である偶数の正定値ランク2格子の同型類に基づくものである。

ABSTRACT

For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber is isomorphic. In this paper, using this result, we give a criterion for a K3 surface of finite height over a field of odd characteristic to be an Enriques K3 surface or to be a K3 surface in terms of the Neron-Severi lattice. Then we show every Kummer surface has an Enriques involution. We also give a classification of K3 surfaces of Picard rank of 20 over odd characteristic.

研究の動機と目的

• 複素数体から正の特異値の設定へ、K3表面がKummerまたはEnriques K3表面であるためのNéron-Severi格子基準を拡張すること。
• 奇数の特異値をもつ有限高さのK3表面に対し、Enriques K3表面およびKummer K3表面のTorelli型格子条件が成り立つことを確立すること。
• トランスセンドental格子不変量を用いて、奇数の特異値をもつ代数的閉体上のPicard数20のK3表面を分類すること。
• Néron-Severi保存上昇および還元技法を用いて、Picard数20の任意のK3表面が有限体上にモデルをもつことを証明すること。

提案手法

• 基底変換を介して、正の特異値から特異値0への格子的性質の移行をNéron-Severi群を保存する上昇を用いて行う。
• 奇数の特異値における超特異K3表面のクリスタリンTorelli定理を適用し、Néron-Severi格子と変形空間を関連付ける。
• 形式ブラウアー群およびArtin不変量の理論を用いて、正の特異値におけるNéron-Severi群の構造を分析する。
• Néron-Severi格子の判別式がpを法として非ゼロの平方数であるという条件を、通常還元と超特異還元を区別するために用いる。
• 固定されたNéron-Severi群をもつK3表面の変形理論を適用し、同型な還元がp進体上での同型な上昇を意味することを示す。
• Picard数20のK3表面の同型類と、判別式がpを法として非ゼロの平方数である偶数の正定値ランク2格子の同型類との間の全単射を構成する。

実験結果

リサーチクエスチョン

• RQ1 K3表面がKummerまたはEnriques K3表面であるための古典的格子基準が、奇数の特異値をもつ体上でも成立するか？
• RQ2 複素K3表面のPicard数20がトランスセンドental格子によって分類できるのを、正の特異値へ拡張できるか？
• RQ3 奇数の特異値をもつ代数的閉体上のすべてのPicard数20のK3表面が、有限体上にモデルをもつか？
• RQ4 Néron-Severi格子の判別式がpを法として何らかの役割を果たし、K3表面の還元型（通常 vs. 超特異）を決定するか？
• RQ5 奇数の特異値をもつ体上の2つのK3表面の還元が同型であるとすると、それらのp進体上での上昇が同型であるための条件は何か？

主な発見

• 奇数の特異値をもつ有限高さのK3表面に対しても、K3表面がEnriques K3表面であるための格子基準—Γ(2)のNS(X)への原始的埋め込みが存在し、直交補空間に(−2)ベクトルを含まないこと—が成り立つ。
• K3表面がKummer K3表面であるための格子基準—Kummer格子JのNS(X)への原始的埋め込みの存在—も、奇数の特異値における有限高さのK3表面へ拡張される。
• 奇数の特異値をもつ代数的閉体上のPicard数20のK3表面は、すべて有限体上にモデルをもつ。
• 奇数の特異値をもつ代数的閉体上のPicard数20のK3表面の同型類は、判別式がpを法として非ゼロの平方数である偶数の正定値ランク2格子の同型類の集合と一対一対応する。
• 数体上のPicard数20の2つのK3表面が、2より大きい素数pを法として同型な通常還元をもち、かつそのNéron-Severi群が還元で保存されるならば、それらの代数的閉包への基底拡張は同型である。
• 奇数の特異値をもつ体上のPicard数20のK3表面のNéron-Severi群はねじれがなく、Néron-Severi格子の判別式がpを法として非ゼロの平方数であれば、良い還元においても同型のままである。