[論文レビュー] Vanishing theorems for toric polyhedra

Osamu Fujino|ArXiv.org|Jul 21, 2007

Algebraic Geometry and Number Theory参考文献 7被引用数 6

ひとこと要約

本稿は、任意の特徴値体上の多面体的多様体（トーリック多様体のトーラス軌道の和集合である還元的閉部分多様体）に対して、Hodge-to-de Rhamスペクトル系列の消滅定理と$E_1$-退化を確立する。特筆すべきは、豊富な線分束に対する強力な拡張定理を導入し、乗法写像と対数幾何的技法を用いて、Kollár型の消滅定理を一般化し、Danilovの結果を拡張することである。

ABSTRACT

A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of the orbits of the torus action. We prove vanishing theorems for toric polyhedra. We also give a proof of the $E_1$-degeneration of Hodge to de Rham type spectral sequence for toric polyhedra in any characteristic. Finally, we give a very powerful extension theorem for ample line bundles.

研究の動機と目的

• 任意の特徴値体上の多面体的多様体へのDanilovの消滅定理の一般化。
• 完全な多面体的多様体に対してHodge-to-de Rhamスペクトル系列の$E_1$-退化を証明し、正の特徴値で未知であった結果を得る。
• 多面体的多様体に対してKollár型の消滅定理を確立し、豊富な線分束の切断に対する強力な拡張結果を提供する。
• 多面体的多様体と準対数的多様体の理論を結びつけ、自然な準対数的構造（qlc特異点を有する）を有することが示される。
• Ishidaのde Rham複体と乗法写像の特徴値フリーなアプローチを、多面体的多様体の設定へ拡張する。

提案手法

• Fujino (2007) の乗法写像技法を多面体的多様体に適応し、トーラス不変除法と対数de Rham複体の構造を用いる。
• 多面体的多様体$Y$に対してIshidaのde Rham複体$\widetilde{\Omega}^\bullet_Y$を適用し、コホモロジーとスペクトル系列を解析する。
• $K_X + D \sim 0$および$(X,D)$が対数正則であることから、相対双対性と特異点の解消を用いて消滅を導出する。
• $f^{-1}(Y)$が単純正則交差除法となるようなトーリック解体$f: V \to X$を用い、対数正則中心と接続を活用する。
• Fujino (2007) および (2008) の消滅定理を、$M$がネフかつ大きな場合の$R^i \pi_* \mathcal{O}_X(M)$に適用し、理想層$\mathcal{I}_Y$へ拡張する。
• 準対数的解体$g: (E_1, {E_2}|_{E_1}) \to Y$を構成し、$Y$が自明な正則類を有する準対数的多様体であることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全な多面体的多様体において、正の特徴値でHodge-to-de Rhamスペクトル系列の$E_1$-退化が成立するか？
• RQ2 多面体的多様体に対してKollár型の消滅定理を確立でき、$i > 0$および豊富な$L$に対して$H^i(X, \mathcal{I}_Y \otimes L) = 0$が成り立つか？
• RQ3 多面体的多様体における消滅定理は、滑らかなトーリック多様体を超えて、Danilovの結果をどのように拡張するか？
• RQ4 多面体的多様体と準対数的多様体理論の関係、特に正則類と中心の観点から、どのように関係するか？
• RQ5 乗法写像の特徴値フリーな手法を、多面体的多様体のような特異部分多様体へ拡張可能か？

主な発見

• 消滅定理が成立：任意の豊富な線分束$L$とすべての$i \neq 0$に対して、射影的トーリック多面体$Y$上で$H^i(Y, \widetilde{\Omega}^a_Y \otimes L) = 0$。
• 任意の完全なトーリック多面体$Y$に対して、Hodge-to-de Rhamスペクトル系列$E^{a,b}_1 = H^b(Y, \widetilde{\Omega}^a_Y) \Rightarrow \mathbb{H}^{a+b}(Y, \widetilde{\Omega}^\bullet_Y)$は$E_1$で退化する。
• 拡張定理は、任意の射影的トーリック多様体$X$および豊富な線分束$L$に対して、$H^i(X, \mathcal{I}_Y \otimes L) = 0$（すべての$i > 0$）であり、$H^0(X, L) \to H^0(Y, L)$の制限写像が全射であることを示す。
• トーリックな準同型$f: Z \to X$および$X$上の豊富な$L$に対して、$i > 0$のとき、$R^i \pi_* (L \otimes R^j f_* \widetilde{\Omega}^a_Z(\log(A+B))(-A))$は消える。これはKollárの消滅を一般化する。
• トーリック多面体$Y = Y(\Phi)$は、対数正則対$(X, D)$から自然な準対数的構造を引き継ぎ、$Y$はqlc特異点のみをもち、$\sigma \in \Phi \setminus \{0\}$に対し$V(\sigma)$がqlc中心となる。
• 準対数的解体$g: (E_1, {E_2}|_{E_1}) \to Y$は、$g^*0 \sim K_{E_1} + {E_2}|_{E_1}$および$g_* \mathcal{O}_{E_1} \simeq \mathcal{O}_Y$を満たし、準対数的構造が確認される。