[论文解读] On the canonical line bundle and negative holomorphic sectional curvature

Gordon Heier, Steven Lu+1 more|ArXiv.org|Sep 1, 2009

Geometry and complex manifolds参考文献 10被引用 7

一句话总结

本文证明了一个配备负全纯截面曲率凯勒度量的光滑复射影三维流形，其 canonical 线丛是 ample 的。通过结合复微分几何与代数几何——特别是利用有理曲线或椭圆曲线不存在性以及 Nakai-Moishezon 准则——在三维情形证明了 ample 性，而在更高维情形下，在附加几何约束条件下证明了 maximal nef 维数。

ABSTRACT

We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex differential geometry and complex algebraic geometry.

研究动机与目标

• 确定紧致凯勒流形上 canonical 线丛的正性性质，其全纯截面曲率恒为负。
• 解决一个开放问题：此类流形是否必然具有 ample canonical 线丛，特别是在复维数为三时。
• 通过施加额外几何条件（如高 Albanese 维数或本质维数）将结果推广至更高维。
• 在二维情形提供一个直接的代数几何证明，无需依赖纤维化结构或丰沛猜想。
• 建立负全纯截面曲率蕴含 Brody 黑白性，从而排除有理曲线或椭圆曲线，此点是论证的核心。

提出的方法

• 利用 Gauss–Codazzi 不等式证明全纯截面曲率在子流形上递减，从而表明任意子流形均继承曲率上界。
• 应用广义 Schwarz 引理（Ahlfors）证明 Brody 黑白性，从而排除从 C 到流形的非平凡全纯映射，因此排除有理曲线或椭圆曲线。
• 运用 Riemann–Roch 定理与 Serre 对偶性分析 canonical 线丛多重的截面空间，特别关注曲面上的 $2K_S$。
• 使用 Nakai–Moishezon–Kleiman 准则通过证明 $K_S^2 > 0$ 来证明 ample 性，适用于曲面情形。
• 应用 Hodge 指数定理，在严格 nef 假设下导出当 $K_S^2 = 0$ 时的矛盾。
• 利用 Berger 的点态公式将数量曲率与全纯截面曲率平均值关联，证明数量曲率为负。

实验结果

研究问题

• RQ1 一个配备负全纯截面曲率凯勒度量的光滑复射影三维流形是否必然具有 ample canonical 线丛？
• RQ2 在不假设丰沛猜想的前提下，能否在更高维中建立 canonical 线丛的 ample 性？
• RQ3 负全纯截面曲率与 canonical 线丛的 nef 维数之间有何关系？
• RQ4 能否仅通过代数几何与已知曲率不等式，在不使用纤维化技巧的前提下，直接证明二维情形？
• RQ5 负全纯截面曲率在多大程度上蕴含 Brody 黑白性，以及排除有理曲线或椭圆曲线？

主要发现

• 在复维数为三时，配备负全纯截面曲率凯勒度量的光滑射影三维流形，其 canonical 线丛是 ample 的。
• 在维数大于三时，若 Albanese 维数或本质维数超过 $\dim M - 4$，则 canonical 线丛亦为 ample。
• 在更高维中无附加假设时，canonical 线丛的 nef 维数为最大，即等于流形的维数。
• 在具有负全纯截面曲率的曲面上，canonical 线丛是严格 nef 的，即对所有曲线 $C$ 有 $K_S \cdot C > 0$。
• 对于曲面，通过 Riemann–Roch 与具有定号全纯截面曲率的曲面具有正欧拉示性数的事实，利用反证法证明 $K_S^2 > 0$。
• 若 $K_S^2 = 0$，则 canonical 线丛为平凡，这与定理 2.3（数量曲率正性）矛盾，从而证明 $K_S^2 > 0$。