[論文レビュー] Rational Curves on K3 Surfaces

Xi Chen|ArXiv.org|Apr 15, 1998

Algebraic Geometry and Number Theory参考文献 7被引用数 33

ひとこと要約

本稿は、n ≥ 3 および d > 0 に対して、一般の K3 表面 S ⊂ ℙ^n 上の線形系統 |O_S(d)| に非可約なノードを持つ有理曲線が存在することを確立し、Conjecture 1.1 — 一般の K3 表面における |O_S(1)| の有理曲線はすべてノードを持つ — を n ≤ 9 および n = 11 に対して証明する。変種を用いた三角的 K3 表面への退化と、変形理論および特異点論を用いた極限有理曲線の解析により、ノード性の予想は三角的 K3 表面に関する命題に還元され、g ≤ 9 および g = 11 に対して Yau-Zaslow 公式が正当化される。

ABSTRACT

We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.

研究の動機と目的

• 一般の K3 表面 S ⊂ ℙ^n における |O_S(1)| の有理曲線がすべてノードであることを証明すること — K3 表面の数え上げ幾何における主要な未解決問題。
• 一般の K3 表面における |O_S(d)| に非可約有理曲線が存在することをすべての d > 0 に対して拡張し、古くからの予想を裏付けること。
• 低 genus におけるノード性仮説の証明により、K3 表面における有理曲線の数え上げに関する Yau-Zaslow 公式を条件なしで正当化すること。
• 退化技術を用いて、一般の K3 表面におけるノード性予想を、三角的 K3 表面に関する類似の命題に還元すること。

提案手法

• 一般の K3 表面を三角的 K3 表面に退化させ、有理曲線の極限を調べる。
• 変形理論および曲線族の正規化を用いて、極限曲線の特異点を解析する。
• 特に A_n 特異点を含む A-D-E 特異点の理論を適用し、極限曲線上の特異点の種類を分類・制御する。
• 局所的に一様化変数 ε を用いたべき級数展開により、特異点近傍における極限曲線の明示的局所方程式を構成する。
• 定義多項式の判別式を用いて、極限曲線の被約性および既約性を証明する。
• 種数公式および δ-不変量の計算を通じて、極限曲線の幾何と元の曲線との関係を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 一般の K3 表面 S ⊂ ℙ^n における |O_S(1)| の有理曲線はすべてノードであるか？
• RQ2 K3 表面における有理曲線の数え上げに関する Yau-Zaslow 公式 ∑n(g)q^g = q/Δ(q) は、g ≤ 9 および g = 11 に対して条件なしに成り立つか？
• RQ3 一般の K3 表面における有理曲線のノード性は、三角的 K3 表面に関する命題に還元可能か？
• RQ4 三角的 K3 表面への退化における有理曲線の極限の構造は何か？
• RQ5 どの線形系統の条件下で、極限曲線は被約かつ既約のままであるか？

主な発見

• Conjecture 1.1 — 一般の K3 表面における |O_S(1)| の有理曲線はすべてノードである — は n ≤ 9 および n = 11 に対して成り立つ。
• Yau-Zaslow 公式 ∑n(g)q^g = q/Δ(q) は、g ≤ 9 および g = 11 に対して正当化される。これは、これらのケースでノード性仮説が確認されたためである。
• 主結果である定理 4.1 は、ノード性予想が三角的 K3 表面に関する命題（予想 4.1 及び 4.2）に還元されることを確立する。
• m > 2 のとき、極限曲線 Γ₁′ は被約かつ既約であり、種数 pa(Γ₁′) = 3m² − 2 および δ-不変量 δ(Υ′_t, Γ₁′) = 3m² > 3m が成り立つ。
• m = 2 のとき、判別式の議論により極限曲線の被約性が確認され、これにより命題 4.3 及び定理 4.1 が完成する。
• 系により、各タイプの三角的 K3 表面（TK1, TK2, TK3）に対して、l に関する特定の境界の下で予想 4.1 及び 4.2 が確認される。