[論文レビュー] Picard-graded Betti numbers and the defining ideals of Cox rings

Antonio Laface, Mauricio Velasco|ArXiv.org|Jul 22, 2007

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

ひとこと要約

本稿では、特にデル ペッツォ表面を対象として、モアリ・ドリーム空間のコクス環の定義イデアルを研究するためのツールとして、ピカール次数付きベッチ数を導入する。ホロノロジーがベッチ数を計算する層コホモロジー群の複体を構成することで、著者たちはコクス環イデアルの最小生成元を分析する幾何的メソッドを提供し、デル ペッツォ表面（次数 >1）のコクス環が二次代数であるという事実の新しい証明を導く。

ABSTRACT

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.

研究の動機と目的

• コクス環のピカール次数付きベッチ数を、層コホモロジー複体を用いて幾何的に計算する方法を開発すること。
• コクス環の定義イデアルの最小生成元の次数を幾何的不変量の観点から特徴付けること。
• デル ペッツォ表面のコクス環が二次代数であるというバティレフ＝ポポフ予想に対する新しい証明を提供すること。
• 特にアンチCanonical次数 ≥2 のネフな除数に対して、第一ベッチ数が消える条件を確立すること。
• シンジーギー的技法を用いて、有理被覆面のコクス環の構造に関する以前の結果を統合・拡張すること。

提案手法

• 各除数 $D \in \operatorname{Pic}(X)$ に対して、$H^0(X, D - C_{i_1} - \cdots - C_{i_j})$ の層コホモロジー群からなる複体 $\mathbb{A}(D)$ を定義する。
• 剰余体のコシュール複体分解を用いて、$\mathbb{A}(D)$ のホロノロジーと $\operatorname{Pic}(X)$-次数付きコクス環 $\operatorname{Cox}(X)$ のベッチ数との関係を確立する。
• $b_{i,D}(\operatorname{Cox}(X)) = \dim_k H_i(\mathbb{A}(D))$ を示し、代数的ベッチ数を幾何的コホモロジーに結びつける。
• カワマタ＝ヴィエヒェグの消失定理を用いて、特定の曲線配置条件下で $h^1(D - A - B - C) = 0$ を示す。
• 例外的曲線上の組合せゲーム（「キャプチャ・ゲーム」）を用いて、デル ペッツォ表面における高次コホモロジーの消失を検証する。
• 帰納法と関連する $D$ に対する $b_{1,D}$ の消失を用いて、コクス環イデアルのすべての最小生成元がアンチCanonical次数 2 にあることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コクス環のピカール次数付きベッチ数の幾何的意味は何か？
• RQ2 与えられた除数 $D$ に対して、第一ベッチ数 $b_{1,D}(\operatorname{Cox}(X))$ が消える条件は何か？
• RQ3 幾何的シンジーギー法を用いて、デル ペッツォ表面のコクス環の定義イデアルが次数 2 で生成されることを示せるか？
• RQ4 デル ペッツォ表面の例外的曲線の構造は、シンジーギー複体におけるコホモロジーの消失をどのように制御できるか？
• RQ5 $\mathbb{A}(D)$ の複体における $H^1$ の消失を保証する一様な幾何的基準は存在するか？ その基準がコクス環の二次的提示を示唆するか？

主な発見

• $\operatorname{Cox}(X)$ の $\operatorname{Pic}(X)$-次数付きベッチ数は、ラインバンドルの層コホモロジーから構成される複体 $\mathbb{A}(D)$ のホロノロジー群の次元として計算され、それらはラインバンドルのコホモロジーに依存する。
• 任意の $4 \leq r \leq 7$ のデル ペッツォ表面 $X_r$ に対して、$\operatorname{Cox}(X_r)$ を定義するイデアルのすべての最小生成元がアンチCanonical次数 2 にあることが示され、バティレフ＝ポポフ予想が証明された。
• ネフな除数 $D$ で、曲線を収縮するものについて、$\geq 2$ の次数を持つ場合、複体 $\mathbb{A}(D)$ 内のコホモロジー消失を用いて、$b_{1,D}(\operatorname{Cox}(X))$ が消えることが確立された。
• $r=7$ の場合、例外的曲線上の「キャプチャ・ゲーム」とカワマタ＝ヴィエヒェグの消失定理を用いて、すべてのアンチCanonical次数 $\geq 3$ の $D$ に対して $b_{1,D}(\operatorname{Cox}(X_7))$ が消失することを証明した。
• 複体 $\mathbb{A}(D)$ は、コシュールシンジーギー複体の幾何的実現を提供し、交差理論や曲線配置を用いてベッチ数の消失を導くことが可能になった。
• 証明により、デル ペッツォ表面のコクス環の定義イデアルが二次式によって生成されることを示し、$4 \leq r \leq 7$ に対して $\operatorname{Cox}(X_r) \cong k[V_r]/Q_r$ が成り立つことが確認された。