[论文解读] The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension

Sébastien Boucksom, Jean-Pierre Demailly+2 more|arXiv (Cornell University)|May 14, 2004

Geometry and complex manifolds参考文献 11被引用 63

一句话总结

本文建立了紧致凯勒流形上伪有效锥与可动曲线锥之间的对偶性，证明了当且仅当一个线丛在其覆盖族中所有曲线上度数非负时，该线丛是伪有效的。关键结果解决了无理猜想的第(A)部分：若 canonical bundle 不是伪有效的，则流形是无理的，该结果在四维流形上具有应用，表明在特定数值条件下，其 Kodaira 维数非负。

ABSTRACT

We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of pseudo-effective divisors and the cone of ``movable curves'', which is obtained from a general theory of movable intersections and approximate Zariski decomposition for closed positive (1,1)-currents. As a corollary, a projective manifold has a pseudo-effective canonical bundle if and only if it is is not uniruled. We also prove that a 4-fold with a canonical bundle which is pseudo-effective and of numerical class zero in restriction to curves of a covering family, has non negative Kodaira dimension.

研究动机与目标

• 在紧致凯勒流形上，建立除子的伪有效锥与可动曲线锥之间的对偶性。
• 证明一个线丛是伪有效的，当且仅当其在覆盖族中所有曲线上度数非负。
• 解决无理猜想的第(A)部分：若 canonical bundle 不是伪有效的，则流形是无理的。
• 对四维流形证明一个部分结果：若 canonical bundle 是伪有效的，且其与一个覆盖族的曲线的交为零，则 Kodaira 维数非负。
• 将可动交数理论与近似 Zariski 分解理论推广至闭正 (1,1)-当前。

提出的方法

• 使用闭正 (1,1)-当前的近似 Zariski 分解来分析伪有效锥的几何结构。
• 应用 R-除子的体积理论，以区分大除子与伪有效锥边界上的除子。
• 构造一族在超曲面 H 上集中质量的当前 ωε，利用截断函数与曲率估计。
• 运用弱极限论证与当前的支撑定理，从极限中提取除子分量。
• 利用李代数理论与普遍形变空间分析超凯勒流形上的体积行为。
• 通过涉及 ωn 与 ωn−1 ∧ c1(A) 的积分估计建立体积下界，导出关键不等式 Vol(T − c[H]) ≥ (1−δ)∫ωn。

实验结果

研究问题

• RQ1 在射影流形上，全纯线丛是否当且仅当其在覆盖族中所有曲线上度数非负时为伪有效？
• RQ2 若 canonical bundle 不是伪有效的，是否意味着流形是无理的？
• RQ3 在四维情形下，若 canonical bundle 是伪有效的，且其与覆盖族曲线的交为零，能否由此推出 Kodaira 维数非负？
• RQ4 一个 (1,1)-当前的体积是否由其点态质量低于 1 的部分的积分下界控制？
• RQ5 在紧致凯勒流形的背景下，伪有效锥与可动曲线锥之间存在何种对偶关系？

主要发现

• 在射影流形 X 上，线丛 L 是伪有效的，当且仅当对覆盖族中所有不可约曲线 C 有 L·C ≥ 0。
• 若 canonical bundle KX 不是伪有效的，则 X 是无理的，且有理曲线覆盖该流形。
• 对光滑射影四维流形，若 KX 是伪有效的，且对覆盖族 (Ct) 有 KX·Ct = 0，则 κ(X) ≥ 0。
• 对于 (1,1)-当前 T，有 Vol(T − c[H]) ≥ ∫X ωn − (n+1)²/4 ∫X ωn−1 ∧ c1(A)，其中在特定 δ 选择下 c ≥ 1。
• 在紧致超凯勒流形上，伪有效锥与可动当前锥对偶，且 Vol(α) ≥ ∫X(α,≤1) αn。
• 伪有效锥与可动曲线锥之间的对偶性对 R-除子成立，并可延拓至 Picard 数为 h1,1 的射影流形的极限情形。