[論文レビュー] The Adjunction Conjecture and its applications

Florin Ambro|ArXiv.org|Mar 10, 1999

Algebraic Geometry and Number Theory参考文献 14被引用数 54

ひとこと要約

この論文は、付加的予想を発展させ、付加的公式をファイバー空間および対数正則中心へ拡張し、モジュライ部の主要性と基本変換の性質を証明する。これらの結果を応用して、フジタの予想における二次的境界のコラールの証明を簡略化し、付加的ラインバンドルのグローバル生成の条件を確立する。

ABSTRACT

We discuss adjunction formulas for fiber spaces and embeddings, extending the known results along the lines of the Adjunction Conjecture, independently proposed by Y. Kawamata and V.V. Shokurov. As an application, we simplify Kollár's proof for the Anghern and Siu's quadratic bound in the Fujita's Conjecture. We also connect adjunction and its precise inverse to the problem of building isolated log canonical singularities.

研究の動機と目的

• 付加的公式をファイバー空間および対数正則中心へ拡張し、付加的予想の方向に沿って既知の結果を一般化すること。
• 判別式の基本変換公式を証明し、対数カルラビ＝ヤウファイバー空間に対する基本変換予想を確立すること。
• 付加的技法を用いて、コラールによるフジタの予想における二次的境界の証明を簡略化すること。
• 正確な逆付加的を用いて、孤立対数正則特異点の構成と付加的理論を結びつけること。
• 有効な特異点の構築を用いて、付加的ラインバンドルのグローバル生成基準を確立すること。

提案手法

• 対数カルラビ＝ヤウファイバー空間の判別式を用いて、対数正則中心上での対数除数の異なる部分を定義する。
• 判別式の有限基本変換公式を証明し、対数カルラビ＝ヤウファイバー空間に対する基本変換予想を提示する。
• モジュライ部におけるカワマタの主要性結果を一般化された付加的設定に適用する。
• 正確な逆付加的を用いて、異なる部分の対数的正規性および自由性の性質をcodimension 1のケースに還元する。
• カワマタ＝ヴィエヒェグの消失定理からの拡張定理を用いて、グローバルセクションを上げ、基点自由性を保証する。
• 有効な除集合の構築における特異点を制御するため、正規化された最小対数正則中心の概念を用いる。

実験結果

リサーチクエスチョン

• RQ1 付加的のモジュライ部が半アーベル的またはネフ的になる条件は何か？
• RQ2 判別式の基本変換公式は、一般の対数カルラビ＝ヤウファイバー空間へ拡張可能か？
• RQ3 正確な逆付加的は、孤立対数正則特異点の構成にどのように寄与するか？
• RQ4 有効な除集合を用いて孤立対数正則特異点を構築するための最適な境界は何か？
• RQ5 点で付加的ラインバンドル $\mathcal{I}(X,B) \otimes \mathcal{O}_X(L)$ がグローバル生成になるための条件は何か？

主な発見

• 論文は、基本変換予想が成り立つ限り、付加的におけるモジュライ部 $M$ が半アーベル的であることを証明し、カワマタの結果をすべての対数カルラビ＝ヤウファイバー空間へ一般化する。
• 判別式の有限基本変換公式が確立され、予想的な双有理的基本変換公式を支持する。
• フジタの予想における二次的境界 $\frac{\dim X(\dim X + 1)}{2}$ が付加的技法を用いて再証明され、コラールの元々の証明が簡略化される。
• 正確な逆付加的により、異なる部分の対数的正規性および自由性の性質がcodimension 1のケースに還元される。
• 付加的ラインバンドルのグローバル生成に関する新しい基準が確立された：$h > \operatorname{bld}_x(B;H)$ ならば、$\mathcal{I}(X,B) \otimes \mathcal{O}_X(L)$ は点 $x$ でグローバル生成である。
• 予想7はフジタのグローバル生成予想を含み、$m > \dim X$ であれば $K_X + mL$ がグローバル生成であることが示される。