[论文解读] Strong openness conjecture for plurisubharmonic functions

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|Nov 15, 2013

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

一句话总结

本文证明了全纯凸函数的强开性猜想，确立了在复流形上任意全纯凸函数 $\varphi$ 下，乘子理想层 $\omega_{+}(\varphi)$ 等于 $\mathcal{I}(\varphi)$。证明使用了一种新颖的具有可忽略权重的 $L^2$ 延拓定理，并结合维数归纳法，表明若一个全纯函数关于 $e^{-\varphi}$ 是 $L^2$-可积的，则它也关于 $e^{-p\varphi}$（其中 $p>1$）是 $L^2$-可积的，从而解决了复分析与代数几何中长期悬而未决的猜想。

ABSTRACT

In this article, we give a proof of the strong openness conjecture for plurisubharmonic functions posed by Demailly.

研究动机与目标

• 为复分析与代数几何中的一个主要开放问题——全纯凸函数的强开性猜想提供解决。
• 确立乘子理想层 $\mathcal{I}_+(\varphi)$（定义为对所有 $\varepsilon>0$ 的 $\mathcal{I}((1+\varepsilon)\varphi)$ 的并集）等于 $\mathcal{I}(\varphi)$，对任意全纯凸函数 $\varphi$ 成立。
• 将 $L^2$ 延拓定理推广至可忽略权重的情形，从而实现对指数权重变化下 $L^2$ 范数增长的控制。
• 通过维数归纳法证明该猜想，将问题约化为在解析曲线上进行低维 $L^2$ 估计。

提出的方法

• 在复维数 $n$ 上使用归纳法，假设结论对 $n=k-1$ 成立，并证明其对 $n=k$ 成立。
• 应用一种动态构造的具有可忽略权重 $\psi = -\log 2$ 的 $L^2$ 延拓定理，确保对延拓的 $L^2$ 范数具有控制。
• 在 $\Delta' \times \Delta''$ 上构造一个全纯函数 $F_A$，使其在纤维 $\pi^{-1}(z_A)$ 上与 $\imath^*(F)$ 一致，利用权重为 $p_A\varphi$ 的 $L^2$ 延拓。
• 使用一条通过原点的参量化解析曲线 $\gamma$，使得 $F|_\gamma = 0$ 仅在原点成立，从而将理想成员关系与零点阶数联系起来。
• 使用函数 $u(s(y)) = y^{-1}$，其中 $s(y) = y^{-1}(-\log y)^{-1}$，分析 $L^1$ 函数的超水平集测度，将其与 $\lambda_n(\{G > A\})$ 的增长联系起来。
• 应用引理 2.6 和引理 2.7，推导出 $F_A$ 在曲线 $\imath^{-1}(\gamma)$ 上的 $L^2$ 范数的下界，当与延拓定理给出的上界结合时，导致矛盾。

实验结果

研究问题

• RQ1 在复流形上的任意全纯凸函数 $\varphi$ 下，$\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$ 是否成立？
• RQ2 能否将 $L^2$ 延拓定理适配于可忽略权重的情形，从而控制指数权重变化下 $L^2$ 范数的增长？
• RQ3 是否可以通过维数归纳法与解析曲线参数化，将强开性猜想约化为低维 $L^2$ 估计？
• RQ4 $L^1$ 可积函数 $G$ 的测度 $\lambda_n(\{G > A\})$ 的渐近行为如何？它与强开性猜想有何关联？

主要发现

• 强开性猜想已得证明：对复流形上任意全纯凸函数 $\varphi$，有 $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$。
• 对单位多圆盘 $\Delta^n$ 上的任意负全纯凸函数 $\varphi$，若全纯函数 $F$ 满足 $\int_{\Delta^n} |F|^2 e^{-\varphi} d\lambda_n < \infty$，则存在 $r>0$ 和 $p>1$，使得 $\int_{\Delta^n_r} |F|^2 e^{-p\varphi} d\lambda_n < \infty$。
• 当假设猜想在维数 $k$ 下不成立时，通过构造一个全纯延拓 $F_A$，其在曲线 $\imath^{-1}(\gamma)$ 上的 $L^2$ 范数下界为 $C_1 u(A)$，而由延拓定理给出的上界为 $8\pi A$，且当 $A \to \infty$ 时 $u(A)/A \to \infty$，从而导致矛盾。
• 通过 $u(s(y)) = y^{-1}$ 与 $s(y) = y^{-1}(-\log y)^{-1}$ 定义的函数 $u(A)$ 满足 $\liminf_{A \to \infty} \lambda_n(\{G > A\}) u(A) = 0$，这对矛盾的产生至关重要。
• 该结果蕴含了 Demailly 与 Kollár 的开性猜想，并为复奇点指数与子水平集测度的进一步研究奠定了基础。