[論文レビュー] Families of rational curves on holomorphic symplectic varieties

François Charles, Gianluca Pacienza|arXiv (Cornell University)|Jan 16, 2014

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

ひとこと要約

本論文は、K3[n]-型の特異的シンプレクティック多様体上の有理曲線族を調査し、その多様体上の任意の豊かで線形的システムがユニルーデッド・ディバイザーを含むことを証明する。主な結果として、0次サイクルのチャウ群に関するBeauville-Voisin定理を一般化し、代数幾何学の基礎的結果をより広いクラスのシンプレクティック多様体へと拡張する。

ABSTRACT

We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.

研究の動機と目的

• K3[n]-型の非特異的シンプレクティック多様体上の有理曲線の幾何を理解すること。
• このような多様体上の豊かで線形的システムの構造とその有理曲線の内容を調査すること。
• Beauville-Voisinの0次サイクルに関する結果を、より広いクラスの正則シンプレクティック多様体へと拡張すること。
• 豊かで線形的システムにユニルーデッド・ディバイザーが存在することを、主要な幾何的特徴として確立すること。
• 高次元のシンプレクティック幾何における有理曲線とそのモジュライの研究のための枠組みを提供すること。

提案手法

• 正則シンプレクティック多様体上の有理曲線の変形理論を用いる。
• K3[n]-型多様体上の豊かで線形的システムの文脈において、ユニルーデッド・ディバイザーの理論を適用する。
• チャウ群における代数的サイクルとその類を用いて、Beauville-Voisinの結果を一般化する。
• K3[n]-型多様体のコホモロジーとホッジ理論の既知の構造を活用し、有理曲線族を制約する。
• ラグランジュ的ファイブレーションと有理曲線の収縮を幾何的道具として用いる。
• 安定写像のモジュライ空間と双有理幾何の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 K3[n]-型の特異的シンプレクティック多様体上の豊かで線形的システムは、常にユニルーデッド・ディバイザーを含むか？
• RQ2 K3[n]-型多様体上の0次サイクルのチャウ群の文脈において、有理曲線はどのように振る舞うか？
• RQ3 Beauville-Voisinの0次サイクルに関する定理は、一般のK3[n]-型正則シンプレクティック多様体へと拡張可能か？
• RQ4 ユニルーデッド・ディバイザーは、これらの多様体の双有理幾何において果たす役割は何か？
• RQ5 有理曲線族は、豊かで線形的コーンとモジュライ空間の幾何とどのように関係するか？

主な発見

• K3[n]-型の特異的シンプレクティック多様体上の任意の豊かで線形的システムは、ユニルーデッド・ディバイザーを含む。
• ユニルーデッド・ディバイザーの存在は、特定の幾何的モデルに依存しない、このような多様体上の豊かで線形的システムの一般的特徴である。
• 本論文は、Beauville-Voisinの0次サイクルに関する結果を、すべてのK3[n]-型多様体へ一般化する。
• これらの多様体における有理曲線の構造は、豊かで線形的コーンとユニルーデッド・ディバイザーの幾何と密接に結びついている。
• 結果は、正則シンプレクティック多様体の代数的サイクルとホッジ理論に対する新たな制約を提供する。
• 開発された枠組みにより、高次元シンプレクティック多様体における有理曲線の体系的かつ系統的な研究が可能になる。