[论文解读] Weak transcendental holomorphic Morse inequalities on compact Kähler manifolds

Jian Xiao|arXiv (Cornell University)|Aug 13, 2013

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

一句话总结

本文证明了紧致 Kähler 流形上 Demailly 猜想的弱版本，即超越解析的全纯 Morse 不等式，表明若两个 nef 上同调类 $\{\alpha\}, \{\beta\}$ 满足 $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$，则 $\{\alpha - \beta\}$ 是一个大类，即包含一个 Kähler 当量。该结果扩展了先前的工作，消除了有理性和投影性假设，适用于超越类，并推广了对体积增长的先前界限。

ABSTRACT

Transcendental holomorphic Morse inequalities aim at characterizing the positivity of transcendental cohomology classes of type $(1,1)$. In this paper, we prove a weak version of Demailly's conjecture on transcendental Morse inequalities on compact Kähler manifolds. And as a consequence, we partially improve a result of Boucksom-Demailly-Paun-Peternell.

研究动机与目标

• 证明紧致 Kähler 流形上 Demailly 全纯 Morse 不等式超越版本的弱形式。
• 将先前关于上同调类体积界限的结果，从有理类和投影情形推广至更一般情形。
• 在 $\{\alpha\}, \{\beta\}$ 为超越类时，建立在交形式满足正性条件的前提下 $\{\alpha - \beta\}$ 包含 Kähler 当量。
• 弱化先前结果中的度量假设，表明仅需 $\partial\bar{\partial}\omega^k = 0$ 对 $k=1,\dots,n-1$ 成立，即可推出结论。

提出的方法

• 使用复 Monge-Ampère 方程构造逼近形式 $\alpha_\varepsilon + i\partial\bar{\partial}u_\varepsilon$，并控制其体积增长。
• 应用势函数的统一 $L^1$ 有界性，以控制 $\varepsilon \to 0$ 时的质量与曲率。
• 利用条件 $\partial\bar{\partial}\omega = 0$（或更高阶消失）来在扰动下保持体积积分不变。
• 通过点态不等式与体积比较，建立 $M_\varepsilon = \int_X (\alpha + \varepsilon\omega + i\partial\bar{\partial}\eta_\varepsilon)^2 \wedge (\beta + \varepsilon\omega + i\partial\bar{\partial}\psi_\varepsilon)$ 的正性。
• 利用点态不等式 $\frac{(\alpha + \varepsilon\omega + i\partial\bar{\partial}u_\varepsilon)^2 \wedge \omega}{\omega^3} \geq \left(\frac{(\alpha + \varepsilon\omega + i\partial\bar{\partial}u_\varepsilon)^3}{\omega^3}\right)^{2/3}$ 来控制 $\int_X \alpha^2 \wedge \omega$ 的下界。
• 证明 $c_0 = \int_X \alpha^3 > 0$ 蕴含 $\int_X \alpha^2 \wedge \omega > 0$，从而确保对充分小的 $\varepsilon$ 有 $M_\varepsilon > 0$。

实验结果

研究问题

• RQ1 能否在非有理类、超越上同调类的紧致 Kähler 流形上证明弱超越 Morse 不等式猜想？
• RQ2 条件 $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$ 是否意味着 $\{\alpha - \beta\}$ 是大类，即使 $\{\alpha\}, \{\beta\}$ 不是有理类？
• RQ3 先前结果中的度量假设能否从对所有 $k$ 成立的 $\partial\bar{\partial}\omega^k = 0$ 弱化为仅对 $k=1,\dots,n-1$ 成立，甚至对小的 $n$ 仅需 $k=1$？
• RQ4 是否可能在不假设有理性和投影性的情况下，建立混合体积项 $M_\varepsilon$ 的正性？

主要发现

• 对于任意满足 $\partial\bar{\partial}\omega^k = 0$（$k=1,\dots,n-1$）的 Hermitian 度量的 $n$ 维紧致复流形，若 $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$，则 $\{\alpha - \beta\}$ 包含一个 Kähler 当量。
• 该结果改进了 Boucksom-Demailly-Paun-Peternell 的定理 1.1，消除了投影性与有理性的假设，将其推广至超越类。
• 当 $n \leq 3$ 时，仅需 $\partial\bar{\partial}\omega = 0$，该条件在所有紧致复曲面中成立，并蕴含其为 Kähler 流形。
• 证明中建立了在 $c_0 = \int_X \alpha^3 > 0$ 的条件下 $\int_X \alpha^2 \wedge \omega \geq c'$（$c' > 0$），这对确保 $M_\varepsilon > 0$ 至关重要。
• 势函数的统一 $L^1$ 有界性确保了收敛性，并允许控制 $c_\varepsilon = \int_X (\alpha + \varepsilon\omega + i\partial\bar{\partial}\eta_\varepsilon)^n$ 对 $c_0 > 0$ 的极限。