[論文レビュー] Extension of sections via adjoint ideals

Lawrence Ein, Mihnea Popa|ArXiv.org|Nov 26, 2008

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

ひとこと要約

本論文は、付加的理想を用いて、log-ペア上の線束の切断の拡張定理を確立し、最小モデルプログラムにおける最近の結果を精緻化する。制限写像の全射性が、制限基底系列の弱い正性およびlog-正性の条件下で保証され、Hacon-McKernanおよびTakayamaの結果を、基底系列およびlog-正則中心に関する仮定を弱くして一般化する。

ABSTRACT

The paper contains theorems on extending sections of line bundles from divisors to the ambient space, inspired by various results of Siu, Kawamata, and especially Hacon-McKernan and Takayama. Applications are given to basepoint-freeness, to the invariance of analogues of plurigenera and of part of the boundary of the pseudo-effective cone in families, and to a simplified approach towards part of the results used for proving the existence of flips by Hacon-McKernan.

研究の動機と目的

• log-ペア上の線束の切断の拡張定理を一般化すること、特に最小モデルプログラムの文脈において。
• 制限写像の全射性に要する仮定を、特に基底系列およびlog-正則中心に関して弱める。
• Q-効果的でない場合でも、擬効果的性といった弱い正性条件下での切断の持ち上げのための枠組みを提供すること。
• M がQ-効果的でない場合でも、制限写像 $ H^0(X, \mathcal{O}_X(mM)) \to H^0(S, \mathcal{O}_S(mM_S)) $ が全射となる条件を確立すること。
• 持ち上げ技法と基底系列の制御を通じて、フリップの存在およびlog g-正則環の有限生成性を支援すること。

提案手法

• 著者たちは、漸近的構成と付加的理想を用いて、特異多様体上の線形系列の振る舞いを制御する。
• 彼らは、ネフで大きな除数 A および除数 M に関する条件を精緻化するために、制限基底系列 $ \mathbf{B}_- $ と拡張基底系列 $ \mathbf{B}_+ $ を定義・分析する。
• 基底点をcodimension-2の部分多様体 $ F_i $ 沿いに解消する部分的なlog-解像 $ f: Y \to X $ を用いることで、$ F_i $ の一般点における基底点自由性を保証する。
• 例外的除数 $ E_i $ 沿いでの零点の位数を捉える除数 $ \Gamma $ を構成することで、持ち上げ問題を制御された拡張設定に還元する。
• 解析的枠組みで [BP] および [Pa2] の拡張結果を応用し、乗数イデアルとlog-不恰好度を含む代数的技法を併用する。
• 鍵となるステップは、B が指定された範囲にあるとき、線形系列 $ |mM_S - B| + B $ が $ |mM|_S $ に等しいことの証明であり、これにより制限写像の全射性が示される。

実験結果

リサーチクエスチョン

• RQ1 log-ペア $ (X, \Delta) $ 上の線束のグローバル切断が、$ X $ の部分多様体 $ S \subset X $ から全体に拡張可能となる条件は何か？
• RQ2 M がQ-効果的でない場合でも、制限写像 $ H^0(X, \mathcal{O}_X(mM)) \to H^0(S, \mathcal{O}_S(mM_S)) $ の全射性を保証するにはどのような条件が必要か？
• RQ3 制限基底系列 $ \mathbf{B}_- $ に対する横断性条件を、S と交わる中心に局所化できる範囲はどの程度か？また、これにより拡張定理にどのような影響があるか？
• RQ4 M がQ-効果的でなくても、$ \mathbf{B}_- $ がmld < 1 を満たす中心を避ける限り、切断の持ち上げが可能になるか？
• RQ5 制限代数 $ R_S $ が有限生成であるための条件は何か？また、これはMMPにおけるフリップの存在とどのように関係するか？

主な発見

• 指定された $ (X, \Delta) $, $ S $, $ A $, $ M $ に関する条件下で、すべての $ m \geq 1 $ に対して制限写像 $ H^0(X, \mathcal{O}_X(mM)) \to H^0(S, \mathcal{O}_S(mM_S)) $ は全射である。
• X が滑らかで、$ M \sim_\mathbf{Q} k(K_X + S + A + \Delta) $ かつ M がCartierである場合、M がQ-効果的でなくても全射性が成り立つ。
• K_X + S + A + \Delta がネフであるならば、$ \mathbf{B}_- $ および $ \mathbf{B}_-|_S $ は空であり、制限写像は全射となる。これにより、S の近傍における半正則性の結果が得られる。
• すべての B に対して、$ mk\sum \min\{\delta_i, (1-\epsilon)c_i\}F_i \leq B \leq mkF $ を満たすとき、等式 $ |mM_S - B| + B = |mM|_S $ が成り立ち、制限写像の全射性が示される。
• F が $ \mathbf{Q} $-除数で、$ mkF $ が整数であるとき、等式 $ |mM_S - mkF| + mkF = |mM|_S $ が成り立ち、明確な持ち上げ基準が得られる。
• この結果は、MMPにおけるフリップの存在を支援する。なぜなら、弱い帰納的仮定の下で制限代数 $ R_S $ の有限生成性が示されるからである。