[論文レビュー] The LMMP for log canonical 3-folds in char $p$

Joe Waldron|arXiv (Cornell University)|Mar 9, 2016

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿は、正の特性 p > 5 における対数正則な 3 次元多様体に対して、対数最小モデルプログラム（LMMP）を確立し、錐定理、収縮定理、フリップの存在、および良い対数最小モデルの存在を証明する。キールの半正則性基準と dlt 対における接続を用いて、ネフで大きな対数正則な除 canonical 切線束が半正則であることを示し、このような対に対して完全な LMMP が可能であることを保証する。

ABSTRACT

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models for pairs with log divisor numerically equivalent to an effective divisor. These follow from our main results, which are that certain log minimal models are good.

研究の動機と目的

• 正の特性 p > 5 における対数正則 3 次元多様体への対数最小モデルプログラム（LMMP）の拡張を図ること。
• この設定下で LMMP の基礎的定理である錐定理、収縮定理、フリップの存在を確立すること。
• ネフで大きな対数正則な除 canonical 切線束が半正則であることを証明し、良い最小モデルの存在を保証すること。
• 標準的消失定理の欠如を補うために、正の特性におけるキールの半正則性基準を用いること。
• 有効な対のフリップの停止性を、対数正則閾値の上昇鎖条件（ACC）を用いて示すこと。

提案手法

• キールの定理を適用：正の特性において、線束が半正則であることと、その例外的部分に制限したものが半正則であることとは同値である。
• 対数正則な対を、その対数正則な除 canonical 切線束の例外的部分が境界の減少部分に含まれる dlt モデルに置き換える。
• 境界の部分的正規化における接続を用いて、半正則性を半正則な表面への豊富性に還元する。
• dlt 対に対して、$K_Y + B_Y$ を $\lfloor B_Y \rfloor$ に制限したものが半正則であることを証明し、これにより全除 canonical 切線束の半正則性が従う。
• 錐定理を用いて極小な線を特定し、収縮定理を適用して、与えられた線に沿った曲線を収縮する射影的な射影を構成する。
• 対数正則閾値の ACC を用いて停止性を示し、有効な対のフリップ列が停止することを保証する。

実験結果

リサーチクエスチョン

• RQ1 正の特性 p > 5 における対数正則 3 次元多様体に対して、対数最小モデルプログラム（LMMP）を完全に実行できるか？
• RQ2 正の特性において、多様体が $\mathbb{Q}$-因子的でない場合でも、対数正則 3 次元多様体に対して錐定理は成り立つか？
• RQ3 標準的消失定理が利用できない状況下で、ネフで大きな対数正則な除 canonical 切線束は正の特性において半正則か？
• RQ4 正の特性 p > 5 における対数正則 3 次元多様体に対して、フリップは存在するか？ また、LMMP を用いて構成可能か？
• RQ5 この設定下で有効な対の LMMP は停止するか？ 停止を保証する条件は何か？

主な発見

• 正の特性 p > 5 における対数正則 3 次元多様体に対して、錐定理が成り立つ：モーリー錐の閉包は、$K_X + B$ のネフ錐と、有限個の負の極小線に分解され、それぞれが有界な負の交点を持つ有理曲線で表される。
• 収縮定理が確立された：任意の $K_X + B$-負極小線は、射影的収縮を許容する。これは、フリップの構成に向けた重要な一歩である。
• 正の特性 p > 5 における対数正則 3 次元多様体に対してフリップが存在する。これは、LMMP を用いて対数最小モデルを構成し、dlt モデル上の $K_Y + B_Y$ の半正則性を適用することで示される。
• 良い対数最小モデルが存在する：$K_X + B$ が基底 $Z$ 上でネフで大きな場合、$Z$ 上で半正則である。これにより、良い最小モデルの存在が保証される。
• 有効な対の LMMP は停止する：任意の $K_X + B$-フリップであり、ある有効な $M \geq 0$ に対して $M$-フリップであるような列は、対数正則閾値の ACC により停止する。
• 主な技術的結果は、$\mathbb{Q}$-因子的 dlt 3 次元多様体対 $(Y, B_Y)$ で $K_Y + B_Y$ がネフであるとき、$(K_Y + B_Y)|_{\lfloor B_Y \rfloor}$ が半正則である。これは、接続と既知の表面に関する結果を用いて、全除 canonical 切線束のグローバルな半正則性が従う。