[論文レビュー] Pseudo-effective line bundles on compact Kähler manifolds

Jean-Pierre Demailly, Thomas Peternell+1 more|ArXiv.org|Jun 27, 2000

Geometry and complex manifolds参考文献 15被引用数 13

ひとこと要約

本稿は、コンpact Kähler多様体上の擬効性ラインバンドルに対して一般化されたハード・レフシェッツ定理を確立し、特異的メトリックの乗算イデアル・シェーブの-twist後に、ケーラー形式によるウェッジ乗算が全射であることを示している。主な貢献は、擬効性ラインバンドルのコhomologicalな特徴付けであり、アーブァネーゼ写像や3次元多様体における canonical バンドルへの応用を含み、擬効性がほぼネフ性を意味することを証明し、擬効性 canonical バンドルを備えた Kähler 3次元多様体の構造的結果を導出している。

ABSTRACT

The goal of this work is to pursue the study of pseudo-effective line bundles and vector bundles. Our first result is a generalization of the Hard Lefschetz theorem for cohomology with values in a pseudo-effective line bundle. The Lefschetz map is shown to be surjective when (and, in general, only when) the pseudo-effective line bundle is twisted by its multiplier ideal sheaf. This result has several geometric applications, e.g. to the study of compact Kähler manifolds with pseudo-effective canonical or anti-canonical line bundles. Another concern is to understand pseudo-effectivity in more algebraic terms. In this direction, we introduce the concept of an "almost" nef line bundle, and mean by this that the degree of the bundle is nonnegative on sufficiently generic curves. It can be shown that pseudo-effective line bundles are almost nef, and our hope is that the converse also holds true. This can be checked in some cases, e.g. for the canonical bundle of a projective 3-fold. From this, we derive some geometric properties of the Albanese map of compact Kähler 3-folds.

研究の動機と目的

• 乗算イデアル・シェーブを用いて、コンpact Kähler多様体上の擬効性ラインバンドルへのハード・レフシェッツ定理の拡張を試みること。
• 『ほぼネフ』ラインバンドルの概念を通じて、代数幾何的用語による擬効性ラインバンドルの特徴付けをすること。
• 特にモーリー理論およびアーブァネーゼ写像の文脈において、擬効性の幾何的意味、特に canonical および anticanonical バンドルに対する影響を研究すること。
• 擬効性 canonical バンドルを備えたコンpact Kähler 3次元多様体の構造的結果を確立すること、特に有理曲線およびファイブレーションの存在を含む。
• 特に非代数的 Kähler 多様体において、コhomological および幾何的文脈における擬効性とネフ性の関係を調査すること。

提案手法

• 半正の曲率カレントを備えた特異的 Hermitian メトリックを用いて擬効性ラインバンドルを定義し、曲率カレント Θh(L) = i∂∂̄φ および関連する乗算イデアル・シェーブ I(h) を導入すること。
• L2 評価および L2∂̄-コホモロジー技法を用いて、ΩXn−q ⊗ L ⊗ I(h) に値をとるコホモロジーに対する一般化されたハード・レフシェッツ定理を証明すること。
• 『ほぼネフ』条件の導入：ラインバンドル L が、ある固有部分多様体に含まれないすべての既約曲線 C に対して deg(L|C) ≥ 0 を満たすとき、L はほぼネフであると定義され、次数の一般的非負性を捉える。
• 有理商およびモーリー収縮理論を用いて、ほぼネフな接続バンドルを備えた有理的被覆多様体の構造を分析すること。
• アンチcanonical バンドルおよび canonical バンドルにハード・レフシェッツ定理を適用し、アーブァネーゼ写像の全射性および多様体の正則性の非消滅性を導出すること。
• 3次元多様体理論（例：モーリー理論からの分類結果）を応用し、滑らかさの良い特異性を備えた擬効性 canonical バンドルが、3次元多様体において非負のコイネージャ次元を意味することを導出すること。

実験結果

リサーチクエスチョン

• RQ1 コンpact Kähler多様体上の擬効性ラインバンドルに対するハード・レフシェッツ定理を一般化することは可能か？また、乗算イデアル・シェーブはこの一般化においてどのような役割を果たすか？
• RQ2 『擬効性 ⇒ ほぼネフ』の逆は成り立つか？特に3次元多様体の canonical バンドルのような特定の状況で、この同値性が確立可能かどうか？
• RQ3 アンチcanonical バンドルの擬効性は、コンpact Kähler多様体のアーブァネーゼ写像にどのような幾何的制約を課えるか？
• RQ4 canonical バンドルに半正の曲率を備えた特異的メトリックが存在し、乗算イデアル・シェーブが自明である場合、3次元多様体において正則性の非消滅性や非負のコイネージャ次元が保証されるか？
• RQ5 擬効性 canonical バンドルおよびほぼネフな接続バンドルを備えたコンpact Kähler 3次元多様体の構造はどのようなものか？特に、不規則性が自明な場合の構造について。

主な発見

• 一般化されたハード・レフシェッツ定理が成立する：コンpact Kähler多様体 (X,ω) 上の擬効性ラインバンドル (L,h) に対して、写像 ω^q ∧ • は H^0(X, ΩX^{n−q} ⊗ L ⊗ I(h)) → H^q(X, ΩX^n ⊗ L ⊗ I(h)) に全射を誘導する。
• アンチcanonical バンドル −KX が擬効性であり、自明な乗算イデアル・シェーブを備えた特異的メトリックを持つならば、X のアーブァネーゼ写像は全射なサブマニフォールドである。
• KX が擬効性で、特異的メトリックが I(h) = OX であるコンpact Kähler 3次元多様体では、χ(X,OX) = 0 または固定された q に対して無限に多くの m に対して H^0(X, ΩX^q ⊗ OX(mKX)) ≠ 0 が成り立つ。
• 滑らかなコンpact Kähler 3次元多様体で KX が擬効性だがネフでない場合、KX · C < 0 を満たす曲線 C が存在し、X が滑らかであればモーリー収縮が存在することを示唆する。
• q(X) = 0 を満たす滑らかな特異的3次元多様体 X で、接続バンドル TX がほぼネフであるとき、TX が擬効性でない限り X は有理的被覆である。ただし、この状況は存在しないと予想される（K3 または Enriques 表面に P1-バンドルである場合）。
• κ(X) = −∞ かつ q(X) = 1 であるコンpact Kähler 3次元多様体では、アーブァネーゼ写像 α: X → A は楕円曲線上のファイバー・バンドルであり、一般ファイバー F は T_F がほぼネフで、κ(F) = −∞ を満たし、有理的またはルールドなファイバーに分類される。