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

Bo Berndtsson|arXiv (Cornell University)|May 24, 2013

Geometry and complex manifolds参考文献 5被引用 72

一句话总结

本文通过证明：若在 $ \mathbb{C}^n $ 的原点附近 $ e^{-u} $ 可积，则存在 $ p > 1 $，使得 $ e^{-pu} $ 在更小的球面上可积，从而解决了多重次调和函数的开放性猜想。证明方法使用了以 $ e^{-2u_s} $ 为权的全纯函数的 $ L^2 $-范数，其中 $ u_s = \max(u + s, 0) $，并通过无限秩 Hermitian 向量丛的曲率正性，结合最大值原理论证得出结论。

ABSTRACT

We give a proof of the openness conjecture of Demailly and Kollár.

研究动机与目标

• 证明 Demailly 与 Kollár 的开放性猜想，即 $ e^{-u} $ 的可积性蕴含存在 $ p > 1 $ 使得 $ e^{-pu} $ 局部 $ L^p $-可积。
• 建立 $ p $ 的定量下界，表明 $ p \geq 1 + \delta_n / \int_B e^{-u} $，其中 $ \delta_n $ 仅依赖于维度。
• 通过一种新颖的 $ L^2 $-范数分解方法，将对称化与曲率正性方法从 $ S^1 $-对称情形推广至一般多重次调和函数。
• 证明当 $ \int_B e^{-u} < \infty $ 时，满足 $ e^{-pu} $-权 $ L^p $-可积的全纯函数空间在 $ L^2 $-全纯函数空间中是稠密的。

提出的方法

• 对 $ s \geq 0 $ 定义 $ u_s = \max(u + s, 0) $，并在单位球内的全纯函数上引入加权 $ L^2 $-范数 $ \|h\|_s^2 = \int_B |h|^2 e^{-2u_s} $。
• 利用恒等式 $ \|h\|^2 = 2\int_0^\infty e^s \|h\|_s^2 ds + \|h\|_0^2 $，将无权 $ L^2 $-范数与加权族 $ \|h\|_s $ 关联起来。
• 应用定理 2.3，证明族 $ \|h\|_s $ 在右半平面上定义了一个正曲率 Hermitian 度量，该度量作用于无限秩全纯向量丛上。
• 通过有限秩子丛的逼近，将无限秩丛上正曲率度量的最大值原理论证加以合理化。
• 将 $ L^2 $-范数 $ \|h\|_s $ 与由 $ |h|_t^2 = \int_X |h|^2 e^{-t\lambda(x)} d\mu(x) $ 定义的平坦度量进行比较，以推导衰减估计。
• 利用衰减估计 $ \|h\|_s^2 \leq e^{-(1+\epsilon)s} \|h\|_0^2 $，得出 $ \int_{B/2} e^{-pu} < \infty $ 对 $ p = 1 + \epsilon/2 $ 成立。

实验结果

研究问题

• RQ1 对于单位球内满足 $ u \leq 0 $ 的多重次调和函数 $ u $，若 $ e^{-u} $ 可积，是否蕴含存在 $ p > 1 $，使得 $ e^{-pu} $ 在更小的球面上可积？
• RQ2 能否基于 $ e^{-u} $ 的 $ L^1 $-范数，建立 $ p $ 的定量下界？
• RQ3 当 $ \int_B e^{-u} < \infty $ 时，满足 $ e^{-pu} $-权 $ L^p $-可积的全纯函数空间是否在 $ L^2 $-全纯函数空间中稠密？
• RQ4 能否利用无限秩 Hermitian 向量丛的曲率正性来推导 $ L^p $-可积性结果？

主要发现

• 开放性猜想被完全解决：若 $ \int_B e^{-u} < \infty $，则存在 $ p > 1 $，使得 $ \int_{B/2} e^{-pu} < \infty $。
• 建立了 $ p $ 的定量下界：$ p \geq 1 + \delta_n / \int_B e^{-u} $，其中 $ \delta_n $ 仅依赖于复维度 $ n $。
• 证明依赖于将全纯函数的 $ L^2 $-范数分解为 $ s \in (0, \infty) $ 上加权 $ L^2 $-范数 $ \|h\|_s^2 $ 的积分，且这些范数满足曲率正性条件。
• 利用无限秩丛上度量 $ \|h\|_s $ 的曲率正性，推导出衰减估计，从而得出 $ p > 1 $ 时的 $ L^p $-可积性。
• 当 $ \int_B |h|^2 e^{-pu} < \infty $ 对某个 $ p > 1 $ 成立时，全纯函数空间在 $ H^2(B, dm) $ 中是稠密的，这是开放性猜想的推论。
• 通过用有限秩阶梯函数逼近权函数，并在极限中应用有限秩情形的最大值原理，该方法可推广至无限秩丛。