[論文レビュー] Existence of minimal models for varieties of log general type

Caucher Birkar, Paolo Cascini+2 more|ArXiv.org|Oct 5, 2006

Algebraic Geometry and Number Theory参考文献 29被引用数 91

ひとこと要約

この論文は、極小モデルプログラム（MMP）の技術を用いて、正規化された有理的同型型の代数的多様体の canonical ring の有限生成性を示し、その結果、log general type の射影的多様体に対して極小モデルの存在を確立した。特に、kawamata log terminal 対で canonical divisor が big である場合、log terminal model が存在することを示し、これにより smooth な射影的多様体の canonical ring の有限生成性が裏付けられた。

ABSTRACT

We prove that the canonical ring of a smooth projective variety is finitely generated.

研究の動機と目的

• smooth な射影的多様体の canonical ring の有限生成性を証明すること。
• log general type 多様体の極小モデルの存在を確立すること。
• 高次元代数的多様体における極小モデルプログラム（MMP）の主要な予想を解決すること。
• もし $K_X + \Delta$ が pseudo-effective で $\Delta$ が big であれば、$K_X + \Delta$ が log terminal model を持つことを示すこと。
• 高次元代数的多様体の代数的分類の基礎を築くこと。

提案手法

• scaling を用いた極小モデルプログラム（MMP）を用いて、flip と divisorial contraction の列を構成すること。
• 境界 divisor が big である対に対して log terminal model の存在を用いて、問題を有限生成性に還元すること。
• log canonical 対における Nakayama-Zariski 分解と接続理論を適用すること。
• 凸幾何学とディオファントス近似を用いて線形系統の振る舞いを制御すること。
• 局所的 étale 技術と解析的 $\mathbb{Q}$-factorial 性を用いて、log general type の場合の MMP の終了性を証明すること。
• 基底多様体上で反 canonical divisor の nefness を保つ小規模な projective な有理型射の存在を確立すること。

実験結果

リサーチクエスチョン

• RQ1 smooth な射影的多様体 $X$ に対して、log general type の canonical ring $R(X, K_X) = \bigoplus_{m \in \mathbb{N}} H^0(X, \mathcal{O}_X(mK_X))$ は有限生成集合を持つか？
• RQ2 任意の kawamata log terminal 対 $(X, \Delta)$ に対して、$K_X + \Delta$ が pseudo-effective で $\Delta$ が big であれば、log terminal model を構成できるか？
• RQ3 log general type 多様体の極小モデルプログラムは、すべてのケースで有限かつ終了するか？
• RQ4 代数的多様体の有理型モデルが、常に $\mathbb{Q}$-factorial かつ canonical divisor が nef である条件は何か？
• RQ5 flip と divisorial contraction の存在をどのように制御すれば、極小モデルの存在を保証できるか？

主な発見

• 任意の smooth な射影的多様体 $X$ に対して、canonical ring $R(X, K_X) = \bigoplus_{m \in \mathbb{N}} H^0(X, \mathcal{O}_X(mK_X))$ は有限生成である。
• 任意の kawamata log terminal 対 $(X, \Delta)$ に対して、$\Delta$ が big で $K_X + \Delta$ が pseudo-effective であれば、log terminal model が存在する。
• もし $K_X + \Delta$ が big であれば、log canonical model を持つことが示され、canonical ring の有限生成性が裏付けられた。
• scaling を用いた MMP は log general type の場合に終了し、これにより極小モデルの存在が保証された。
• log terminal model の存在は、誘導される有理型写像が $K_X$-negative であることを示し、これにより多様体の pluricanonical 形式が保存されることを意味する。
• 証明は、$T$ を多様体 $S$ の strict transform とするとき、$-T$ の $X$ 上での nefness を保つ小規模な projective な有理型射の存在に依拠している。