[论文解读] Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert theorem on surfaces

Shin‐ichi Matsumura|arXiv (Cornell University)|Apr 28, 2011

Geometry and complex manifolds参考文献 14被引用 3

一句话总结

本文在射影曲面上建立了 Andreotti-Grauert 退零定理的逆定理，证明了当且仅当一个线丛是上同调 q-ample 时，它是 q-positive。通过在紧致复曲面上求解 Monge-Ampère 方程并进行曲率分析，作者证明了渐近上同调消失蕴含 q-positive 曲率，推广了 Demailly 的全纯 Morse 不等式结果，并解决了二维情形下 q ≥ 1 时的一个开放问题。

ABSTRACT

In this paper, we study relations between positivity of the curvature and the asymptotic behavior of the higher cohomology group for tensor powers of a holomorphic line bundle. The Andreotti-Grauert vanishing theorem asserts that partial positivity of the curvature implies asymptotic vanishing of certain higher cohomology groups. We investigate the converse implication of this theorem under various situations. For example, we consider the case where a line bundle is semi-ample or big. Moreover, we show the converse implication holds on a projective surface without any assumptions on a line bundle.

研究动机与目标

• 为解决关于上同调 q-ample 是否蕴含 q-positivity 的开放问题，即 Andreotti-Grauert 定理的逆定理。
• 在紧致复曲面上，建立渐近上同调消失与曲率正性之间的精确联系。
• 推广复几何中对半ample 与大线丛的 q-positivity 特征刻画。
• 在曲面上提供 Andreotti-Grauert 定理的精确逆定理，补充 Demailly 通过全纯 Morse 不等式得到的部分逆定理。

提出的方法

• 利用全局 Monge-Ampère 方程的解，构造具有受控曲率的奇异度量的光滑逼近。
• 应用强次调和函数与奇异度量的理论，分析线丛的非 ample 子集。
• 运用一个关键引理：两个强次调和函数的最大值具有次均值性质，以保持曲率正性。
• 通过将流形分解为两部分来分析线丛的曲率：一部分为度量光滑，另一部分为奇异但受控。
• 结合局部曲率估计与全局拓扑约束，在整个曲面上证明 q-positivity。
• 依赖非 ample 子集的结构及其余维数，确保曲率形式至少有 (n−q) 个正特征值。

实验结果

研究问题

• RQ1 在射影曲面上，一个全纯线丛的上同调 q-ample 是否蕴含 q-positivity？
• RQ2 在不附加线丛条件的前提下，能否建立 Andreotti-Grauert 退零定理的逆定理？
• RQ3 在曲面上，高阶上同调群的渐近行为如何与线丛的曲率相关？
• RQ4 非 ample 子集在多大程度上影响线丛的曲率正性？
• RQ5 该结果与 Demailly 在相同设定下对全纯 Morse 不等式的逆定理相比如何？

主要发现

• 在光滑射影曲面上，一个线丛是上同调 q-ample 当且仅当它是 q-positive，从而给出了 Andreotti-Grauert 定理的完整逆定理。
• 该证明依赖于通过 Monge-Ampère 方程的解构造具有受控曲率的奇异度量，以确保全局 q-positivity。
• 在紧致复流形上，若线丛为半ample，则其 q-positivity 等价于其关联态射的纤维维数至多为 q。
• 若非 ample 子集的维数 ≤ q，则线丛自动为 q-positive，无论其他假设如何。
• 该结果通过在二维情形下建立 Andreotti-Grauert 定理的精确逆定理，强化了 Demailly 对全纯 Morse 不等式逆定理的结果。
• q-ampleness 与 q-positivity 的等价性无需假设线丛为大或半ample，使该结果在曲面上达到最优。