[論文レビュー] Introduction to the log minimal model program for log canonical pairs

Osamu Fujino|ArXiv.org|Jul 9, 2009

Algebraic Geometry and Number Theory参考文献 68被引用数 95

ひとこと要約

この論文は、対数正則な対のための対数最小モデルプログラム（LMMP）の基礎的枠組みを、準対数多様体を用いて確立し、埋め込まれた正則交差（NC）対のためのKollárの消去定理およびトーション自由定理を一般化する。準対数多様体における錐定理および収縮定理を証明し、付随および消去定理を用いて、対数正則な対の系統的代数的分類を可能にする。主な結果として、対数正則な対のための基本点自由定理、有理性定理、錐定理が得られる。

ABSTRACT

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Kollár's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone and contraction theorems for quasi-log varieties, especially, for log canonical pairs.

研究の動機と目的

• kltの場合を超えて、対数正則な対のための対数最小モデルプログラム（LMMP）の理論的基盤を構築すること。
• Kollárの消去定理およびトーション自由定理を、埋め込まれた単純正則交差（SNC）および正則交差（NC）対に一般化し、対数正則特異点に対するコhomologicalな道具を可能にすること。
• 準対数多様体の理論を導入し、対数正則な対およびその特異点を扱うための枠組みとして体系的に発展させること。
• 付随および消去定理を用いて、特に対数正則な対に対して、準対数多様体における錐定理および収縮定理を証明すること。
• [BCHM]の結果とは異なり、混合Hodge理論および消去定理に焦点を当て、対数正則な対のためのLMMPを自己完結的に基礎づけること。

提案手法

• 混合Hodge理論を用いて、Kollárの消去定理およびトーション自由定理を、埋め込まれた単純正則交差（SNC）および正則交差（NC）対に一般化する。
• 対数正則な対の解体上で付随を用いて準対数多様体を定義し、境界の負部の切り上げを含む直接像公式により、対数正則部分多様体の構造層を同定する。
• 混合Hodge構造の理論を用いて、SNC対上のKollárの定理に還元することで、準対数多様体における消去定理を確立する。
• 一般化された消去定理および被覆空間上の正則類の構造を用いて、準対数多様体における基本点自由定理を証明する。
• 基本点自由定理およびKleiman–Mori錐の幾何学を用いて、付随公式をlc中心上で適用し、有理性定理および錐定理を導出する。
• トーリック幾何を用いて、非ℚ-因子的な反転の例を明示的に構成し、特異的かつ非因子的状況下でのLMMPの挙動を説明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、統一的な枠組みを用いて、klt対から対数正則な対への対数最小モデルプログラムを拡張できるか？
• RQ2 対数正則な対に対して、Kollárの消去定理およびトーション自由定理を一般化するために必要な・十分な拡張は何か？
• RQ3 準対数多様体の概念を用いて、対数正則な対のための錐定理および収縮定理をどのように証明できるか？
• RQ4 混合Hodge理論は、対数正則な対のための消去定理の証明において、どのように役立つか？
• RQ5 非ℚ-因子的状況下において、[BCHM]の結果に依存せずに、対数正則な対のためのLMMPを発展させることは可能か？

主な発見

• 付随および一般化された消去定理を用いて、特に対数正則な対に対して、準対数多様体における錐定理および収縮定理が確立された。
• 準対数多様体の枠組みおよび一般化された消去定理を用いて、対数正則な対のための基本点自由定理が証明された。
• 基本点自由定理およびKleiman–Mori錐の幾何学を用いて、対数正則な対のための有理性定理が導出された。
• 非ℚ-因子的で、正則なGorensteinのトーリック反転が明示的に構成され、非ℚ-因子的状況下で反転の過程でピカール数が増加しうることを示した。
• lc中心における付随公式が一般化され、特異な状況下でも中心上の正則類が引き戻しと不備補正を介して表現可能であることが示された。
• 混合Hodge理論が、必要な消去定理を証明するために不可欠であるため、対数正則な対のための準対数多様体の枠組みが本質的であることが示された。