[論文レビュー] The Minimal Model Program for threefolds in characteristic five

Christopher D. Hacon, Jakub Witaszek|arXiv (Cornell University)|Nov 28, 2019

Algebraic Geometry and Number Theory参考文献 25被引用数 17

ひとこと要約

本稿は、特徴量5の3次元dlt対に対してフラップの存在を確立し、この特徴量における3次元多様体の最小モデルプログラム（MMP）を完了する。dlt 6-被覆と非標準係数の個数に関する帰納的技法を用いて、相対的純粋F正則性が成立しない場合でもフラップが存在することを証明し、これにより、特徴量5におけるスケーリング付きMMP、基点自由定理、および錐定理が成立する。

ABSTRACT

We show the validity of the Minimal Model Program for threefolds in characteristic five.

研究の動機と目的

• 特徴量5における3次元多様体の最小モデルプログラム（MMP）を完了すること。
• 特に、相対的純粋F正則性が失敗するため標準的手法が機能しない低特徴量3次元多様体のMMPにおける空白を埋めること。
• 特徴量p > 5における既知の結果をp = 5に拡張すること。この場合、主要なF正則性性質の破綻により、新たな技法が不可欠となる。
• 特徴量5における3次元多様体に対して、基点自由定理や錐定理といったMMPの基礎定理を確立すること。

提案手法

• 摂動とdlt変形を用いて、標準係数を持つplフラップに還元する。
• 特徴量5において相対的純粋F正則性が失敗する場合、dlt 6-被覆を用いてフラップを構成する。
• 非標準係数成分の個数（ζ(Δ)）に関する帰納的議論を用いて、より単純な場合に帰着する。
• F付随性と曲面上の相対的F正則性を応用し、3次元対の相対的純粋F正則性を導出する。
• 2段階のMMPの実行：まず(K_W + S_W + B_W)に対して、次に(1−a)S_Yのスケーリングを用いて(K_Y + aS_Y + B_Y)に対して実行する。
• 負の補題と相対的数的自明性を用いて、最終出力が所望のフラップであることを確認する。

実験結果

リサーチクエスチョン

• RQ1 特徴量5における3次元多様体のMMPは、標準係数を持つdlt対に対してフラップの存在を認めるか？
• RQ2 特徴量5において相対的純粋F正則性が失敗する場合、フラップ構成においてdlt 6-被覆を用いることでこれを克服できるか？
• RQ3 標準MMP定理（例えば基点自由定理や錐定理）は、どの程度特徴量5において成立するか？
• RQ4 特徴量5における3次元多様体に対して、canonical divisorが相対的に擬効果的である場合、MMPスケーリングを実行できるか？
• RQ5 特徴量5における(K_X + Δ)-フラップ写像の写像が、dltおよびQ-因子的仮定のもとで常に適切に定義され、存在するか？

主な発見

• 任意のQ-因子的dlt 3次元多様体対(X, Δ)に対して、特徴量5の完備体上での(K_X + Δ)-フラップ写像のフラップは存在する。
• 特徴量5における3次元多様体のMMPスケーリングは、K_X + Δが相対的に擬効果的であれば、log最小モデルに終了する。そうでなければ、Mori fibre空間に終了する。
• 特徴量5における3次元klt対に対して、基点自由定理が成立し、相対的にnefかつbigeな線分束が半正則であることを保証する。
• 特徴量5において錐定理が成立し、Mori錐を生成する有理曲線が有限個であり、−6 ≤ (K_X + Δ) · Γ_i < 0 で有界される。
• 特徴量5における滑らかな3次元多様体のcanonical ringは有限生成であり、Zariskiの予想がこの場合に確認される。
• 特徴量5においてdlt変形およびKollárの成分の存在が確立され、より高い特徴量における結果が拡張される。