[论文解读] 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

一句话总结

本文在紧致凯勒流形上建立了伪有效线丛的广义硬李普施兹定理，表明在奇异度量的乘子理想层扭张之后，楔乘以凯勒形式是满射。关键贡献在于通过‘几乎非负’线丛的概念，对伪有效线丛给出了上同调刻画，其应用包括阿尔巴内塞映射和三流形上的典范丛，证明了伪有效性蕴含几乎非负性，并为具有伪有效典范丛的凯勒三流形提供了结构结果。

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.

研究动机与目标

• 将硬李普施兹定理推广至紧致凯勒流形上的伪有效线丛，使用乘子理想层。
• 通过‘几乎非负’线丛的概念，以代数几何术语刻画伪有效线丛。
• 研究伪有效性在莫里理论和阿尔巴内塞映射背景下对典范丛与反典范丛的几何影响。
• 为具有伪有效典范丛的紧致凯勒三流形建立结构结果，包括有理曲线与纤维化的存在性。
• 在上同调与几何设定下，特别是非代数凯勒流形中，研究伪有效性与非负性之间的关系。

提出的方法

• 使用具有半正曲率电流的奇异赫米特度量来定义伪有效线丛，其中曲率电流 Θh(L) = i∂∂̄φ，以及相关的乘子理想层 I(h)。
• 应用 L2 估计与 L2∂̄-上同调技术，证明 ΩXn−q ⊗ L ⊗ I(h) 值上同调的广义硬李普施兹定理。
• 引入‘几乎非负’条件：若线丛 L 沿所有不包含于真子簇中的不可约曲线的次数满足 deg(L|C) ≥ 0，则称 L 为几乎非负，以捕捉其次数的泛性非负性。
• 利用有理商与莫里收缩理论分析具有几乎非负切丛的单连通流形的结构。
• 将硬李普施兹定理应用于反典范与典范丛，以推导阿尔巴内塞映射的满射性及 pluricanonical 系的非零上同调。
• 应用三流形理论中的分类结果（例如来自莫里理论），推导出具有良好数学奇点的伪有效典范丛蕴含三流形中非负的 Kodaira 维数。

实验结果

研究问题

• RQ1 能否将硬李普施兹定理推广至紧致凯勒流形上的伪有效线丛？乘子理想层在此推广中起什么作用？
• RQ2 ‘伪有效 ⇒ 几乎非负’的逆命题是否成立？在三流形的典范丛等特定情形下，能否建立这种等价性？
• RQ3 反典范丛的伪有效性对紧致凯勒流形的阿尔巴内塞映射施加了何种几何约束？
• RQ4 若典范丛上存在具有半正曲率的奇异度量且乘子理想层平凡，是否意味着三流形中存在非零的 pluricanonical 系或非负的 Kodaira 维数？
• RQ5 具有伪有效典范丛与几乎非负切丛的紧致凯勒三流形的结构如何，特别是在亏格为零的情况下？

主要发现

• 广义硬李普施兹定理成立：对紧致凯勒流形 (X,ω) 上的伪有效线丛 (L,h)，映射 ω^q ∧ • 诱导出同调群 H^0(X, ΩX^{n−q} ⊗ L ⊗ I(h)) → H^q(X, ΩX^n ⊗ L ⊗ I(h)) 的满射。
• 若反典范丛 −KX 伪有效，且存在乘子理想层平凡的奇异度量，则 X 的阿尔巴内塞映射为满射子流形。
• 对具有 KX 伪有效且 I(h) = OX 的紧致凯勒三流形，要么 χ(X,OX) = 0，要么对固定的 q 和无穷多个 m，有 H^0(X, ΩX^q ⊗ OX(mKX)) ≠ 0。
• 在紧致凯勒三流形中，若 KX 伪有效但非非负，则存在曲线 C 满足 KX · C < 0，若 X 光滑，则存在莫里收缩。
• 若光滑射影三流形 X 的切丛 TX 几乎非负且 q(X) = 0，则 X 为有理连通流形，除非 TX 非伪有效且 X 是 K3 或 Enriques 曲面上的 P1-丛（此情况预期不存在）。
• 对 κ(X) = −∞ 且 q(X) = 1 的紧致凯勒三流形，阿尔巴内塞映射 α: X → A 是椭圆曲线上的纤维丛，一般纤维 F 满足 T_F 几乎非负且 κ(F) = −∞，从而可分类为有理纤维或纤维化情形。