[論文レビュー] Minimal model program for semi-stable threefolds in mixed characteristic

Teppei Takamatsu, Shou Yoshikawa|arXiv (Cornell University)|Dec 14, 2020

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

ひとこと要約

本稿では、特異点の型がdltである三様体の極小モデルプログラム（MMP）を、残渣特性に制限を設けずに、混合特性における完全な特異点を持つ三様体に対して確立した。これは、F-正則性の代わりにグローバルT-正則性と変形（alterations）を導入することで、Kawamataの結果を一般化したものであり、特に残渣特性2および3の状況においても、半安定三様体のMMPが成立することを示した。

ABSTRACT

In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where $π\colon X o Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,Δ)$ is a three-dimensional dlt pair with $\mathrm{Exc}(π) \subset \lfloor Δ floor $.

研究の動機と目的

• 三様体の極小モデルプログラム（MMP）を、残渣特性が2または3である場合を含め、混合特性の設定へと拡張すること。
• 優れたデデキンド環上の厳密に半安定なスキームに対してKawamataのMMP結果を一般化し、残渣特性に依存しない形で再構築すること。
• 準射影的$V$-スキーム上でのdlt設定において、$(K_{X/V} + \nabla)$-MMPのフリップの存在と終了を確立すること。
• FrobeniusとF-正則性の代わりにグローバルT-正則性と変形を用いて、混合特性における正の特性のフリップ存在定理の類似物を構築すること。
• 相対的設定において canonical ring の有限生成性とネフ線分束の半正則性を証明し、MMPフレームワークを支えること。

提案手法

• 優れたデデキンド環$V$上の対数対に対してグローバルT-正則性を導入し、変形後にGrothendieckトレース写像の上への性質に基づいて定義する。
• 正の特性におけるFrobenius依存の手法を、混合特性設定において変形とFrobeniusのねじれ（twists）に置き換える。
• [Bha20, 定理6.28] から導かれる、変形までに成立する消滅定理を用いて、MMPプロセスにおけるコホロロジーを制御する。
• フリップの中心とその微分のT-正則性条件を検証することで、境界成分が非常に正であるpl-フリップの存在を証明する。
• 正規化と普遍的ホメオモルフィズムを用いて、基本点自由定理と半正則性基準を適用し、表面の場合に還元する。
• 【Tan18a, 定理5.2】を用いて、ファイバー成分と連結ファイバーに関する帰納法を用い、特別ファイバー上の線分束の半正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 三様体の極小モデルプログラム（MMP）は、残渣特性に制限を設けずに混合特性へと拡張可能か？
• RQ2 残渣特性が$p=2$または$p=3$である混合特性において、dlt対に対してフリップの存在が保証されるか？
• RQ3 グローバルT-正則性と変形は、混合特性におけるフリップ存在の証明において、グローバルF-正則性とFrobeniusの代わりに使用可能か？
• RQ4 優れたデデキンド環上でのdlt対に対して、canonical ring $R(K_{X/V} + \nabla)$ は有限生成か？
• RQ5 離散付値環上の三様体上のネフ線分束が、どのような条件下で半正則か？

主な発見

• 任意のdlt対$(X, \nabla)$が準射影的$V$-スキーム$Z$上にあり、$\rho(X/Z) = 1$ かつフリップ条件を満たす場合、$(K_{X/V} + \nabla)$-MMPは存在し、終了する。
• 変形後に局所化した上で、すべての$0 < \rho < 1$に対して$(S^N, (1-\rho)A_S + B_S)$がグローバルT-正則性を満たすならば、境界成分が非常に正であるpl-フリップは混合特性において存在する。
• ${\mathbb{Q}}$-因子的dlt対が優れたデデキンド環上にあり、$X_s \subset \lfloor \nabla \rfloor$ を満たす場合、canonical ring $R(K_{X/V} + \nabla)$ は有限生成である。
• 離散付値環上の三様体$X$上のネフカーティエ線分束$L$が、$(K_X + \nabla)$-負の極小的射線$\Sigma$に対して$L^\perp = \mathbb{R}[\Sigma]$ を満たすならば、$L$ は半正則である。
• $V$上での厳密に半安定な三様体のMMPは、最小モデルまたはモーリー・ファイバー空間に終了し、Cohen-Macaulayおよび幾何的正則なファイバー条件を保つ。
• $L|_{X_s}$ と $L|_{X_\eta}$ の半正則性に加え、[Wit20, 定理1.8] を組み合わせることで、$X$ 上での$L$ の半正則性が示される。