[論文レビュー] Rational curves of degree 10 on a general quintic threefold

Ethan Cotterill|arXiv (Cornell University)|Nov 30, 2004

Algebraic Geometry and Number Theory参考文献 22被引用数 8

ひとこと要約

本稿は、一般の五次的三様体における11次 smooth 有理曲線をパラメトライズする包含スキームの非可約性を証明し、11次においてクレメンス予想の強い形を確認する。著者は、一般初期イデアル（gins）の新しい組合せ的解析とリボージョン理論的技法を用い、すべての such 曲線が正規バンドル 𝒪(−1)⊕𝒪(−1) を持つことを確立し、既知の六重特異点を持つ平面五次曲線以外に、一般の五次的三様体上に11次以下の特異的または非既約な有理曲線は存在しないことを示す。

ABSTRACT

We prove that the incidence scheme of rational curves of degree 11 on quintic threefolds is irreducible. This implies a strong form of the Clemens conjecture in degree 11. Namely, on a general quintic threefold $F$ in $\mathbb{P}^4$, there are only finitely many smooth rational curves of degree 11, and each curve $C$ is embedded in $F$ with normal bundle $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$. Moreover, in degree 11, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components on $F$.

研究の動機と目的

• 一般の五次的三様体における ℙ⁴ 内の11次 smooth 有理曲線をパラメトライズする包含スキーム Φ₁₁ の非可約性を確立すること。
• 11次においてクレメンス予想の強い形を検証すること。これは、正規バンドルが 𝒪(−1)⊕𝒪(−1) に同型であるような曲線が有限個であると主張する。
• 一般の五次的三様体上に、特異的で、分離的で、既約な有理曲線、あるいは分離的で、既約な有理曲線成分を持つ連結な曲線が、既知の六重特異点を持つ平面五次曲線以外に存在しないことを排除すること。
• 10次以下の次数に対して用いられた一般初期イデアル（gins）の手法を、より複雑な11次のケース、特に高いコhomologyを持つ曲線を扱うために拡張すること。

提案手法

• 2段階戦略を採用する：モジュライ空間 M₁₁ 上での包含対応 Φ₁₁ のファイバー次元を評価し、大きなファイバーを持つ部分集合が高codimensionを持つことを示す。
• 曲線の超平面切断の一般初期イデアル（gin）を用いてコhomological不変量を計算し、その組合せ的単純性を活かして明示的な評価を得る。
• リボージョン理論を用いて、3つの超立方体の完全交差上に存在する曲線を分析する。特に、高いコhomologyと低い算術種数を持つ曲線に注目する。
• 算術種数に基づいて場合分けを行う：低種数の曲線は、超立方体の完全交差に含まれることで、低次元の曲面に含まれることが示され、高種数の曲線は非常に特異的であり、したがってcodimension的に制約を受ける。
• Macaulay2 を用いて、曲線イデアルの revlex 初期イデアルとベッチ図を計算し、正規バンドルの正則性と分割型を検証する。
• ℙ¹ 上の多項方程式系を用いて、明示的な有理曲線（例：分割型 (4,3,2,2) および (4,4,2,1) を持つ）を構成し、所望の性質を持つ曲線の存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般の五次的三様体における ℙ⁴ 内の11次 smooth 有理曲線の包含スキーム Φ₁₁ は非可約か？
• RQ2 一般の五次的三様体上における11次 smooth 有理曲線は、すべて正規バンドルが 𝒪(−1)⊕𝒪(−1) に同型か？
• RQ3 六重特異点を持つ平面五次曲線以外に、一般の五次的三様体上に特異的で、分離的で、既約な11次有理曲線は存在するか？
• RQ4 コhomological不変量 i = h¹(ℐ_C(5)) が有効に評価可能であり、Φ₁₁ のファイバーが M₁₁ 内で少なくとも i の codimension を持つことを保証できるか？
• RQ5 i が大きい曲線の集合の M₁₁ 内の codimension は何か？ そして、それが i を上回ることを示し、Φ₁₁ が i = 0 の部分集合の閉包であることを保証できるか？

主な発見

• 一般の五次的三様体上における11次 smooth 有理曲線の包含スキーム Φ₁₁ は非可約である。
• 一般の五次的三様体上における11次 smooth 有理曲線は、すべて正規バンドル 𝒪(−1)⊕𝒪(−1) に同型に埋め込まれる。
• 六重特異点を持つ平面五次曲線以外に、一般の五次的三様体上に特異的で、分離的で、既約な11次有理曲線は存在しない。
• h¹(ℐ_C(5)) > 0 を満たす曲線の集合は、モジュライ空間 M₁₁ 内で少なくとも h¹(ℐ_C(5)) の codimension を持つ。これにより、Φ₁₁ が i = 0 の部分集合の閉包であることが保証される。
• 算術種数 g が小さく、i が大きい曲線に対しては、M₁₁ 内の対応する部分空間の codimension は g + i を上回り、このような曲線は3つの超立方体の完全交差内の次数 ≤8 の曲面に含まれる。
• 算術種数が大きい曲線に対しては、M₁₁ 内の対応する集合の codimension は min(2g, 12) 以上であり、これにより大きな次元のファイバーが排除される。