[論文レビュー] Classification of extremal elliptic K3 surfaces and fundamental groups of open K3 surfaces

Ichiro Shimada, D. Q. Zhang|ArXiv.org|Jul 27, 2000

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

ひとこと要約

本稿は、特異ファイバー型の配置（Σ_f）、モーデル・ヴェイユ群（MW_f）、超越格子（T_X）という不変量を用いて、極大な楕円的K3表面を完全に分類する。また、K3面上のA型・D型・E型配置の有理曲線の補集合の基本群が、特定の格子条件を満たす場合に自明であることを証明し、半安定ファイブレーションに関する先行結果を拡張し、表2にその完全なリストを提示する。

ABSTRACT

We present a complete list of extremal elliptic K3 surfaces. There are altogether 325 of them. The first 112 coincides with Miranda-Persson's list for semi-stable ones. The data include the transcendental lattice which determines uniquely the K3 surface by a result of Shioda and Inose, the singular fibre type and the Mordell Weil group. As an application, we give a sufficient condition for the topological fundamental group of complement to an ADE-configuration of smooth rational curves on a K3 surface to be trivial.

研究の動機と目的

• 極大な楕円的K3表面を、特異ファイバー型、モーデル・ヴェイユ群、超越格子という不変量を用いて完全に分類すること。
• K3面上の滑らかな有理曲線のADE配置の補集合のトポロジカル基本群が自明となる条件を特定すること。
• 半安定な極大ファイブレーションの先行分類を一般の場合にまで拡張すること。
• 特異K3表面の同型類とGL₂(ℤ)作用によるグラム行列の軌道との間の対応を確立すること。
• 表2に掲載されたリストがすべての可能な極大な楕円的K3表面を網羅しており、特殊な場合において既知の分類と一致することを確認すること。

提案手法

• ゼロセクションと交わらない可約ファイバーからのルート格子型の形式的和Σ_fを分析することで、極大な楕円的K3表面を分類する。
• ネロン＝セバール格子NS_Xと超越格子T_Xを用いて、ファイブレーションのデータ（Σ_f, MW_f, T_X）を定義する。
• 超越格子T_Xをそのグラム行列（a b; b c）で表現し、0 ≤ 2b ≤ a ≤ cを満たすように正規化する。
• 対称整数行列に対するGL₂(ℤ)の作用を活用して、T_Xの同型類を分類し、特に0 < 2b < a < cの場合は2つの同型類が存在することに注意を払う。
• クラスマー表面および塩田＝イノセ対応の理論を応用し、T_XからK3表面を再構成する。
• ミランダ＝パーソンおよびアルタル＝バトリョ–トクナガ–チャンの半安定ケース、およびエの非半安定ケースに対する既存の分類と照合して妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの三つ組（Σ_f, MW_f, T_X）が極大な楕円的K3表面に対応し、それらを完全に分類する方法は何か？
• RQ2 K3面上の有理曲線のADE配置の補集合の基本群が自明となる条件は何か？
• RQ3 不変量Σ_f, MW_f, T_Xは、極大な楕円的K3表面の同型類をどのように決定するか？
• RQ4 与えられたデータ（Σ_f, MW_f, T_X）に対して、極大K3表面の同型類の数はいくつであり、それはT_Xのグラム行列にどのように依存するか？
• RQ5 本稿の分類は、ミランダ＝パーソンおよびエの先行分類とどのように関係し、拡張しているか？

主な発見

• 本稿は表2に、すべての極大な楕円的K3表面の完全なリストを提示し、各エントリが一意な三つ組（Σ_f, MW_f, T_X）に対応している。
• 表2の各データに対して、超越格子T_Xは0 ≤ 2b ≤ a ≤ cを満たすグラム行列（a b; b c）で表現されている。
• 0 < 2b < a < cの場合は、そのT_Xを持つK3表面に2つの同型類が存在するが、それ以外の場合は1つだけである。
• リストは合計325件（No. 1からNo. 325）で構成され、半安定および非半安定ケースを含む、既知のすべての極大ファイブレーションをカバーしている。
• 半安定ケース（No. 1–112）は、ミランダ＝パーソンおよびアルタル＝バトリョ–トクナガ–チャンの結果と一致している。
• ADE配置の有理曲線の補集合の基本群が自明であるための十分条件が、その配置の格子データに基づいて提示されている。