[論文レビュー] Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU

Caucher Birkar, Mihai Păun|ArXiv.org|Apr 19, 2009

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

ひとこと要約

本稿は、対 $(X/Z, B)$ が $B$ を $Z$ 上で大きな $\mathbb{Q}$-有理被覆として持つ klt 対に対して、対数最小モデルプログラムに依存しない新しい手法を用いて、対数最小モデルおよびモーリー線形空間の存在を確立する。主な貢献は、ディオファントス近似および拡張定理を用いた擬効的対数 canonical 除数に対する非消滅定理の証明であり、これは対数 canonical 環の有限生成性および klt 場合における対数フリップの存在を示す。

ABSTRACT

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the other results of Birkar-Cascini-Hacon-McKernan paper.

研究の動機と目的

• 対 $(X/Z, B)$ が $Z$ 上で $B$ が大きな klt 対である場合、対数最小モデルまたはモーリー線形空間の存在を確立すること。
• 対数最小モデルプログラムに依存せずに、擬効的対数 canonical 除数に対する非消滅定理を証明すること。
• 境界が $\mathbb{Q}$-有理被覆である klt 対に対して、対数 canonical 環の有限生成性を確立すること。
• 非消滅および拡張技法を用いて、klt 対に対する対数フリップの存在を再証明すること。
• 正則性の直接像層および拡張定理を用いて、相対的設定への非消滅結果の一般化を図ること。

提案手法

• ディオファントス近似を用いて、ファイバー $X_z$ 上の対 $(B, T)$ の有理近似 $(B_i, T_i)$ を構成し、$K_X + B + S \equiv \sum r_i(K_X + B_i + S)$ かつ $r_i \in [0,1]$ となるようにすること。
• 多様体のファイバーから全空間へのセクションの持ち上げに、正則性の不変性および Ohsawa-Takegoshi 型拡張定理を適用すること。
• 曲率の正の性質および klt 性質を用いて、バンドル $q_\eta(K_{X/Z} + B_\eta) + p^*A$ 上に正の曲率を持つ計量を構成すること。
• 計量下でのセクションの有界性を用いて、ファイバーから全多様体への正則セクションの拡張を実行すること。
• 基点自由定理および相対的半アーベル性を適用し、対数 canonical 環の有限生成性を導出すること。
• 次元に関する帰納法および lc 中心の構造を用いて、問題を $Z$ が点である場合に還元すること。

実験結果

リサーチクエスチョン

• RQ1 任意の klt 対 $(X/Z, B)$ が $Z$ 上で $B$ が大きな場合、対数最小モデルまたはモーリー線形空間をもつだろうか？
• RQ2 対数最小モデルプログラムに依存せずに、擬効的対数 canonical 除数に対する非消滅定理を証明できるだろうか？
• RQ3 ある対数最小モデルの存在が、その対数 canonical 環の有限生成性を示唆するだろうか？
• RQ4 非消滅および拡張技法を用いて、klt 対に対する対数フリップを構成できるだろうか？（LMMP に依存しない形で）
• RQ5 $K_X + B$ が $Z$ 上で非消滅であるという相対的結果は、直接像層の正則性を用いて絶対的ケースから導けるだろうか？

主な発見

• 擬効的対数 canonical 除数に対する非消滅定理は、相対的設定でも成り立つ：$K_X + B$ が $Z$ 上で擬効的であれば、$(X/Z, B)$ は有効的である。
• 対数フリップは、対数最小モデルの存在および基点自由定理の結果として存在することが保証される。
• 境界 $B$ が $\mathbb{Q}$-有理被覆であるとき、対数 canonical 環 $\mathcal{R}(X/Z, B) = \bigoplus_{m \geq 0} f_*\mathcal{O}_X(m(K_X + B))$ は $\mathcal{O}_Z$ 上で有限生成である。
• 非消滅定理の証明は、対数最小モデルプログラムを回避し、代わりにディオファントス近似および拡張定理に依存する。
• 次元 $d$ において、次元 $d-1$ での帰納的仮定のもとで、$B$ が $Z$ 上で大きな klt 対に対して対数最小モデルの存在が確立される。
• 相対的非消滅結果は、直接像層の正則性および拡張定理を用いて、絶対的ケースから導出される。