[論文レビュー] Minimal model program for log canonical threefolds in positive characteristic

Kenta Hashizume, Yusuke Nakamura+1 more|arXiv (Cornell University)|Nov 29, 2017

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

ひとこと要約

本稿は、特徴値 p > 5 の完備体上における3次元の対数正則なペアの最小モデルプログラム（MMP）の終結を確立し、以前の klt から対数正則な特異点へと結果を拡張する。基礎的な結果、たとえば対数正則な設定における錐定理および基点自由定理を用いて、最小モデルまたはモーリー・ファイバー空間に終結する有限な MMP の系列の存在を証明する。

ABSTRACT

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

研究の動機と目的

• 正の特性における3次元の対数正則な多様体への最小モデルプログラム（MMP）を klt から対数正則に拡張すること。
• 特徴値 p > 5 の完備体上における3次元の対数正則ペアの、有限回のステップで終結する MMP の存在を確立すること。
• 錐定理や基点自由定理といった基礎的定理を、対数正則かつ非 $\mathbb{Q}$-ファクター性の設定へ一般化すること。
• 絶対的状況にとどまらず、準射影的基底スキームの上での相対的状況を扱うこと。
• 有効な $\mathbb{R}$-カーティエ除集合の条件および $f$-ネフかつ $f$-ビッグな仮定の下で、反転の終結を証明すること。

提案手法

• 準射影的基底スキーム $Z$ 上での相対的 MMP にスケーリングを用い、$f$-アンピールな除集合の存在と摂動技術を活用する。
• 錐定理を適用して、モーリー錐の閉包を extremal レイと有効な曲線の和として記述し、$k$ が代数的閉体のとき $-(K_X + \Delta) \cdot C_i$ に上限を与える。
• 基点自由定理を用いて、$f$-ネフな除集合 $L$ が $f$-半アンピールであることを証明する。3つの条件のいずれかを満たす場合：$L - (K_X + \Delta)$ が $f$-半アンピールかつ $f$-ビッグ、$L = K_X + \Delta$ がビッグ、または $\Delta$ がビッグ。
• 相対的ピカール数 $\rho(X/Z)$ に関する帰納法を用い、スティーン因子化および被約変換により、次元の低い纤维に問題を還元する。
• $\nu$-スケーリング法を用いて、反転の列および除集合の収縮を構成する。ここで $\nu$ は $K_X + \Delta + \mu C$ が $f$-擬効果的となるような $\mu$ の下限である。
• プロジェクト型解体 $g: Y \to X$ が存在し、$K_Y + \Delta_Y = g^*(K_X + \Delta)$ を満たすことを根拠とし、MMP の振る舞いを制御可能なモデルに移すことを可能にする。

実験結果

リサーチクエスチョン

• RQ1 正の特性における3次元の対数正則な多様体への最小モデルプログラムは、klt から対数正則に拡張可能か？
• RQ2 特徴値 $p > 5$ の完備体上における対数正則な3次元多様体の MMP は、有限回のステップで終結するか？
• RQ3 対数正則かつ非 $\mathbb{Q}$-ファクター性の設定において、錐定理および基点自由定理は、完備体上で有効か？
• RQ4 絶対的状況にとどまらず、準射影的基底スキーム $Z$ 上での相対的 MMP を構成可能か？
• RQ5 特に $K_X + \Delta$ が擬効果的でない場合、MMP はどのような条件下で終結するか？

主な発見

• 特徴値 $p > 5$ の完備体上における3次元の対数正則ペアの MMP は、有限回のステップで終結する。
• 対数正則の場合にも錐定理が成立する：$\overline{\operatorname{NE}}(X/Z) = \overline{\operatorname{NE}}(X/Z)_{K_X+\Delta \geq 0} + \sum \mathbb{R}_{\geq 0}[C_i]$ であり、$k$ が代数的閉体のとき、有理曲線 $C_i$ に対して $0 < -(K_X + \Delta) \cdot C_i \leq 6$ が成り立つ。
• 基点自由定理が成立する：$L$ が $f$-ネフであり、次の3条件のいずれかを満たす場合、$L$ は $f$-半アンピールである（例：$L - (K_X + \Delta)$ が $f$-半アンピールかつ $f$-ビッグ）。
• 反転の終結は、$K_X + \Delta \equiv_f D$ となる有効な $\mathbb{R}$-カーティエ除集合 $D$ が存在する場合に保証される。これにより、無限反転列の発生を防ぐ。
• $K_X + \Delta$ が $f$-擬効果的でない場合、MMP は $\dim Y < \dim X_\ell$ を満たす $X_\ell \to Y$ というモーリー・ファイバー空間に終結する。
• 相対的ピカール数 $\rho(X/Z)$ は MMP 沿いに厳密に減少するため、帰納的終結の議論が可能になる。