[論文レビュー] On the log minimal model program for $3$-folds over imperfect fields of characteristic $p>5$

Omprokash Das, Joe Waldron|arXiv (Cornell University)|Nov 11, 2019

Algebraic Geometry and Number Theory参考文献 35被引用数 10

ひとこと要約

本稿は、特徴量 p > 5 の不完全体上での3次元の対数最小モデルプログラム（LMMP）の基礎的結果を確立し、反転の存在、新しいレイトレングスバウンドを備えた錐定理、および対数最小モデルの存在を証明する。標準的な結果が幾何的非整域性および非正規性のため失敗する状況において、F特異点技術と基底拡大の議論を適応させることで、代数閉体や完全体を超えたLMMPの主要結果を拡張する。これにより、正標数における高次元幾何学および可換代数への応用が可能になる。

ABSTRACT

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal rays, and the existence of log minimal models. As well as pertaining to the geometry of fibrations of relative dimension $3$ over algebraically closed fields, they have applications to tight closure in dimension $4$.

研究の動機と目的

• 特徴量 p > 5 の不完全体上での3次元の対数最小モデルプログラム（LMMP）を拡張し、幾何的非整域性および非正規性のため標準的結果が失敗する状況を扱う。
• 基底拡大におけるklt特異点および消失定理の失敗を克服するため、F-有限体および非完全体の基底に適応した新しい技術を開発する。
• 任意の特徴量 p > 5 の体上での3次元の対数最小モデルおよび反転の存在を確立し、高次元における帰納的応用を可能にする。
• 代数閉体上で有効な古典的バウンドに代わる、体に依存するレイトレングスバウンドを持つ、錐定理の新しい形を提供する。
• F特異点およびSeshadri定数との関係を通じて、可換代数の問題、特に次元4におけるタイトな閉包理論への応用を提示する。

提案手法

• F-有限体上での錐定理を、体の次数 [k(x):k] およびF-有限性に依存する新しいレイトレングスバウンドを導入することで不完全体に適応し、古典的バウンド6の代わりに用いる。
• F-有限体上でのKeelの半正則性基準および基点自由定理を用いて、写像の存在および除数の半正則性を証明する。
• F-有限体への還元と、特に強いF正則性を用いたF特異点の技術により、消失定理に代わる反転の存在を証明する。
• 一般化された反転および弱ザリスキ分解の理論を用いて、非完全体へのLMMP with scalingの拡張を実現する。
• 任意の体上でのSeshadri定数およびFrobenius-Seshadri定数を導入・分析し、吹き上げとジェット分離を用いて正性と幾何的不変量の関係を明らかにする。
• 正則な閉点での吹き上げを用いてSeshadri定数を定義・計算し、コhomologyの消失を介してジェット分離およびFrobeniusジェット分離と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 特徴量 p > 5 の不完全体上での3次元の対数最小モデルプログラムは拡張可能か？
• RQ2 基底体が代数閉でない場合、錐定理の正しい形は何か？古典的バージョンとはどのように異なるか？
• RQ3 特徴量 p > 5 の不完全体上での3次元の反転の存在は成り立つか？消失定理に依存せずにどのように証明できるか？
• RQ4 基底拡大により不完全体に写すことで、代数閉体上での相対次元3のファイブレーションにLMMPを適用可能か？
• RQ5 これらの結果は、F特異点およびSeshadri定数を通じて、次元4におけるタイトな閉包理論にどのような影響を与えるか？

主な発見

• F-有限体上、特徴量 p > 5 において、新しいレイトレングスバウンド 0 < -(K_X + B) ·_k C_i ≤ 6d_{C_i} を備えた錐定理が成り立つ。ここで d_{C_i} は体の次数 [k(x):k] と曲線に依存する。
• 任意の特徴量 p > 5 の体上での、任意の体上のQ-因子的でdltの3次元の多様体に対して、反転の存在が確立され、完全体および代数閉体の場合の結果を拡張する。
• K_X + B が底上での擬効的である場合、特徴量 p > 5 のF-有限体上でのklt 3次元の多様体に対して、LMMP with scalingを用いて対数最小モデルが存在する。
• 基点自由定理および除数の半正則性が、D と D - (K_X + B) が f-big かつ f-nef であるという重要な条件の下で、不完全体の設定に拡張される。
• 任意の体上でのSeshadri定数の新しい特徴付けが、点xを通過する曲線Cに対する (L ·_k C)/mult_{x/k} C の下限として与えられ、これはジェット分離と関連付ける。
• Frobenius-Seshadri定数 ǫ_F(L; x) は ǫ(L; x)/n ≤ ǫ_F(L; x) ≤ ǫ(L; x) を満たし、もし ǫ_F(L; x) > 1 ならば、H^0(ω_X ⊗ L) → H^0(ω_X ⊗ L ⊗ O_X/m_x) は全射である。