[論文レビュー] Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic

Yūjirō Kawamata|ArXiv.org|Mar 5, 1993

Algebraic Geometry and Number Theory参考文献 9被引用数 51

ひとこと要約

本稿は、終極的特異点に関する技術的仮定の下で、正または混合特異度における3次元多様体への最小モデルプログラムの拡張を試み、錐定理、縮約定理、フリップ定理の確立を含む。Dedekind環上での半安定還元をもつ3次元多様体に対して、半安定最小モデルの存在を証明しており、Kodairaの消去定理が成立しないにもかかわらず、特異度0の結果を一般化している。

ABSTRACT

We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.

研究の動機と目的

• Kodairaの消去定理が成立しない正または混合特異度における3次元多様体の最小モデルプログラムを拡張すること。
• 弱い消去定理を用いて、Kodairaの消去定理に代わる方法で、この設定における錐定理、縮約定理、フリップ定理を確立すること。
• Dedekind環上での半安定3次元多様体に対して、最小モデルプログラムが終結し、最小モデルまたはモーリー・ファイバー空間構造を生成することを証明すること。
• 終極的特異点に関する技術的仮定が、除法的縮約とフリップの下でも保存されることを検証すること。
• 一般化された特異点がKodaira次元2をもつ場合、相対的正則リーマン環が有限生成であることを示すこと。

提案手法

• 3次元多様体が曲面へファイバー化されることを活かし、対数的表面理論を用いて錐定理を導出する。
• Kodairaの消去定理に代わる弱い消去定理（補題2.1および2.2）を適用し、縮約定理を証明する。
• 定義1.1の技術的条件(6)を課すことにより、正特異度における終極的特異点の振る舞いを良好に保証する。
• 局所的正則被覆およびトーリック幾何学的手法を用いて、特異度に依存しない終極的特異点の分類を行う。
• 例外的除法の最小不一致係数を用いて、フリップの終結を証明する。
• 相対的正則除法の最大インデックスに関する帰納法を用いて、フリップ定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 Kodairaの消去定理が成立しない正または混合特異度における3次元多様体の最小モデルプログラムを拡張することは可能か？
• RQ2 Grauert-Riemenschneiderの消去定理が利用できない正特異度において、縮約定理は成り立つか？
• RQ3 終極的特異点に関する技術的仮定(6)は、フリップおよび除法的縮約の下でも保存されるか？
• RQ4 正特異度におけるフリッププロセスは終結するか？ その保証はどのようになされるか？
• RQ5 半安定還元およびKodaira次元2をもつ3次元多様体の相対的正則リーマン環は有限生成か？

主な発見

• Dedekind環上での半安定還元をもつ射影的3次元多様体に対して、錐定理が成立し、相対的正則除法がネフでない場合には極値的射が存在することが保証される。
• 弱い消去定理を用いることで、Kodairaの消去定理が成立しない状況下でも、極値的射に対する縮約準同型が可能であることが示された。
• 相対的正則除法の最大インデックスに関する帰納法を用いてフリップ定理を証明し、最小不一致係数によりフリップの終結が保証された。
• 終極的特異点に関する技術的仮定(6)は、除法的縮約およびフリップの下でも保存され、最小モデルの帰納的構成が可能となる。
• 一般化された特異点がKodaira次元2をもつ場合、相対的正則リーマン環は有限生成であり、ある $ m_0 $ に対して $ \mathcal{O}_X(m_0 K_{X/\Delta}) $ が全体の切断によって生成される。
• 最小モデルプログラムは終結し、与えられた3次元多様体がDedekind環上での最小モデルまたはモーリー・ファイバー空間構造を生成する。