[论文解读] Estimates on Monge-Ampère operators derived from a local algebra inequality

Jean-Pierre Demailly|ArXiv.org|Sep 21, 2007

Geometry and complex manifolds参考文献 15被引用 21

一句话总结

本文建立了对具有紧支集奇点的全纯凸函数 $\varphi$ 的 $e^{-2\varphi}$ 的 $L^1$-可积性的先验界，该界由总 Monge-Ampère 质量 $\int_\Omega (dd^c\varphi)^n < n^n$ 的一致上界导出。关键结果表明，若 Monge-Ampère 质量严格小于 $n^n$，则对每个紧子集 $K \subset \Omega$，有 $\int_K e^{-2\varphi} < \infty$，且极值行为由形如 $\varphi(z) = n\log|z - z_0|$ 的函数实现。证明依赖于局部代数中的一个深刻不等式，最初由 Corti 提出，后由 Ein、De Fernex 和 Mustaća 扩展，该不等式将对数典范阈值与理想之 Hilbert-Samuel 装配数联系起来。

ABSTRACT

The goal of this short note is to relate the integrability property of the exponential $e^{-2ϕ}$ of a plurisubharmonic function $ϕ$ with isolated or compactly supported singularities, to a priori bounds for the Monge-Ampère mass of $(dd^cϕ)^n$. The inequality is valid locally or globally on an arbitrary open subset $Ω$ in $\bC^n$. We show that $\int_Ω(ddϕ)^n

研究动机与目标

• 将具有孤立或紧支集奇点的全纯凸函数 $\varphi$ 的 $e^{-2\varphi}$ 的可积性与总 Monge-Ampère 质量 $\int_\Omega (dd^c\varphi)^n$ 的界联系起来。
• 证明若 $\int_\Omega (dd^c\varphi)^n < n^n$，则对每个紧子集 $K \subset \Omega$，有 $\int_K e^{-2\varphi} < \infty$，且该界与 $\varphi$ 无关。
• 证明 $n^n$ 的界是最优的，且当 $\varepsilon \to 0$ 时，函数 $\varphi(z) = (n - \varepsilon)\log|z - z_0|$ 趋近于该阈值。
• 建立该结果源于局部代数中的基本不等式，具体而言，将理想之对数典范阈值与 Hilbert-Samuel 装配数联系起来。
• 证明该解析估计在事后等价于代数不等式，该不等式由 Corti 在二维情形证明，并由 Ein、De Fernex 和 Mustaća 推广至任意维数。

提出的方法

• 证明将解析问题约化为局部代数中已知的不等式，即在 $\mathcal{O}_{\mathbb{C}^n,0}$ 中零维理想 $\mathcal{J}$ 的对数典范阈值满足 $\mathop{\rm lc}(\mathcal{J}) \leq n / e(\mathcal{J})^{1/n}$。
• 论证利用了解析 Monge-Ampère 质量界与代数装配数条件之间的等价性，借助于当且仅当 $\mathcal{J}$ 的积分闭包是极大理想的幂时，代数不等式中等号成立的事实。
• 关键步骤涉及使用 Ohsawa-Takegoshi $L^2$ 延拓定理及奇点的逼近技术，以控制 $e^{-2\varphi}$ 在奇点集附近的增长。
• 利用 $\mathcal{P}_{0,M}(\Omega)$ 在 $L^1_{\rm loc}(\Omega)$ 中的紧致性以确保一致有界性，依赖于 Cegrell 的类 $\mathcal{F}(\Omega)$ 及 Monge-Ampère 测度的弱收敛性。
• 应用 [CZ03] 中的子延拓定理，将 $\varphi$ 从 $\Omega$ 延拓至更大的强拟凸域 $\tilde{\Omega}$，同时保持 Monge-Ampère 质量界的不变性。
• 最终估计通过结合 $e^{-2\varphi}$ 在紧子集上的一致 $L^1$ 有界性与子延拓及紧致性论证得出，得到一个仅依赖于 $\Omega$ 和 $M$ 的常数 $C'(\Omega, M)$，与 $\varphi$ 无关。

实验结果

研究问题

• RQ1 在什么条件下，Monge-Ampère 质量 $\int_\Omega (dd^c\varphi)^n$ 能保证具有紧支集奇点的全纯凸函数 $\varphi$ 的 $e^{-2\varphi}$ 局部可积？
• RQ2 Monge-Ampère 质量的阈值 $n^n$ 是否最优？当趋近该界时会发生什么？
• RQ3 能否在具有有界 Monge-Ampère 质量的一族全纯凸函数中，统一控制 $e^{-2\varphi}$ 的可积性？
• RQ4 解析条件 $\int_\Omega (dd^c\varphi)^n < n^n$ 如何与 Hilbert-Samuel 装配数和对数典范阈值等代数不变量相关联？
• RQ5 是否存在解析估计 $e^{-2\varphi}$ 与局部代数中基本不等式之间的等价性？若存在，等号在何种条件下成立？

主要发现

• 若 $\int_\Omega (dd^c\varphi)^n < n^n$，则对每个紧子集 $K \subset \Omega$，有 $\int_K e^{-2\varphi} < \infty$，且该界仅依赖于 $\Omega$、$K$ 和质量界 $M < n^n$。
• 界 $n^n$ 是最优的：对于 $\varphi_\varepsilon(z) = (n - \varepsilon)\log|z - z_0|$，Monge-Ampère 质量为 $(n - \varepsilon)^n < n^n$，但当 $\varepsilon \to 0^+$ 时，有 $\int_K e^{-2\varphi_\varepsilon} \to \infty$，表明该阈值是紧的。
• 形如 $\varphi(z) = n\log|z - z_0|$ 的函数为极值情形，其达到临界质量 $n^n$，对应于可积性的阈值。
• 该结果在事后等价于局部代数中的深刻不等式：$\mathop{\rm lc}(\mathcal{J}) \leq n / e(\mathcal{J})^{1/n}$，且等号成立当且仅当 $\overline{\mathcal{J}} = \mathfrak{m}^k$ 对某个 $k$ 成立，其中 $\mathfrak{m}$ 为极大理想。
• 证明依赖于具有有界 Monge-Ampère 质量的全纯凸函数类在 $L^1_{\rm loc}$ 中的紧致性，以及使用 Cegrell 的类 $\mathcal{F}(\Omega)$ 将 Monge-Ampère 算子的定义延拓至此类函数的极限。
• 通过子延拓与截断技术，建立了统一的界 $\int_K e^{-2\varphi} \leq C'(\Omega, M)$，确保其与 $\varphi$ 的具体选择无关。