[論文レビュー] Non-vanishing theorem for log canonical pairs

Osamu Fujino|ArXiv.org|Jan 5, 2009

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

ひとこと要約

この論文は、アムロの準対数的多様体の枠組みを避けて、ショクロフの濃縮法を用いて、対数正則なペアに対する修正・簡略化された非消滅定理を確立する。基礎的な技法を用いて、対数正則なペアに対する基点自由定理、有理型定理、および錐定理を証明し、還元可能な多様体に対する高度な消滅定理に依存せずに、概均質的幾何における基本定理を洗練された方法で提示する。

ABSTRACT

We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary, we obtain the cone theorem for log canonical pairs. We do not need Ambro's theory of quasi-log varieties.

研究の動機と目的

• 対数正則なペアに対するショクロフの非消滅定理の正しい一般化を提示・証明すること。
• アムロの準対数的多様体理論を用いずに、対数正則なペアに対する基点自由定理を直接的・初等的に証明すること。
• 基礎的消滅定理と新しい非消滅結果のみを用いて、対数正則なペアに対する有理型定理および錐定理を確立すること。
• 準対数的多様体からの複雑な道具を避けることで、対数正則なペアの概均質的幾何の基礎的枠組みを簡素化すること。

提案手法

• 非消滅定理の証明の核となる技術として、ショクロフの濃縮法を用いる。
• 制限写像のコホモロジー群への上への性質を保証するため、定理2.2の消滅定理を適用する。
• 対数正則中心上のオイラー特性 $ \chi(C, \mathcal{O}_C(M(p,q))) $ の多項式的成長を分析し、非自明な切断の存在を検出する。
• 有理型性の仮定に反する状況を導くために、制御された有理型性および正則性条件を満たす除数列 $ M(p,q) $ を構成する。
• 非消滅結果を用いて、標準的な線形系の議論により基点自由定理を導出する。
• 有理型定理および基点自由定理の形式的帰結を応用し、錐定理（極小化写像およびラインバンドルの引き戻し）を導出する。

実験結果

リサーチクエスチョン

• RQ1 アムロの準対数的多様体理論に依存せずに、ショクロフの非消滅定理を対数正則なペアに正しく一般化できるか？
• RQ2 次元に関する帰納法を用いずに、非消滅の直接的議論によって、対数正則なペアに対する基点自由定理を証明できるか？
• RQ3 対数正則な設定における臨界比 $ r = \max\{ t \in \mathbb{R} \mid H + t(K_X + B) \text{ は } \text{nef} \} $ の正確な有理型境界は何か？
• RQ4 高度な道具を用いずに、初等的な非消滅および有理型定理から、対数正則なペアの錐定理を導出できるか？
• RQ5 有理数 $ r $ の最適な分母の上限は何か？また、これは $ K_X + B $ のインデックスとどのように関係するか？

主な発見

• 非消滅定理が成立：$ aL - (K_X + B) $ がある $ a > 0 $ に対して正則であれば、$ m \gg 0 $ に対して線形系統 $ |mL| $ は $ (X,B) $ の対数正則中心を含まない。
• 基点自由定理が確立：同じ仮定のもとで、すべての $ m \gg 0 $ に対して $ |mL| $ は基点自由である。
• 有理型定理が証明：臨界比 $ r $ は有理数であり、$ 0 < v \leq a(\dim X + 1) $ を満たす $ u/v $ の形に書ける。ここで $ a $ は $ K_X + B $ のインデックスである。
• 錐定理が成立：モーリー錐 $ \overline{NE}(X) $ の閉包は、ネフ部分と、$ -(K_X + B) \cdot C_j \leq 2\dim X $ を満たす有理曲線によって生成される有限個の有理数の方向に分解される。
• 任意の $ (K_X + B) $-負の極小面 $ F $ に対して、写像 $ \varphi_F $ が存在し、$ \varphi_{F*} \mathcal{O}_X \simeq \mathcal{O}_Z $ が成り立ち、ラインバンドルは引き戻しにより下がる。
• 証明はアムロの準対数的多様体理論を避け、代わりに初等的消滅定理および対数正則中心上での多項式的成長の議論を用いる。