[論文レビュー] Mld's vs thresholds and flips

Caucher Birkar, V. V. Shokurov|ArXiv.org|Sep 19, 2006

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

本稿は、Log Minimal Model Program (LMMP)における主要な予想の間の深い関係を確立し、次を示す。次元 $d$ における最小対数特異点の高さ（mld）の昇順条件（ACC）と弱い形のBAB予想が、次元 $d+1$ における $a$-lc閾値のACC、高次元における対数フラップの終了、およびplフラップの存在を示す。主な貢献は、局所的不変量とグローバルな終了を結びつける統一的枠組みを提供し、低次元における既知の結果について新しい証明を提示することにある。

ABSTRACT

Minimal log discrepancies (mld's) are related not only to termination of log flips, and thus to the existence of log flips but also to the ascending chain condition (acc) of some global invariants and invariants of singularities in the Log Minimal Model Program (LMMP). In this paper, we draw clear links between several central conjectures in the LMMP. More precisely, our main result states that the LMMP, the acc conjecture for mld's and the boundedness of canonical Mori-Fano varieties in dimension $\le d$ imply the following: the acc conjecture for $a$-lc thresholds, in particular, for canonical and log canonical (lc) thresholds in dimension $\le d$; the acc conjecture for lc thresholds in dimension $\le d+1$; termination of log flips in dimension $\le d+1$ for effective pairs; and existence of pl flips in dimension $\le d+2$. This also gives new proofs of some well-known and new results in the field in low dimensions: the acc conjecture holds for $a$-lc thresholds of surfaces; the acc conjecture holds for lc thresholds of 3-folds; termination of 3-fold log flips holds for effective pairs; and the existence of 4-fold pl flips holds.

研究の動機と目的

• 次元 $d$ における最小対数特異点の高さ（mld）のACC予想と弱い形のBAB予想の間の影響を統一的かつ強化すること。
• 高次元における $a$-lc閾値、lc閾値、および対数フラップの終了に関する影響を確立すること。
• 3-畳と4-畳における既知の結果について、特に3-畳の対数フラップの終了と4-畳のplフラップの存在に関する新しい証明を提供すること。
• mldと閾値が、特に有界性と下半連続性の文脈において、LMMP全体の文脈における役割を明確にすること。

提案手法

• 双曲的対数フラップ構成を用いて、双有理写像の下での不備と閾値の挙動を分析する。
• mldのACC予想と正規モリ＝ファノ多様体の有界性を適用し、フラップ列における重複度の増大を制御する。
• 対数ねじれ技術を用いて、フラップ下での対の特異点を関連付け、対数正則閾値の挙動を追跡する。
• 無限個のねじれた収縮列に帰着し、矛盾を導くことで問題を解決し、このような列が必ず終了することを示す。
• 被覆多様体の半負性と数的同値性を用いて、重複度の安定化を強制し、無限列と矛盾させる。
• 帰納法と双有理変換における不変性を用いて、問題を有界な多様体族に還元する。

実験結果

リサーチクエスチョン

• RQ1 次元 $d$ におけるmldのACC予想は、次元 $d+1$ における $a$-lc閾値のACCを示すか？
• RQ2 次元 $d$ におけるmldのACCと正規モリ＝ファノ多様体の有界性から、次元 $d+1$ における対数フラップの終了を導けるか？
• RQ3 同じ仮定から、次元 $d+2$ におけるplフラップの存在が導かれるか？
• RQ4 lc閾値とmldのACCが、高次元における対数フラップの構造をどの程度制御するか？
• RQ5 次元 $d$ における正規モリ＝ファノ多様体の有界性を用いて、次元 $d+1$ における終了を証明できるか？

主な発見

• 表面において $a$-lc閾値のACC予想が成立し、この既知の結果について新しい証明が得られた。
• 3-畳においてlc閾値のACC予想が成立し、LMMPにおける重要なケースを確認した。
• 有効なペアに対する3-畳の対数フラップの終了が確立され、次元3における長年の未解決問題を解決した。
• 4-畳のplフラップの存在が証明され、高次元代数的幾何における新規な結果を提供した。
• 主な結果として、mldのACCと次元 $d$ における弱いBAB予想が、次元 $d+1$ における対数フラップの終了と次元 $d+2$ におけるplフラップの存在を示すことを示した。これにより、主要な予想が統一された。
• 無限個のねじれた収縮列において、重複度が安定化しなければならないことを示すことで矛盾を導き、このような列の有限性を証明した。