[论文解读] A converse to the Andreotti-Grauert theorem

Jean-Pierre Demailly|Nov 16, 2010

Geometry and complex manifolds参考文献 9被引用 4

一句话总结

本文通过证明在射影流形上，全纯线丛的体积等于其第一陈类所有光滑代表元上Monge-Ampère积分的下确界，建立了Andréotti-Grauert消去定理的逆定理。证明依赖于近似Zariski分解、正交性估计以及曲率当前构造，以在全纯Morse不等式中实现体积泛函的等式成立，即使该线丛并非拟有效。

ABSTRACT

The goal of this paper is to show that there are strong relations between certain Monge-Ampère integrals appearing in holomorphic Morse inequalities, and asymptotic cohomology estimates for tensor powers of holomorphic line bundles. Especially, we prove that these relations hold without restriction for projective surfaces, and in the special case of the volume, i.e. of asymptotic 0-cohomology, for all projective manifolds. These results can be seen as a partial converse to the Andreotti-Grauert vanishing theorem.

研究动机与目标

• 在渐近上同调与全纯Morse不等式的背景下，建立Andréotti-Grauert消去定理的逆定理。
• 研究渐近上同调的消去是否蕴含存在具有受控曲率的Hermitian度量，特别是在q=0的情形下。
• 证明射影流形上全纯线丛的体积泛函等于其第一陈类所有光滑代表元上Monge-Ampère积分的下确界。
• 将渐近上同调与Monge-Ampère积分之间的等式关系从“大”类推广至L或-L均非拟有效的情形。
• 通过逼近技术与曲率当前分析，证明在体积情形下，弱与强Morse不等式均成为等式。

提出的方法

• 在流形的某次Blow-up上，对Kähler当前使用近似Zariski分解，将当前的拉回表示为例外除子与Kähler形式之和。
• 应用拟有效锥的刻画与正交性估计，控制Kähler形式与例外除子之间的交数。
• 通过结合例外除子上线丛的曲率项与Kähler形式，构造c_1(L)中一族光滑的(1,1)-形式u_ε。
• 使用极限论证法，证明u_ε的0-指标集的L^2-范数收敛于β^2 + 2β · E，其中β为Kähler形式，E为例外除子。
• 通过线性组合结合正负部分，利用Serre对偶性与Riemann-Roch公式处理L或-L非拟有效的情形。
• 分析u_ε^2的弱极限，证明Monge-Ampère积分的质量集中在1-指标集上，从而表明下确界被实现。

实验结果

研究问题

• RQ1 渐近0-上同调的消去是否蕴含c_1(L)中存在具有非正曲率的光滑代表？
• RQ2 射影流形上全纯线丛的体积是否可表示为c_1(L)中所有光滑(1,1)-形式上Monge-Ampère积分的下确界？
• RQ3 在射影曲面及更高维射影流形上，体积泛函的全纯Morse不等式是否能实现等式？
• RQ4 当L与-L均非拟有效时，Morse不等式的下确界如何变化？曲率当前逼近是否仍能实现等式？
• RQ5 近似Zariski分解与正交性估计在多大程度上可控制渐近上同调，使其与曲率积分相关联？

主要发现

• 对任意射影流形X上的全纯线丛L，体积满足Vol(X,L) = inf_{u ∈ c_1(L)} ∫_{X(u,0)} u^n，从而在q=0时实现弱Morse不等式的等式。
• 即使L非拟有效，通过构造c_1(L)中具有受控0-指标集的曲率当前极限u_ε，等式仍成立。
• Monge-Ampère积分∫_{X(u_ε,0)} u_ε^n的极限收敛于β^2 + 2β · E，其中β为Kähler形式，E为Zariski分解中的例外除子。
• 构造表明，Monge-Ampère测度的主要质量集中在1-指标集上，证实下确界并非在0-指标集上实现，而是通过曲率逼近实现。
• 该方法适用于所有射影流形，不仅限于曲面，且通过曲率控制提供了Andréotti-Grauert消去定理的部分逆定理。
• 结果证实，体积泛函的渐近上同调估计恰好由Monge-Ampère积分捕捉，下确界无损失。