[論文レビュー] Fundamental theorems for the log minimal model program

Osamu Fujino|arXiv (Cornell University)|Sep 24, 2009

Algebraic Geometry and Number Theory参考文献 24被引用数 8

ひとこと要約

本稿は、擬対数多様体の理論に依存せずに、対数正則な対に対して錐定理と収縮定理を確立し、高階の消失定理と最小対数正則中心の幾何学を用いた直接的な手法を提示する。主な貢献は、任意の特異性を持つ多様体に対して有効な、対数最小モデルプログラムの基本的結果（有理性定理や極小ラジアル長の有界性など）の新しい、アクセスしやすい証明を提供することにある。

ABSTRACT

In this paper, we prove the cone theorem and the contraction theorem for pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.

研究の動機と目的

• 擬対数多様体の理論を用いずに、対数最小モデルプログラムにおける錐定理と収縮定理の新しい直接的証明を提供すること。
• 特異性に関する最小限の仮定の下で、有理性定理や極小ラジアル長の有界性といった基礎的結果を確立すること。
• 対数正則な対の取り扱いを可能にする強力な消失定理と非消失定理を定式化・証明することにより、可約特異点の解消を要しないようにすること。
• 川本、コラール、ショクロフ、ビルカーらの結果を統合・一般化し、非kltおよび非対数正則特異性を持つ多様体に適用可能な一貫性のある枠組みに統合すること。
• 最小対数正則中心の幾何学が、擬対数構造の技術的複雑さを回避しつつ、問題を正規多様体に還元するのに十分であることを示すこと。

提案手法

• 本証明は、新しいホッジ的単射定理と、Kawamata–Viehweg–Nadel より強く、擬対数多様体のそれより弱い、対数正則な対に対する洗練された消失定理に依存する。
• 非対数正則理想層の新しい取り扱いとその制限性質を用いて、最小対数正則中心の存在と正規性が確立される。
• アプローチは、グローバルな錐定理を最小対数正則中心の研究に還元し、そこでは消失定理と基点自由定理を直接適用する。
• 重要な技術的手段として、適切なネフ性条件の下で $(K_X + B)$-負極小ラジアルの存在を保証する、接続被覆の非消失定理が用いられる。
• 収縮定理は、面に基づく構成により導かれる：任意の $\omega$-負極小ラジアル面 $F$ に対して、$\mathcal{O}_Y \simeq \varphi_{F*}\mathcal{O}_X$ かつラインバンドルの引き戻しを満たす $\varphi_F: X \to Y$ が構成される。
• 可約多様体上の混合ホッジ理論を避けるために、正規多様体と最小対数正則中心に焦点を当てることで、擬対数構造の必要性を回避する。

実験結果

リサーチクエスチョン

• RQ1 対数正則な対に対する錐定理と収縮定理は、擬対数多様体の理論を用いずに証明可能か？
• RQ2 対数最小モデルプログラムの基礎的定理を証明するために、擬対数多様体の役割を置き換えるのに十分な強力な消失定理は何か？
• RQ3 対数最小モデルプログラムにおける極小ラジアルの長さは有界であるか？ そして、対数正則な対に対して直接的に証明可能か？
• RQ4 接続被覆の非消失定理は、極小収縮の存在を支持する形で定式化・証明可能か？
• RQ5 可約特異点の解消を要しないまま、特異な対の研究を最小対数正則中心の幾何学に還元することは可能か？

主な発見

• 任意の対数正則な対 $(X,B)$ に対して、$K_X + B$ が $\mathbb{R}$-カルティエである限り、$\overline{NE}(X/S) = \overline{NE}(X/S)_{K_X+B \geq 0} + \overline{NE}(X/S)_{\operatorname{Nlc}(X,B)} + \sum R_j$ が成り立つ。ここで $R_j$ は非対数正則部分集合から離れた $K_X + B$-負極小ラジアルである。
• 極小ラジアル $R_j$ は、$0 < -(K_X + B) \cdot C \leq 2\dim X$ を満たす有理曲線によって生成され、ラジアル長に一様な上限が与えられる。
• 任意の有界領域では、このようなラジアルは有限個であり、$(K_X + B)_{<0}$ の半空間において離散的であることが保証される。
• 非対数正則部分集合およびネフ部分集合から離れた $\overline{NE}(X/S)$ の任意の面 $F$ に対して、$\mathcal{O}_Y \simeq \varphi_{F*}\mathcal{O}_X$ かつラインバンドルの引き戻しを満たす収縮準同型 $\varphi_F: X \to Y$ が存在する。
• 非消失定理により、$H$ を有効な $\mathbb{R}$-カルティエ除数として、$K_X + B + H$ が $\pi$-ネフであるとき、$K_X + B$ が既に $\pi$-ネフであるか、あるいは $(K_X + B + \lambda H) \cdot R = 0$ を満たす $\lambda \geq 0$ が存在する $K_X + B$-負極小ラジアル $R$ が存在する。
• 基点自由定理は、消失定理と最小対数正則中心の幾何学を用いて直接的に再証明され、擬対数構造の必要性が回避される。