[論文レビュー] Existence of log canonical flips and a special LMMP

Caucher Birkar|arXiv (Cornell University)|Apr 26, 2011

Algebraic Geometry and Number Theory参考文献 25被引用数 6

ひとこと要約

本論文は、$K_X + B + A \sim_{\mathbb{Q}} 0/Z$ かつ $A$ が $Z$ 上で非常に適切な条件下で、$\mathbb{Q}$-因子的 dlt 対の log minimal model program (LMMP) における log canonical な flip の存在を確立し、スケーリング付きの LMMP の終了を証明する。主な貢献は、$K_X + B$ における任意のスケーリング付き LMMP が終了することを示し、これにより良い log minimal model あるいは Mori ファイバー空間が得られ、log canonical 対における log flip の存在が確認されることである。

ABSTRACT

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre space. We show that a more general statement follows from the ACC for lc thresholds. An immediate corollary of these results is that log flips exist for log canonical pairs.

研究の動機と目的

• 数値的に自明な正則性を持つ $K_X + B + A \sim_{\mathbb{Q}} 0/Z$ 条件の下で、$\mathbb{Q}$-因子的 dlt 対のスケーリング付き LMMP の終了を証明することで、log canonical 対における flip の存在を確立すること。
• 任意の $K_X + B$ におけるスケーリング付き LMMP が終了することを示し、これにより良い log minimal model あるいは Mori ファイバー空間が得られること。
• dlt 偽定下で、$K_Y + B_Y$ の $Z$ 上での半正則性が、境界の各成分および特定の部分多様体上での半正則性から導かれる理由を示すこと。
• lc 閾値の ACC 予想と有限生成性の仮定を用いて、一般の lc 対における LMMP を dlt 偽定に還元すること。
• 主な終了結果から、lc 対における log flip の存在が系として導かれることが示され、minimal model program の重要な段階が完了すること。

提案手法

• LMMP における帰納的議論を可能にするために、$\mathbb{Q}$-因子的 dlt 性質を用いて特異点を制御すること。
• 半正則性の結果と注入定理を用いて、半正則性の問題を $\lfloor B \rfloor$ の各成分における $K_X + B$ の振る舞いに還元すること。
• 境界 divisor $B$ を、例外的 divisor $A$ の小さな倍数で摂動することで、$K_X + \Delta$ が klt となるような $\Delta$ を得ることで、問題を klt 偽定に還元すること。
• lc 閾値の ACC 予想を、dlt 偽定を超えて結果を一般化するための鍵となる仮定として用いること。
• $K_X + B \sim_{\mathbb{Q}} 0$ が $Z$ の稠密な開部分集合上で成り立つことを利用して、スケーリング付きの flip と divisorial contraction の列による良い log minimal model の構成。
• 相対的有限生成性を用いて、一般化された仮定の下で LMMP の終了を保証すること。

実験結果

リサーチクエスチョン

• RQ1 $(X/Z, B + A)$ が $\mathbb{Q}$-因子的 dlt 対であり、$K_X + B + A \sim_{\mathbb{Q}} 0/Z$ であるとき、$K_X + B$ におけるスケーリング付き LMMP は $Z$ 上で終了するか？
• RQ2 同じ数値的条件の下で、log canonical 対における log flip の存在は、LMMP の終了から導かれるか？
• RQ3 $K_Y + B_Y$ が $Z$ 上で nef かつ $\lfloor B_Y \rfloor$ の各成分で半正則であるとき、どのような条件下で $K_Y + B_Y$ は $Z$ 上で半正則になるか？
• RQ4 lc 閾値の ACC 予想は、次元 $d$ の lc 対において、$K_X + B \sim_{\mathbb{Q}} 0$ である場合に、LMMP の終了をどのように示すか？
• RQ5 $K_X + B \sim_{\mathbb{Q}} 0$ が $Z$ の稠密な開部分集合上で成り立ち、各 lc centre の一般点がその部分集合に写されるとき、良い log minimal model の存在は保証されるか？

主な発見

• $(X/Z, B + A)$ が $\mathbb{Q}$-因子的 dlt 対であり、$K_X + B + A \sim_{\mathbb{Q}} 0/Z$ であるとき、$K_X + B$ における $/Z$ スケーリング付き LMMP は終了する。
• このような対に対して、良い log minimal model あるいは Mori ファイバー空間の存在が保証され、minimal model は $Z$ 上で半正則である。
• log canonical 対において log flip が存在する：$X \to Y/Z$ が $K_X + B$-負の極的 flip 対応であるならば、その flip が存在する。
• 次元 $d$ における lc 閾値の ACC 予想が成り立つならば、$K_X + B \sim_{\mathbb{Q}} 0$ である $d$ 次元の lc 対における LMMP は終了する。
• $\mathcal{R}(X/Z, K_X + B)$ が有限生成であり、$K_X + B \sim_{\mathbb{Q}} 0$ が一般ファイバー上で成り立つならば、任意のスケーリング付き LMMP は良い log minimal model で終了する。
• dlt 偽定下で、$K_X + B$ の $Z$ 上での半正則性は、$\lfloor B \rfloor$ の各成分および境界の小さな摂動上での半正則性から導かれる。