[論文レビュー] Rational curves on holomorphic symplectic fourfolds

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Oct 5, 1999

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

ひとこと要約

本稿では、K3曲面の2点ヒルベルトスキームと変形同値な複素シンプレクティック4次元多様体 F における有効な曲線の錐および正の線分束の錐の推測的構造を、H^2(F, ℤ) 上のブルヴィル形式を用いて提案する。著者らは、変形理論を用いて、モジュライ空間の開部分集合においてこれらの予想が成り立つことを証明し、立方体4次元多様体のその直線のファノ多様体を通じて応用を示す。

ABSTRACT

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F). We prove that these conjectures are true in an open subset of the moduli space using deformation theory. The Fano variety of lines contained in a cubic fourfold is an example of a holomorphic symplectic fourfold. Our conjectures imply many concrete geometric statements about cubic fourfolds which may be verified using projective geometry.

研究の動機と目的

• K3曲面の2点ヒルベルトスキームと変形同値な複素シンプレクティック4次元多様体上の有効な曲線の錐の構造を理解すること。
• Pic(F) 上のブルヴィル形式を用いて、有効な曲線の錐と正の線分束の錐の間に双対性を定式化すること。
• K3曲面に対する既知の結果を、正確で数論的形で、高次元の複素シンプレクティック多様体へと拡張すること。
• 変形理論的技法を用いて、モジュライ空間の開部分集合においてこれらの予想を検証すること。
• 特に立方体4次元多様体の直線のファノ多様体を含む、幾何的に明確な事例に予想を応用すること。

提案手法

• 4次元多様体 F の幾何的データを符号化するために、中心的な双線形形式として H^2(F, ℤ) 上のブルヴィル形式を用いる。
• 変形理論を適用して、モジュライ空間の開部分集合において、有効錐の推測的構造が成り立つことを示す。
• K3曲面との類似性を活用し、有効錐が Pic(F) 上のブルヴィル形式が表す整数によって決定されることを予想する。
• 有効な曲線と正の線分束の間の双対性を用いて、F の幾何とブルヴィル形式の算術の関係を結びつける。
• 立方体4次元多様体の直線のファノ多様体を、複素シンプレクティック4次元多様体の重要な例として研究する。
• 立方体4次元多様体上で、古典的射影幾何学的手法を用いて、予想の具体的な幾何的帰結を検証する。

実験結果

リサーチクエスチョン

• RQ1 複素シンプレクティック4次元多様体上の有効な曲線の錐は、その第二コホモロジー上のブルヴィル形式を用いてどのように記述できるか？
• RQ2 このような多様体における有効錐および正の線分束の錐の推測的構造は、K3曲面におけるそれらとどの程度類似しているか？
• RQ3 有効錐の推測的構造が、モジュライ空間の開部分集合で成り立つことを証明できるか？
• RQ4 立方体4次元多様体のその直線のファノ多様体に関する予想から、どのような幾何的帰結が生じるか？
• RQ5 Pic(F) 上のブルヴィル形式が表す整数は、F 上の有理曲線の幾何にどのような制約を課えるか？

主な発見

• 有効錐の推測的構造とその双対である正の線分束の錐の構造が、極付き複素シンプレクティック4次元多様体のモジュライ空間の開部分集合で実際に成り立つことが証明された。
• 有効錐の幾何は、Pic(F) に制限されたブルヴィル形式の整数表現論によって完全に決定される。
• 立方体4次元多様体の直線のファノ多様体が、予想が適用可能な複素シンプレクティック4次元多様体であることが示された。
• 予想は、立方体4次元多様体上の有理曲線の存在と分布に関する具体的な幾何的命題を含意する。
• 変形理論は、モジュライ空間のザリスキ開近傍において予想を検証するためのメカニズムを提供する。
• 結果として、ブルヴィル形式の整数表現を用いた、有効な曲線の錐の正確で数論的特徴づけが確立された。