[論文レビュー] A semiampleness criterion

Florin Ambro|ArXiv.org|Nov 22, 2004

Functional Equations Stability Results参考文献 3被引用数 11

ひとこと要約

本稿は、単純な正則交差を持つ特異点のない固有代数的多様体上の実除算因子に対して、半アーマブル性の判定基準を確立する。具体的には、ネフ性、大小性、境界除算因子の係数が1未満である条件下での漸近的飽和性を仮定したとき、ネフな ${\mathbb{R}}$-除算因子が有限重複で半アーマブルになることを証明する。主たる貢献は、基点自由定理の一般化であり、自然な幾何的およびコhomological条​​件の下で除算因子代数の有限生成性を保証する。

ABSTRACT

We give a criterion for a real divisor to be rational and semiample.

研究の動機と目的

• 固有で特異点のない多様体上に存在する、実係数をもつネフな ${\mathbb{R}}$-除算因子の有理型および半アーマブル性を判定する基準を確立すること。
• 実除算因子と漸近的飽和性の設定に拡張された基点自由定理を一般化すること。
• 除算因子代数および関数代数が有限生成となる条件を提示すること。これは、ショクロフの FGA-代数の有限生成性に関連する。
• 半アーマブル性と有限生成性の関係を結びつけることで、最小モデルプログラムにおける対数フラップの存在を帰納的に示す戦略を支援すること。

提案手法

• 河上による実除算因子の非消滅結果を用いて、与えられた条件下での基点自由性を確立する。
• 有理数倍の除算係数の床関数および床関数を含む漸近的飽和条件を適用する。
• 境界およびネフ除算因子が単純な正則交差を持つ特異点のない多様体に制限する。
• 双有理変形の下で幾何的性質を保つために、付随構造およびb-除算因子形式を用いる。
• $rD - (K_X + B)$ がネフかつ大小であるという条件を用いて、ネフ除算因子から射影的基底への収縮写像を構成する。
• 層コhomologyの切断の包含関係による全生成性の検証により、極限除算因子が有限重複で半アーマブルになることを保証する。

実験結果

リサーチクエスチョン

• RQ1 単純な正則交差を持つ特異点のない多様体上に存在するネフな ${\mathbb{R}}$-除算因子が、どのような条件下で半アーマブルになるか？
• RQ2 漸近的飽和性と境界除算因子の制約を用いて、基点自由定理を実係数に拡張するにはどうすればよいか？
• RQ3 どのような条件下で、ネフな ${\mathbb{R}}$-除算因子に付随する除算因子代数が有限生成になるか？
• RQ4 半アーマブル性基準は、除算因子の特徴的列によって定義される関数代数に適用可能か？
• RQ5 $b_l < 1$ の条件が半アーマブル性基準の妥当性を保証するために果たす役割は何か？

主な発見

• $D$ がネフな ${\mathbb{R}}$-除算因子であり、ある $r \in \mathbb{Q}$ に対して $rD - (K_X + B)$ がネフかつ大小であるとき、すべての $l$ に対して $b_l < 1$ ならば、$D$ は有限重複で半アーマブルになる。
• 包含関係 $H^0(X, \sum \lceil jd_l - b_l \rceil E_l) \subseteq H^0(X, \sum \lfloor jd_d \rfloor E_l)$ が成り立つと、ある正の整数 $m$ に対して線形系統 $|mD|$ が基点自由になる。
• 特異多様体に対しても、双有理不変性によりこの基準が成立し、滑らかでない場合への適用範囲が拡張される。
• $D$ が半アーマブル性基準を満たし、かつ代数が $(X,B)$ に関して漸近的に飽和しているとき、除算因子代数 $\mathcal{R}_X(D)$ の有限生成性が保証される。
• 列 $M_i$ が極限除算因子 $D$ を持つとき、$rD - (K_X + B)$ の条件および漸近的飽和性が満たされれば、関数代数 $\mathcal{L} = \bigoplus H^0(X, M_i)$ は有限生成である。
• 結果として、FGA-代数が有限生成であれば、高次元における対数フラップの存在を帰納的に示す戦略が支援される。