[論文レビュー] Extension theorems, Non-vanishing and the existence of good minimal models

Jean-Pierre Demailly, Christopher D. Hacon+1 more|arXiv (Cornell University)|Dec 2, 2010

Geometry and complex manifolds参考文献 10被引用数 11

ひとこと要約

本稿は、非負のコイズァワ次元をもつ対数正則なペアにおける多対数正則特異性をもつ除集合に対して、特異ヒルベルト計量を用いた洗練された $L^2$ 拡張定理を用いて、多対数正則特異性をもつ除集合に対する拡張定理を確立する。主な結果として、純粋に対数終末（plt）ペアにおける DLT 拡張予想を証明し、非消滅予想が成り立つ場合に良い最小モデルの存在を示す。これは、高次元における最小モデルプログラムを前進させる。

ABSTRACT

We prove an extension theorem for effective plt pairs $(X,S+B)$ of non-negative Kodaira dimension $κ(K_X+S+B)\geq 0$. The main new ingredient is a refinement of the Ohsawa-Takegoshi $L^2$ extension theorem involving singular hermitian metrics.

研究の動機と目的

• 最小モデルプログラムにおいて中心的役割を果たす、純粋に対数終末（plt）ペアにおける DLT 拡張予想を証明すること。
• 非消滅予想の下で、klt ペアに対する良い最小モデルの存在を確立すること。
• 洗練された $L^2$ 拡張技術を用いて、多対数正則特異性をもつ除集合から、周囲の多様体へと多対数正則切断を拡張すること。
• 高次元における良い最小モデルの存在を示すための重要な技術的ステップを提供すること。
• 拡張定理を介して、正則特異性の非消滅と良い最小モデルの存在との間のギャップを埋めること。

提案手法

• ラインバンドル上の特異ヒルベルト計量を扱えるように、Ohsawa-Takegoshi の $L^2$ 拡張定理を洗練する。
• 洗練された $L^2$ 拡張定理を用いて、plt ペアの文脈において、除集合 $S$ から周囲の多様体 $X$ へと多対数正則切断を拡張する。
• $K_X + S + B$ の非消滅性と、その除集合の非正則性（nef）を用いて、拡張が可能であることを保証する。
• 対数解消技術を用いて、正則特異性の除集合とその非正則部分の引き戻しにおける挙動を分析する。
• 拡張の失敗を測る拡張障害除集合 $\Xi$ を導入し、与えられた仮定の下でそれが消えることを示す。
• 解析的技法と代数幾何学を組み合わせて、全有理切断への制限写像の上への性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 plt ペアにおいて、$\mathcal{O}_X(m(K_X + S + B))$ の切断が $S$ から $X$ へいつ拡張可能か。
• RQ2 $K_X + S + B$ が擬効果的かつ大きくない場合に、DLT 拡張予想は plt ペアに対して成り立つか。
• RQ3 非消滅予想は、拡張定理を介して、良い最小モデルの存在を示すことができるか。
• RQ4 特異ヒルベルト計量は、対数正則特異性をもつ除集合に対する $L^2$ 拡張プロセスにおいて、どのような役割を果たすか。
• RQ5 拡張障害除集合 $\Xi$ の消えることは、制限写像の上への性質をどのように保証するか。

主な発見

• 仮定として $K_X + S + B$ が擬効果的であり、$S$ が安定基底局所有に属さない場合、plt ペアにおける DLT 拡張予想は成り立つ。
• 十分に可除なすべての $m > 0$ に対して、制限写像 $H^0(X, \mathcal{O}_X(m(K_X + S + B))) \to H^0(S, \mathcal{O}_S(m(K_X + S + B)))$ は上への写像である。
• 拡張定理により、非消滅予想が成り立つならば、DLT 拡張予想が成り立つ場合、次元 $n$ における良い最小モデルの存在が示される。
• DLT 拡張予想が成り立つものと仮定すれば、非消滅予想の下で、klt ペアに対する良い最小モデルの存在が確立される。
• 良い最小モデル予想を仮定すると、$R(X; K_X + \Delta_1, \ldots, K_X + \Delta_r)$ の接続環は有限生成である。
• 非正則閾値を測る関数 $\sigma_P$ は、擬効果的錐上で連続的かつ分離的有理アフィン線形関数である。