Monge-Ampère-type equation for forms of positive degree and Demailly's transcendental Morse inequality

技术摘要：正次数形式的 Monge-Ampère 型方程与 Demailly 的超越斯通斯不等式

问题陈述
本文研究了在 $n$ 维紧 Kähler 流形 $(M, \omega)$ 上，正次数形式的 Monge-Ampère 型方程的可解性问题。该方程最初由 Dinew 和 Popovici 提出，旨在为高阶上同调类（具体为 $(m, m)$ 形式，其中 $1 < m \leq n$）建立 Demailly 超越斯通斯不等式的解析定性部分。

核心难点在于求解该方程所需的规范固定（gauge-fixing）条件。Dinew 和 Popovici 最初提出的表述要求满足 $\Lambda^{m-2}\Delta u = 0$（其中 $\Lambda$ 是迹算子，$\Delta$ 是拉普拉斯算子）以及核条件 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$。作者证明，这种特定的迹条件在解析上“过于僵化”，迫使解变为平凡解（常数体积形式），从而导致无法针对一般的体积形式 $dV$ 产生解。因此，证明斯通斯不等式的无条件版本一直难以实现。

方法论
为了解决原始规范的僵化问题，本文引入了一个由两个实常数 $a$ 和 $b$ 参数化的广义规范固定条件，且满足约束条件 $a + nb = m - n - 2$。新条件为：
$$(m-1)\Lambda^{m-2}\Delta u = (1+a)i\partial\bar{\partial}\Lambda^{m-1}u + (1+b)\Lambda^{m-1}\Delta u \, \omega$$
这导致一个关于 $(a, b)$ Monge-Ampère 型方程的系统可以简化为一个涉及函数 $f$（即 $u$ 的最低阶原函数）的标量方程：
$$\left( \star_\omega(\alpha \wedge \omega^{n-m-1}) + \frac{n!}{(n-m+1)!} [a i\partial\bar{\partial}f + b \Delta f \, \omega] \right)^n = dV$$

研究方法分为三个主要阶段：

1. 唯一性分析： 本文首先分析核条件 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$。通过将 $u$ 分解为原函数坐标 $\psi_k$ 并利用 Kähler 度量的交换关系，作者推导出了这些原函数之间的一系列级联关系。该分析证明，原始条件 $\Lambda^{m-2}\Delta u = 0$ 会导致 $\Delta f = 0$ 且 $\Delta \psi_1 = 0$，从而使得方程对于非平凡 $dV$是不可解的。相反，在新的规范下，建立了一个更强的唯一性定理：只要原函数的差满足特定的$\bar{\partial}^*$-恰当性或封闭性条件，解在常数和调和形式意义下是唯一的。
2. 先验估计： 作者推导了广义方程的二阶和梯度估计。分析分为两个参数区间：
   • 区间 1 ($a+b \geq 0, b \geq 0$ 或 $a+b \leq 0, b \leq 0$)： 在此范围内，方程是无条件可解的。作者利用涉及 Hessian 最大特征值和梯度估计的测试函数进行极大值原理分析，以建立 $C^2$ 界限。
   • 区间 2 ($a+b < 0, b > 0$ 或 $a+b > 0, b < 0$)： 此处，方程是有条件可解的。作者引入了连续性路径法。一个关键挑战是保持一致椭圆性，这取决于度量的条件数 $\kappa(\tilde{g})$。通过假设背景数据 $X$ 满足条件数界限 $\kappa(X) < |a|/(n|b|)$，并利用定量隐函数定理（收缩映射原理），作者证明了对于右端项的足够小的扰动，解将保持在一致椭圆度度量的一个锥体内。
3. 存在性与收敛性： 利用 Evans-Krylov 理论和 Schauder 估计，建立了 $C^\infty$ 界限。通过对连续性路径应用开集和闭集论证（通过反函数定理和 Arzelà-Ascoli 定理），证明了解的存在性。

主要贡献与结果

• 解决僵化问题： 本文证明了原始的拉普拉斯迹条件 $\Lambda^{m-2}\Delta u = 0$ 与对于一般体积形式的存在解是不相容的。
• 广义规范： 引入 $(a, b)$ 规范固定提供了一个允许存在解的灵活框架。
• 无条件可解性（区间 1）： 对于特定的参数区间，本文证明了对于任何光滑体积形式 $dV$，存在唯一的解（在常数意义下）。
• 有条件可解性（区间 2）： 对于其他区间，解的存在性取决于目标体积形式相对于背景行列式的足够接近程度（在 $C^{0,\gamma}$ 范数下），并受限于背景度量的条件数约束。
• 加强的唯一性： 在核条件下，本文确立了解的最低阶原函数坐标在调和形式意义下是唯一的，这是一个比以往已知结果更强的结论。
• 证明 Demailly 不等式： 通过令 $b=0$ 且 $a=m-n-2$（这属于区间 1），该框架可以退化为经典的复 Monge-Ampère 方程语境。这使得对高阶形式的 Demailly 超越斯通斯不等式的定性部分进行无条件证明成为可能。具体而言，如果积分体积阈值成立，则上同调类 $[(\alpha\omega)^m - \beta]$ 包含一个严格正的电流。

意义
本文声称消除了 Dinew 和 Popovici 工作中关于 Monge-Ampère 型方程可解性的条件性假设。通过证明该方程在更广泛的、在解析上可行的规范下是可解的，本文为高阶上同调类的定性 Demailly 超越斯通斯不等式提供了无条件的证明。这一结果对于复几何具有重要意义，因为它将伪有效锥与可移动类锥之间的对偶性从射影流形扩展到了一般的紧 Kähler 流形（针对高阶形式）。

作者对“区间 2”的结果保持了审慎态度，指出目前仍需小数据假设（$|dV - \log \det X| < \epsilon$）以确保沿连续性路径的一致椭圆性。作者指出，移除这一假设是一个开放性问题，并指出对最小特征值的倒数使用标准的极大值原理分析是不够的，可能需要新的 PDE 结构性质。