[論文レビュー] On the three dimensional minimal model program in positive characteristic

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|Feb 1, 2013

Algebraic Geometry and Number Theory参考文献 32被引用数 19

ひとこと要約

本稿は、正の特性 p > 5 において、3次元の klt および端末的対に対して、標準的な係数条件の下で、フラップおよび最小モデルの存在を確立する。シュコロフの pl-フラップアプローチを適応し、カワマタ＝ヴィエヒェグの消失定理の失敗を補うためにフォビニウススプリッティング技術を活用することで、制限された高次正則線形系統の環の有限生成性を証明し、この設定における3次元多様体の最小モデルプログラムを完成させる。

ABSTRACT

Let $f:(X,B) o Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the flip of $f$ exists. As a consequence, we prove the existence of minimal models for any projective $\Q$-factorial terminal variety $X$ with pseudo-effective canonical divisor $K_X$.

研究の動機と目的

• 正の特性 p > 5 における3次元 dlt 対のフラップの存在を確立すること。
• 有効な正則線形系統をもつ Q-ファクター的端末的3次元多様体に対して最小モデルの存在を証明すること。
• 正の特性におけるカワマタ＝ヴィエヒェグの消失定理の失敗を、フォビニウスに基づく技術を用いて克服すること。
• 標準的な係数条件の下で、正の特性における3次元多様体への最小モデルプログラムの拡張を達成すること。
• 底体が正の特性の代数閉体である場合に、修正された MMP を用いて最小モデルが得られることを示すこと。

提案手法

• 正の特性に適応したシュコロフの pl-フラップ還元戦略を用い、フラップの存在を制限された高次正則線形系統の環の有限生成性に還元する。
• 制限代数 R_S/Z(K_X + S + B) に関連する移動 b-除集合列を安定化させるために、フォビニウススプリッティング技術を用いる。
• 1/m M_{m,S'} の列の安定化を示すために、それが固定モデルに下りるこそして、相対的半アーマブル性およびキールの基準によって安定化することを証明する。
• 反転の付随と dlt 対の付随を用い、全空間上の特異点と除集合 S 上の特異点との関係を関連付ける。
• X 上の X̄ における K_{X̄} + B̄ の相対的半アーマブル性を用い、相対的設定における半アーマブル性に関するキールの定理を適用して、グローバルな半アーマブル性を導く。
• 正の特性 p > 5 において、F-特異点とフォビニウススプリッティングが、コホモロジー的消失と基点自由性の制御を可能にすることを活用する。

実験結果

リサーチクエスチョン

• RQ1 正の特性 p > 5 における3次元多様体の最小モデルプログラムは、標準的な係数条件の下で成立するか？
• RQ2 カワマタ＝ヴィエヒェグの消失定理の失敗にもかかわらず、正の特性においてフラップの存在を確立できるか？
• RQ3 制限代数 R_S/Z(K_X + S + B) の有限生成性は、正の特性におけるフラップの存在に十分か？
• RQ4 底体が正の特性の代数閉体である場合に、修正された MMP を用いて最小モデルを構成できるか？
• RQ5 正の特性において、有効な正則線形系統をもつ3次元多様体対が最小モデルをもつことが保証される条件は何か？

主な発見

• 正の特性 p > 5 において、{B} の係数が {1 - 1/n | n ∈ ℕ} の標準的集合にある任意の extremal dlt フラッピング収縮 f:(X,B) → Z に対して、フラップが存在する。
• すべての Δ の係数が標準的集合にあり、N_σ(K_X + Δ) ∧ Δ = 0 である限り、有効な正則線形系統をもつ任意の Q-ファクター的端末的3次元多様体 X に対して、最小モデルが存在する。
• 底体が代数的閉体 k = Ḟ_p である正の特性の下では、通常の (K_X + Δ)-MMP を実行することで最小モデルが得られる。
• 十分に可除な m に対して、有理数 b-除集合の列 1/m M_{m,S'} は安定化する。これは、制限代数 R_S/Z(K_X + S + B) の有限生成性を意味する。
• dlt 変形の存在とフォビニウススプリッティング技術の使用により、正の特性における消失定理の失敗を回避できる。
• キールの基準による相対的半アーマブル性を用い、K_{X̄} + B̄ が X 上で半アーマブルであることを導く。これは、有限生成性とフラップの存在の証明に不可欠である。