[論文レビュー] Quasi-log varieties

Florin Ambro|ArXiv.org|Dec 27, 2001

Algebraic Geometry and Number Theory参考文献 9被引用数 70

ひとこと要約

本稿では、特徴標数0の任意の特異性をもつ対数多様体へ、対数最小モデルプログラムの鋭錐および収縮定理を拡張する枠組みとして準対数多様体を導入する。正則交差対からの0-対数収縮を用いて準対数構造を定義することで、基礎定理（基点自由定理および消失定理）を確立し、対数正則および非対数正則部分集合を等しく扱えるようにし、最小モデル理論および最小対数正則中心の一意性への応用を可能にする。

ABSTRACT

We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities.

研究の動機と目的

• 対数最小モデルプログラムの鋭錐および収縮定理を、カワマタ対数正則対象に限らず、任意の特異性をもつ対数多様体へ一般化すること。
• 対数正則および非対数正則部分集合（例：LCS部分集合）を等しく扱える統一的枠組み「準対数多様体」を構築すること。
• 準対数多様体に対して基点自由定理および一般化された消失定理（対数大の場合を含む）を確立すること。
• （準）対数ファノ多様体の最小対数正則中心の一意性を証明すること。
• 準対数構造における付随および消失の応用を通じて、最小モデルプログラムにおけるX法の帰納的応用の基盤を提供すること。

提案手法

• 特異性を含む正則交差対からの0-対数収縮の像として、準対数多様体を定義する。
• 準対数多様体に、準対数標準類 $\omega$、非qlog正則特異性の集合 $X_{-\infty}$、および有限個のqlc中心 $\{C\}$ を導入する。
• KollárおよびKawamata-Viehwegの結果を準対数設定に拡張することで、準対数多様体における付随および消失定理を証明する。
• 対数大条件を用いて、基点自由定理における射影的仮定を弱め、非射影的完全な準同型写像への応用を可能にする。
• Chowの補題およびステイン分解を用いて、アーベル的完全な準同型写像における高次直接像の消失性を証明する。
• qlc中心の個数に関する帰納法を用いて、構造層の制限写像の上への性質を確立し、qlc中心の交わりの性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 鋭錐および収縮定理は、カワマタ対数正則対象に限らず、任意の特異性をもつ対数多様体へ拡張可能か？
• RQ2 最小モデルプログラムにおいて、対数正則および非対数正則部分集合を等しく扱える自然な多様体のカテゴリーは存在するか？
• RQ3 完全な準対数多様体上で相対的ネフかつ対数大な線分束に対して、基点自由定理は成り立つか？
• RQ4 準対数多様体における一般化された消失定理は、LCS部分集合から全体空間へのグローバルセクションの持ち上げに利用可能か？
• RQ5 （準）対数ファノ多様体の最小対数正則中心は、その構造によって一意に定まるか？

主な発見

• 特徴標数0の体上の射影的一般化対数多様体に対して、効果的鋭錐の面 $F$ が $F \cap (\overline{NE}(X)_{-\infty} + \overline{NE}(X)_{K+B \geq 0}) = \{0\}$ を満たす限り、鋭錐および収縮定理が成り立つ。このとき、$F$ に含まれる曲線をちょうど収縮する射影的収縮 $\varphi_F: X \to Y$ が存在する。
• 効果的曲線の鋭錐の閉包は、$\overline{NE}(X) = \overline{NE}(X)_{K+B \geq 0} + \overline{NE}(X/S)_{-\infty} + \sum R_j$ と分解され、$R_j$ は半空間 $N_1(X)_{K+B < 0}$ 内の離散的射線である。
• 基点自由定理は対数大の場合に一般化される：$L$ が相対的ネフな整数線分束で、$qL - \omega$ が相対的ネフかつ対数大であり、$\mathcal{O}_{X_{-\infty}}(mL)$ が十分大きな $m$ に対して生成されるならば、十分大きな $m$ に対して $\mathcal{O}_X(mL)$ は $\pi$-生成である。
• 準対数多様体における消失定理は、$L - \omega$ が相対的ネフかつ対数大であるとき、$\mathcal{I}_{X'} \otimes \mathcal{O}_X(L)$ が $\pi_*$-消失することを意味し、Kawamata-Viehwegの消失定理を拡張する。
• 任意の二つのqlc中心の交わりは、qlc中心の和集合であり、$X_{-\infty} = \emptyset$ のとき、点 $P$ の近傍において一意な最小のqlc中心が存在する。
• （準）対数ファノ多様体に対して最小対数正則中心の一意性が成り立つ。これは、定理6.6で示されており、完全性および準対数標準類の存在という仮定の下で成り立つ。