[論文レビュー] About a Minimal Model Program without flips

Alberto Chiecchio|arXiv (Cornell University)|Oct 23, 2014

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

ひとこと要約

この論文は、対数終票特異点をもつ正規の射影的多様体に対して、Weil Néron-Severi 空間および関連するネフ錐と Weil 曲線の錐を導入し、フラップを避ける最小モデルプログラム（MMP）を可能にする。この枠組みにおいて、新しい錐定理と収縮定理を確立することで、Q-因子化によって終わらせるプログラムを構成し、Q-因子化モデルでは標準的な MMP と同じ結果が得られる、並列的な道筋を提供する。

ABSTRACT

We introduce a new vector space associated to projective variety, the Weil Neron-Severi space, which we show is finitely generated and contains the usual Neron-Severi space as a subspace. We define the Nef cone of Weil divisor and the cone of Weil curves. We study these cones, and prove a new Cone theorem. We use this theorem to propose a Minimal Model Program without flips.

研究の動機と目的

• 非 Q-因子化多様体上の Weil 除的子を用いて、フラップを避ける最小モデルプログラム（MMP）を開発すること。
• 有限生成であり、古典的 Néron-Severi 空間を部分空間として含む、新しいベクトル空間である Weil Néron-Severi 空間を定義すること。
• 対数終票特異点をもつ多様体上の Weil 除的子に対して、錐定理と収縮定理を確立すること。
• 得られるプログラムが Q-因子化特異点と対数 Fano ファイバーをもつモデルを生成することを示し、標準的な MMP と同一の結果を得ること。
• 標準的な MMP の代替ではなく、[BCHM10] および [CU13] の基礎的結果に依拠する、並列的な枠組みを提供すること。

提案手法

• Weil 除的子を数値的に自明な Weil 除的子で割った空間として、Weil Néron-Severi 空間 NS(X)W を定義し、その有限次元性を証明する。
• 双対性を用いて Weil ネフ錐 Nef(X)W と Weil 曲線の錐 NE(X)W を導入し、NE(X)W は仮想的曲線からなる。
• 重要な技術的結果を証明する：f:Y→X が小かつ射影的かつ有理型な準同型であるとき、Y 上の Weil R-除的子 D がネフであることは、f-ネフかつ f*D がネフであることと同値である。
• Weil 環境におけるアーベル性の基準を確立する：D がアーベル的であることと、NE(X)W∖{0} ⊆ D>0 が成り立つことは同値である。
• 新しい錐定理を証明する：NE(X)W = NE(X)W,KX≥0 + ∑ℝ≥0·Cj であり、Cj は KX<0 の半空間に蓄積しない。
• 相対的設定への理論の拡張を行い、基底 U 上の射影的準同型について、相対的錐定理および収縮定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 非 Q-因子化多様体上の Weil 除的子を用いて、フラップを避ける最小モデルプログラムを構築できるか？
• RQ2 Q-因子化が成り立たない状況下でも、Weil 除的子に対する適切な錐理論が、錐定理および収縮定理を支えるものとして存在するか？
• RQ3 Weil Néron-Severi 空間は古典的 Néron-Severi 空間とどのように関係するか？ また、有限生成であるか？
• RQ4 この新しい枠組みによって、標準的な MMP の結果（Q-因子化モデルと対数 Fano ファイバー）がフラップを避けながら達成可能か？
• RQ5 この新しいプログラムによって得られるモデルと、標準的な MMP によって得られるモデルとの関係は何か？

主な発見

• Weil Néron-Severi 空間 NS(X)W は有限次元であり、古典的 Néron-Severi 空間を部分空間として含む。
• Weil ネフ錐 Nef(X)W と Weil 曲線の錐 NE(X)W は適切に定義されており、双対性を満たす。
• 新しい錐定理が成立する：NE(X)W は KX≥0 の部分と、KX<0 の領域に蓄積しない可算個の線分 Cj の和に分解される。
• 収縮定理が確立される：任意の KX-負の極小的面 F に対して、ρ(X̃) ≤ ρ(X)+1 を満たす小かつ射影的かつ有理型な準同型 f: X̃ → X が存在し、F を収縮する。
• 射影的準同型について、基底上での相対的錐定理および収縮定理が成り立つ。ネフ性、アーベル性、およびプッシュフォワードについても同様の記述が可能である。
• プログラムは Q-因子化によって終わらせることでフラップを避けることができ、Q-因子化特異点と対数 Fano ファイバーをもつモデルを生成し、標準的な MMP の結果と一致する。