[论文解读] Stability of solutions to complex Monge-Amp\\`ere equations in big cohomology classes

Vincent Guedj, Ahmed Zériahi|arXiv (Cornell University)|Dec 7, 2011

Geometry and complex manifolds参考文献 2被引用 22

一句话总结

本文在紧致 Kähler 流形上的大类共形同调类中，建立了复 Monge-Ampère 方程解的定量稳定性估计。证明了总变差收敛意味着势函数在 $L^1$ 中收敛，并在 $L^p$-密度假设下，给出了 $L^\infty$ 范数下的精确 Hölder 型估计，将 Kolodziej 的结果推广至大类情形，并给出了明确的指数界。

ABSTRACT

We establish various stability results for solutions of complex Monge-Amp\\`ere equations in big cohomology classes, generalizing results that were known to hold in the context of K\\"ahler classes.

研究动机与目标

• 在大类共形同调类中建立复 Monge-Ampère 方程解的定量稳定性性质，将已知的 Kähler 类结果推广。
• 分析在弱拓扑下解映射 $\mu \mapsto T_\mu$ 的连续性，特别是测度总变差收敛时的情形。
• 在测度具有 $L^p$-密度的条件下，推导势函数在 $L^\infty$ 范数下的 Hölder 型估计，改进 Kähler 情形下的已知指数。
• 推广能量收敛的概念，并通过基于能量的估计将其与容量收敛联系起来。
• 为具有最小奇点的奇异解提供一个适用于大类共形同调类的定量稳定性框架。

提出的方法

• 使用 $dd^c$-引理将大类中的当前表示为 $T = \theta + dd^c\varphi$，将 Monge-Ampère 方程约化为在 $\theta$-拟上函数 $\varphi \in \mathcal{E}^1(X,\theta)$ 上的有限能量问题。
• 应用大类比较原理与容量估计，通过 Monge-Ampère 测度下势函数差的 $L^1$ 与 $L^r$ 范数控制其差的 $L^\infty$ 范数。
• 运用 Hölder 不等式与 Chebyshev 型估计，将势函数差的正部的 $L^1$ 与 $L^r$ 范数与容量和测度范数联系起来。
• 利用非极值 Monge-Ampère 测度 $MA(\varphi)$ 与能量泛函 $E(\varphi)$ 定义并控制能量收敛，这是稳定性分析中的关键工具。
• 对 [EGZ09] 的结果进行改进，以处理满足 $\mathcal{H}(\beta)$ 条件的测度，从而在 $L^1$ 范数下导出 $L^\infty$ 有界性。
• 结合能量收敛估计与 $L^p$-密度假设，推导出解映射在 $L^\infty$ 范数下的 Hölder 连续性，其指数 $\tau < \frac{1}{2^n(n+1)-1}$。

实验结果

研究问题

• RQ1 在大类共形同调类中，当测度在总变差下收敛时，解映射 $\mu \mapsto T_\mu$ 的行为如何？
• RQ2 能否在大类共形同调类中为 Monge-Ampère 势函数建立类似于 Kähler 情形的定量 $L^1$ 稳定性估计？
• RQ3 当测度具有 $L^p$-密度 ($p > 1$) 时，势函数在 $L^\infty$ 稳定性下的最优 Hölder 指数 $\tau$ 是多少？
• RQ4 在大类共形同调类的背景下，能量收敛与容量收敛之间有何关系？
• RQ5 稳定性结果能否推广至大类共形同调类中具有最小奇点的势函数，即使测度不光滑？

主要发现

• 测度在总变差下收敛意味着势函数在 $L^1(X)$ 中收敛：$||\mu_j - \mu|| \to 0$ 蕴含 $||\varphi_{\mu_j} - \varphi_\mu||_{L^1(X)} \to 0$，建立了弱稳定性。
• 获得了定量的 $L^1$-稳定性估计：$\int_X |\varphi_1 - \varphi_2| \, MA(\psi) \leq C_n \cdot B^2 \cdot I(\varphi_1, \varphi_2)^{2^{-n}}$，其中 $B = \max\{1, |E(\varphi_1)|, |E(\varphi_2)|, |E(\psi)|\}$，且 $I(\varphi_1, \varphi_2)$ 衡量能量收敛。
• 在 $L^p$-密度假设下（$p > 1$），解映射在 $L^\infty$ 中是 Hölder 连续的：$||\varphi_\mu - \varphi_\nu||_{L^\infty(X)} \leq M_\tau \cdot ||f_\mu - f_\nu||_{L^1(X)}^\tau$，其中 $\tau < \frac{1}{2^n(n+1)-1}$。
• 指数 $\tau$ 通过一系列涉及容量、$L^r$ 范数与 Hölder 不等式的估计链推导得出，最终界依赖于 $n$、$p$ 以及密度的 $L^p$-范数。
• 该结果将 Blocki 在 Kähler 情形下的稳定性结果推广至大类共形同调类，虽指数非最优但明确给出，提示存在改进空间。
• 证明依赖于 [EGZ09] 中结果的改进版本，将其适配至大类共形同调类及满足 $\mathcal{H}(\beta)$ 的测度。