[論文レビュー] Rational curves on generic quintic threefolds

Bin Wang|arXiv (Cornell University)|Feb 13, 2012

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、ℙ⁴ 内の一般の五次的三様体において、任意の既約有理曲線は埋め込みであることが示され、その正規バンドルの H¹ コホロロジーが自明であることを証明する。吹き上げと微分形式の不変量 ω(M,t) を用いた代数幾何的技法により、H¹(N_{c₀/X₀}) = 0 が示され、これは正規バンドルが O(−1)⊕O(−1) に分解することを意味し、Calabi–Yau 三様体上の有理曲線のモジュライの主要な性質を確認する。

ABSTRACT

Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over complex numbers and $C_0$ be an irreducible rational curve on $X_0$. Let $$c_0: \mathbf P^1 o C_0\subset X_0$$ be its normalization. In this paper, we show (1) $c_0$ must be an immersion, i.e. the differential $(c_0)_\ast: T_{t}\mathbf P^1 o T_{c_0(t)} X_0$ is injective at each $t\in \mathbf P^1$, (2) the normal bundle of $c_0$ satisfies $$H^1(N_{c_0/X_0})=0.$$

研究の動機と目的

• 一般の五次的三様体上の有理曲線が、正規化写像の微分が ℙ¹ 全体で単射である、すなわち埋め込みであることを確立すること。
• このような曲線の正規バンドルの第一コホモロジー群が消えることを証明すること、すなわち H¹(N_{c₀/X₀}) = 0 であること。
• このコホモロジーの消滅が、正規バンドルが O(−1)⊕O(−1) に分解することを意味すること、これは有理曲線のモジュライにおける重要な構造的結果である。
• 連続的な吹き上げを用いて、有理写像のモジュライ空間を解析するための幾何的不変量 ω(M,t) を構築すること。
• H¹(N_{c₀/X₀}) の消滅を、五次的超表面に限らず、Fano 型、Calabi–Yau 型、一般型の超表面へと一般化すること。

提案手法

• ℙ¹ から ℙ⁴ への次数 d の写像をパラメータ化する ℂ^{5d+5} = M を用いた、射影空間 P(M) における有理写像のコンパクト化されたモジュライ空間の使用。
• 写像 c と五次的曲面 f が c*(f) = 0 を満たすような組をパラメータ化するインシデントスキーム Γ_ℒ ⊂ M_d × ℒ の構成。ここで ℒ は五次的曲面空間内の 3 次元部分空間である。
• モジュライ空間上に定義された微分形式 ω(M,t) の定義。この形式の零点集合は PGL(2) に対して不変であり、一般の t_i に依存しない。
• 写像が非埋め込み的または定値写像となる「境界点」における特異点を解消するために、部分多様体に沿った吹き上げの適用。
• 次元論の適用：T_{c_g}P(Γ_ℒ) の次元が 6 であることを示す。これは dim(𝒩⊗k(c_g)) = 5d−1 および ℂ^{5d+5} 内での余次元 5d−1 から導かれる。
• 補題 3.3 と軌道構造の利用により、一般の X₀ 上のすべての有理曲線が GL(2)-軌道であることが示され、コホモロジー的結果が大域的に持ち上がる。

実験結果

リサーチクエスチョン

• RQ1 一般の五次的三様体 X₀ ⊂ ℙ⁴ 上の任意の既約有理曲線は、その正規化写像の下で埋め込みとなる必要があるか？
• RQ2 このような曲線に対して、正規バンドル N_{c₀/X₀} のコホモロジー的構造、特に H¹(N_{c₀/X₀}) はどのようなものか？
• RQ3 H¹(N_{c₀/X₀}) の消滅は、一般の曲線に限らず、すべての有理曲線に対して一様に成立するか？
• RQ4 有理曲線のモジュライ空間を制御する幾何的不変量は何であり、それが埋め込み・非埋め込みの挙動をどのように特定するか？
• RQ5 H¹(N_{c₀/X₀}) の消滅は、Fano 型や Calabi–Yau 型の超表面へとどの程度一般化可能か？

主な発見

• 正規化写像 c₀: ℙ¹ → X₀ は埋め込みである。これは、(c₀)* の微分が ℙ¹ 全体の任意の点で単射であることを意味する。
• 正規バンドルの第一コホモロジー群は消える：H¹(N_{c₀/X₀}) = 0。
• 正規バンドルは N_{c₀/X₀} ≅ 𝒪(−1) ⊕ 𝒪(−1) に分解する。これは次数 −2 かつ H¹ が消えることの直接的結果である。
• モジュライ空間 P(Γ_ℒ) の一般点における接空間の次元は 6 である。これは dim(𝒩⊗k(c_g)) = 5d−1 から導かれる。
• H¹(N_{c₀/X₀}) = 0 は、一般の X₀ 上のすべての有理曲線に対して成り立つ。これは、このような曲線が有限個であることと、軌道構造によるものである。
• Chen の K3 表面の場合、微分形式 ω(M,t) はモジュライ空間上で恒等的に 0 であるが、Vainsencher の五次的曲面の場合には非自明である。この差が、両者の族を幾何的に区別する。