[論文レビュー] Genus 1 fibrations on the supersingular K3 surface in characteristic 2 with Artin invariant 1

Noam D. Elkies, Matthias Schuett|arXiv (Cornell University)|Jul 5, 2012

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿は、Artin不変量1をもつ特異的K3表面（特異的K3表面）における、楕円的および準楕円的なすべての genus 1 フibrations を分類し、それらがちょうど18個であることを証明している。ラティス理論的手法と、𝔽₂および𝔽₄ 上での明示的な Weierstrass 型モデルを用いて、モデル間の同型を確立し、𝔽₄ℙ² の点と直線の結合幾何構造と (−2)-曲線の配置を関連付ける。これにより、14-サイクルの非存在といった構造的制約が明らかになる。

ABSTRACT

The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).

研究の動機と目的

• 特異的K3表面（Artin 不変量1）における、すべての genus 1 フibrations（楕円的および準楕円的）を分類すること。
• すべてのこのような fibration がセクションをもつことを確立し、これによりラティス理論的手法による完全な分類が可能になること。
• すべての fibration に対して、𝔽₂ 上での明示的な Weierstrass 方程式を提示し、𝔽₄ 上での同型写像を確立すること。
• 表面に現れる (−2)-曲線の配置を分析し、それらを 𝔽₄ℙ² の点と直線の結合グラフに関連付けること。
• 特異的K3表面（特異的K3表面）における、特異的K3表面の特徴的ゼロの楕円的 fibration が、2を法として滑らかに還元されるかどうかを特定すること。

提案手法

• 20ランク、判別式4の定値な偶数ラティスを用いた Kneser–Nishiyama ラティス理論的枠組みを採用し、genus 1 フibrations を分類する。
• 第4節（定理7）の基準を用いて、ファイバー型に基づき、楕円的と準楕円的 fibrations を区別する。
• 18個の fibration 全てに対して、素体 𝔽₂ 上での明示的な Weierstrass 型モデルを構成する。
• 𝔽₄ 上で、K3表面の異なるモデル間の同型を確立する。場合によっては、すでに 𝔽₂ 上で同型が成立する。
• Néron–Severi ラティスの分析により、Picard数と Artin 不変量の確認を行う。
• 幾何的議論を用いて、特定の (−2)-曲線の配置（例：𝔻̃₂₀）が、組合せ論的矛盾により 𝔽₄ℙ² に存在できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Artin 不変量1、特異的K3表面（特異的K3表面）における、特異的K3表面（特異的K3表面）における genus 1 フibrations はいくつ存在するか？
• RQ2 これらの fibration のうち、どのタイプが楕円的で、どのタイプが準楕円的であり、それらをアルゴリズム的に区別する方法は何か？
• RQ3 すべての fibration が 𝔽₂ 上での明示的な Weierstrass 方程式で実現可能であり、それらが 𝔽₄ 上で同型であるか？
• RQ4 点と直線の結合構造 𝔽₄ℙ² に由来する (−2)-曲線の幾何的配置は何か？ そして、それがどのような制約をもたらすか？
• RQ5 特異的K3表面（特異的K3表面）における、特異的K3表面（特異的K3表面）の特徴的ゼロの楕円的 fibration は、2を法として滑らかに還元されるか？

主な発見

• Artin 不変量1、特異的K3表面（特異的K3表面）における genus 1 フibrations は、ちょうど18個存在する。
• すべての fibration がセクションをもつため、ラティス理論的手法による完全な分類が可能になる。
• fibration には楕円的および準楕円的タイプが含まれ、後者は特徴的な尖点を持つ有理ファイバーで特徴づけられる。
• 18個のすべての fibration に対して、𝔽₂ 上での明示的な Weierstrass 型モデルが構成され、𝔽₄ 上でのモデル間の同型写像が与えられる。
• 20個の (−2)-曲線の配置は、𝔽₄ℙ² の点と直線の結合グラフを実現するが、𝔻̃₂₀ の配置は組合せ論的制約により幾何学的に不可能である。
• 分類における #6 および #8 の fibration のみが、特徴的ゼロの特異的K3表面（特異的K3表面）から滑らかに還元可能であり、MW ランクがちょうど2の極大楕円的 fibration に対応する。