[論文レビュー] Kollár--Nadel type vanishing theorem

Osamu Fujino|arXiv (Cornell University)|Jul 15, 2016

Advanced Algebra and Geometry参考文献 3被引用数 4

ひとこと要約

本稿は、コンpact Kähler多様体上の乗数イデアル層を伴う高次直接像の捩れ canonical バンドルに対する Kollár–Nadel 型の消滅定理を確立する。解析的単射定理と乗数イデアルの Bertini 型結果を組み合わせることで、曲率条件の下で $ H^i(Y, R^j f_*(ω_X ⊗ F ⊗ K(h))) = 0 $（$ i > 0 $）を証明し、この条件の下で Kollár の定理と Nadel の定理の両方を一般化する。

ABSTRACT

We prove an analytic generalization of Kollár's vanishing theorem, which contains the Nadel vanishing theorem as a special case.

研究の動機と目的

• 乗数イデアル層を用いて、Kollár の定理と Nadel の定理を統一的な解析的枠組みに一般化すること。
• 曲率条件の下で、射影的代数多様体上の高次直接像 $ R^j f_*(ω_X ⊗ F ⊗ K(h)) $ の消滅結果を確立すること。
• 次元に関する帰納法を用いて、特異計量および相対的設定における単射定理の適用範囲を拡張すること。
• 複素代数幾何における既存の消滅定理を統一的かつ強化する体系的な解析的アプローチを提供すること。

提案手法

• 半正の曲率を持つ線束の全切断による乗法の解析的単射定理（定理 1.1）を用いる。
• 一般な超平面切断が乗数イデアル層を保存することを保証する Bertini 型定理（定理 1.2）を適用する。
• $ \text{dim } Y $ に関する帰納法を用い、滑らかな超曲面への制限により、問題を低次元のファイバーに還元する。
• $ ω_X ⊗ F ⊗ K(h) $、$ ω_X ⊗ F ⊗ K(h) ⊗ f^*H^{⊗ m} $、および $ ω_D ⊗ F|_D ⊗ K(h|_D) $ を含む短完全系列を構成し、付随性を活用する。
• Leray のスペクトル系列と高次直接像の長完全系列を用いて、$ Y $ 上のコホモロジーと $ X $ 上のコホモロジーを関係付ける。
• コホモロジー上の写像 $ \times s $ の単射性（定理 1.1 により保証）を用い、帰納法の仮定と Serre の消滅定理により、高次元での消滅を導出する。

実験結果

リサーチクエスチョン

• RQ1 Kollár の定理と Nadel の定理は、単一の解析的枠組みに統合可能か？
• RQ2 特異 Hermitian 計量およびアーマンラインバンドルの引き戻しの曲率条件が満たされるとき、高次直接像の消滅が成立する条件は何か？
• RQ3 解析的設定において、一般な超平面切断への制限によって乗数イデアル層が保存されるか保証できるか？
• RQ4 特異計量が存在する状況において、単射定理は高次直接像へどのように拡張可能か？
• RQ5 canonical バンドルのねじれは、Nakano 半正のベクトルバンドルに置き換えられる範囲はどの程度か？

主な発見

• Kollár–Nadel 消滅定理が成立：曲率仮定 $ ∑\text{-}1\text{d}Θ_g(f^*H) ≥q 0 $ および $ ∑\text{-}1\text{d}Θ_h(F) - ε∑\text{-}1\text{d}Θ_g(f^*H) ≥q 0 $（ある $ ε > 0 $）の下で、すべての $ i > 0 $ およびすべての $ j $ に対して $ H^i(Y, R^j f_*(ω_X ⊗ F ⊗ K(h))) = 0 $ が成り立つ。
• この結果は、Kollár の消滅定理および Nadel の元々の消滅定理を特別な場合として含む。
• 証明は $ \text{dim } Y $ に関する帰納法に依拠し、一般な滑らかな超曲面 $ D = f^{-1}(B) $（$ B ∈ |H^{⊗ m}| $）を用い、$ K(h|_D) = K(h)|_D $ が成り立つことを保証する。
• 定理 1.1 により保証されるコホモロジー上の写像 $ \times s $ の単射性が、$ i = 1 $ の消滅を導出するために不可欠である。
• 消滅結果は、$ E $ が Nakano 半正のベクトルバンドルである場合、$ ω_X ⊗ F ⊗ K(h) ⊗ E $ に対しても拡張可能である。
• Serre の消滅定理により、$ i > 0 $ および十分大きな $ m $ に対して $ H^i(Y, R^j f_*(ω_X ⊗ F ⊗ K(h)) ⊗ H^{⊗ m}) = 0 $ が成り立ち、帰納法のステップを可能にする。