[論文レビュー] Projective normality of nonsingular toric varieties of dimension three

Shōetsu Ogata|arXiv (Cornell University)|Dec 4, 2007

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

ひとこと要約

本稿は、特異点のないトーリック3次元多様体上の豊富な線分束の通常生成に関する基準を確立する：もし二重同伴線分束 $L 丶otimes \mathcal{O}_X(2K_X)$ が全局的切断を持たないならば、$L$ は通常生成である。主な応用として、任意の特異点のないトーリックファノ4次元多様体上の反 canonical 線分束が、ファノ多面体の分類に依存せずに通常生成であることを証明する。

ABSTRACT

We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.

研究の動機と目的

• 特異点のないトーリック3次元多様体上の豊富な線分束の通常生成の十分条件を確立すること。
• 特異点のないトーリックファノ4次元多様体上の反 canonical 線分束が通常生成であることを証明すること。
• ファノ多面体の分類に依存しない基準を提供すること。
• トーリック幾何における通常生成に関する既知の結果を、より高次元の特異点のないトーリック多様体へと拡張すること。

提案手法

• 3次元の整数凸多面体と特異点のないトーリック3次元多様体上の豊富な線分束との対応関係を用いる。
• ファクルディーンの、トーリック曲面における線分束の積写像の全射性に関する結果を適用する。
• 問題を関連多面体 $P$ の内部多面体に帰着させるために、低次元のトーリック多様体への等化的準同型を利用する。
• $H^0(X, L \otimes \mathcal{O}_X(2K_X))$ の消滅を用いて、内部多面体 $Q = \text{Conv}(\text{Int}(P) \cap M)$ の構造を制約する。
• 内部多面体 $Q$ の次元と格子点構造に基づいて場合分けを行う。特に、$\dim Q \leq 2$ または $\dim Q = 3$ かつ内部点を持たない場合を重点的に分析する。
• 補題3および命題9を用いて、多面体の分解と消滅条件から通常生成を導出する。

実験結果

リサーチクエスチョン

• RQ1 特異点のないトーリック3次元多様体上の豊富な線分束がどのような条件下で通常生成されるか。
• RQ2 ファノ多面体の分類に依存せずに、特異点のないトーリックファノ4次元多様体上の反 canonical 線分束の通常生成を確立できるか。
• RQ3 $H^0(X, L \otimes \mathcal{O}_X(2K_X))$ の消滅が $L$ の通常生成とどのように関係するか。
• RQ4 内部多面体 $Q = \text{Conv}(\text{Int}(P) \cap M)$ は、$L$ の通常生成を決定づける上で果たす役割は何か。
• RQ5 線分束 $L$ のトーリック除集合 $D_i$ への制限が、いつ通常生成のままであるか。

主な発見

• 特異点のないトーリック3次元多様体上の豊富な線分束 $L$ は、$H^0(X, L \otimes \mathcal{O}_X(2K_X)) = 0$ すなわち二重同伴線分束が全局的切断を持たない場合、通常生成である。
• 任意の特異点のないトーリックファノ4次元多様体 $X$ における反 canonical 線分束 $\mathcal{O}_X(-K_X)$ は、除集合への制限への帰着により、通常生成であることが示された。
• 証明はファノ多面体の分類を回避しており、次元4における通常生成の新しい内在的基準を提供する。
• 内部多面体 $Q$ の次元が2以下である場合、分解と全射性の結果から $L$ の通常生成が従う。
• $\dim Q = 3$ かつ $\text{Int}(Q) \cap M = \emptyset$ の場合、$Q$ の構造と補題3を用いて $L$ が still 通常生成であることが示された。
• $2G_i = F_i$ である場合、$X \cong \mathbb{P}^4$ かつ $\mathcal{O}(2)$ となるが、これは $\mathcal{O}_X(-K_X)$ が $\mathcal{O}(2)$ でないため除外され、すべての $i$ に対して $H^0(D_i, L_{|D_i} \otimes \mathcal{O}_{D_i}(2K_{D_i})) = 0$ が保証される。