[论文解读] Estimates for the Bergman Kernel and the Multidimensional Suita Conjecture

Zbigniew B Locki, W Lodzimierz Zwonek|arXiv (Cornell University)|Apr 30, 2014

Holomorphic and Operator Theory参考文献 18被引用 31

一句话总结

本文通过证明 Bergman 核在某一点的下界由 Azukawa 指示器的体积倒数给出，建立了经典 Suita 猜想的多维推广，该指示器是编码复几何的几何对象。利用多复 Green 函数的估计及当水平集参数趋于负无穷时的渐近分析，作者为强凸和拟凸域导出精确下界，并对复椭球体进行了显式计算，验证了猜想的不等式，并揭示了对称域中的非平凡行为。

ABSTRACT

We study the lower bound for the Bergman kernel in terms of volume of sublevel sets of the pluricomplex Green function. We show that it implies a bound in terms of volume of the Azukawa indicatrix which can be treated as a multidimensional version of the Suita conjecture. We also prove that the corresponding upper bound holds for convex domains and discuss it in bigger detail on some convex complex ellipsoids.

研究动机与目标

• 通过复分析中的几何与分析工具，将经典的一维 Suita 猜想推广到高维。
• 基于多复 Green 函数的子水平集体积，建立 Bergman 核的精确下界。
• 通过 Azukawa 指示器刻画双全纯域中 Bergman 核的渐近行为。
• 研究与 Green 函数子水平集体积相关的单调性与凸性猜想的有效性。
• 为凸域和 C-凸域（特别是复椭球体）提供 Bergman 核的显式上下界。

提出的方法

• 利用 $\bar{\partial}$-方程和多复 Green 函数的性质，推导 Bergman 核的下界。
• 证明当 $ t \to -\infty $ 时，$ e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ 的渐近极限等于 Azukawa 指示器的体积。
• 应用逼近技术，将双全纯域的结果推广至一般拟凸域。
• 利用 Lempert 理论和凸复椭球体的测地线公式，显式计算 Kobayashi 指示器和 Bergman 核。
• 采用等周不等式和对数体积函数的凸性，分析体积函数的单调性。
• 应用压缩方法并利用特定域（如 $ \mathcal{E}(1/2, m/(n-1)) $）中 Bergman 核的已知公式，计算精确值。

实验结果

研究问题

• RQ1 当 $ t \to -\infty $ 时，$ e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ 的渐近行为是否在高维中给出 Azukawa 指示器的体积？
• RQ2 多维 Suita 猜想是否可作为渐近极限与 Bergman 核下界的结果而得证？
• RQ3 函数 $ t \mapsto e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ 在 $ (-\infty, 0] $ 上是否对拟凸域为非减函数？
• RQ4 函数 $ t \mapsto \log \lambda(\{G_{\Omega,w} < t\}) $ 是否在 $ (-\infty, 0] $ 上保持凸性，从而揭示更深层的几何结构？
• RQ5 能否基于 Azukawa 指示器的体积，为 C-凸域和凸域中的 Bergman 核建立精确上界？

主要发现

• 对于有界双全纯域，极限 $ \lim_{t \to -\infty} e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) = \lambda(I^{A}_{\Omega}(w)) $ 成立，建立了经典一维 Suita 猜想的多维类比。
• 多维 Suita 猜想得到证实：对任意拟凸域 $ \Omega \subset \mathbb{C}^n $，有 $ K_{\Omega}(w) \geq \frac{1}{\lambda(I^{A}_{\Omega}(w))} $。
• 对于 C-凸域，Bergman 核满足 $ K_{\Omega}(w) \leq \frac{16^n}{\lambda(I^{A}_{\Omega}(w))} $，其中凸域的最优常数为 $ C=4 $，对称凸域为 $ C=16/\pi^2 $。
• 对于复椭球体 $ \Omega = \{ z \in \mathbb{C}^n : |z_1| + \sum_{j=2}^n |z_j|^{2m} < 1 \} $，乘积 $ K_{\Omega}(w) \lambda(I^{K}_{\Omega}(w)) $ 超过 1，且当 $ m \geq 1/2 $ 时有显式公式 $ 1 + (1 - 2m)^2 $，表明下界为严格不等式。
• 函数 $ F_{\Omega}(w) = (K_{\Omega}(w) \lambda(I^{A}_{\Omega}(w)))^{1/n} $ 满足 $ 1 \leq F_{\Omega} \leq 16 $（对 C-凸域），且在全纯变换下不变。
• 对于对称双圆盘 $ \mathbb{G}_2 $，有 $ F_{\mathbb{G}_2}(0) = 2/\sqrt{3} \approx 1.1547 $，表明即使对 C-凸域，$ F_{\Omega} \not\equiv 1 $。