[論文レビュー] Minimal model program for excellent surfaces

Hiromu Tanaka|arXiv (Cornell University)|Aug 27, 2016

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

ひとこと要約

この論文は、代数閉体上の古典的結果を拡張し、優れた基本スキーム上の対数正則およびQ-因子的な曲面に対する最小モデルプログラム（MMP）を確立する。この一般化された設定において、Kawamata–Viehweg型の消失定理と基点自由定理を証明することで、対数最小モデルまたはモーリー・ファイバー空間に至る系列の双有理写像を構成する。応用として、付随の反転と連結性定理が得られる。

ABSTRACT

We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.

研究の動機と目的

• 代数閉体から優れた基本スキームへと、曲面における最小モデルプログラム（MMP）を拡張すること。これは算術的および代数的幾何学においてより一般かつ広く適用可能な設定である。
• 優れた基本スキーム上の対数正則およびQ-因子的曲面に対して、最小モデルおよびモーリー・ファイバー空間の存在を証明すること。
• 対数正則およびQ-因子的曲面に対する、付随の反転とKollár–Shokurovの連結性定理といった基礎的結果を、優れたスキーム上に確立すること。
• Z や非完全体のような環上の高次元MMPの枠組みを、優れた曲面上の低次元結果を活用することで提供すること。

提案手法

• 特徴0の標準的なMMP戦略を特徴pに適応し、相対的およびグローバルな両方の設定において、Kawamata–Viehweg型の消失定理を正標数でも証明する。
• X法を用いて基点自由定理を確立し、消失定理を用いて特定の除集合の数値的有効性を保証する。
• 負の補題と錐定理を用いて極小極小線を分析し、MMPプロセスにおける極小極小収縮を構成する。
• 準優れた曲面の特異点解消定理（Lipman）を適用し、基本スキームBが正則かつ優れていることを仮定することで、正則除集合および双対複体が存在することを保証する。
• 次元2の正規・射影的S-スキーム間の双有理写像の系列を構成し、対数正則またはQ-因子的特異点を保つ。
• Stein因子分解と幾何的連結性の議論を用いて、特に0次元の基本スキームの場合に非klt集合が連結であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 曲面における最小モデルプログラム（MMP）は、代数閉体から優れた基本スキーム（Z や非完全体を含む）へと拡張可能か？
• RQ2 対数正則およびQ-因子的曲面に対して、優れた基本スキーム上でも基点自由定理が成り立つか？これにより最小モデルやモーリー・ファイバー空間の構成が可能になるか？
• RQ3 優れたスキーム上の対数正則曲面の非klt集合は幾何的に連結か？MMP技法を用いてどのように証明できるか？
• RQ4 付随の反転とKollár–Shokurovの連結性定理は、MMPフレームワークを用いて、優れたスキーム上の曲面へと一般化可能か？

主な発見

• 正則で、優れていて、分離的かつ有限次元のスキーム上での、対数正則およびQ-因子的曲面に対する最小モデルプログラムが確立された。これは代数閉体上での古典的結果を拡張するものである。
• 正規曲面から準射影的基底スキームへの任意の射影的準同型に対して、対数最小モデル（ネフな対数正則除集合を有する）またはモーリー・ファイバー空間（反ネフな対数正則除集合と正次元のファイバーを有する）に至る双有理写像の系列が存在する。
• 適切なアンピュラリティおよびklt仮定の下で、相対的およびグローバルな両設定において、Kawamata–Viehweg型の消失定理が正標数でも証明された。
• 付随の反転は、MMPの構成の直接的結果として、優れたスキーム上の曲面に対しても成り立つ。
• 優れたスキーム上の対数正則曲面の非klt集合は、MMPおよびファイバー単位の連結性の議論を用いて、幾何的に連結であることが証明された。
• Kollár–Shokurovの連結性定理は、優れたスキーム上の曲面へと一般化された。証明はMMPおよびモーリー・ファイバー空間の構造に依存する。