Estimates for the Bergman kernel and the multidimensional Suita conjecture (Q2339311)

For a bounded domain \(\Omega \subset \mathbb C^n\) let \(G_{\Omega,w}\) denote its pluricomplex Green function with a pole at \(w \in \Omega\). By \(K_\Omega (w)\) we denote the Bergman kernel function of \(\Omega\) at \(w\). The first author had obtained the following estimate: \[ \displaystyle K_\Omega (w) \geq \frac{1}{e^{-2nt} \lambda (\{G_{\Omega,w}<t\})}, \leqno{(0)} \] for \(t<0\), where \(\lambda\) denotes the Lebesgue measure. In the case \(n=1\), the estimate (0) was the basis of the proof of Suita's conjecture \(c_\Omega ^2\leq \pi K_\Omega (w)\), which was given by the first author, where \(c_\Omega(w)=\lim_{z\to w} G_{\Omega,w} (z)-\log |z-w|\). A reverse estimate to this in the form \(c_\Omega ^2\geq C K_\Omega (w)\) is disproved in the present article, when \(\Omega\) is a circular ring in the plane. The aim of the article is to compare \(K_\Omega\) with the measure of the indicatrices of Azukawa and Kobayashi, respectively. These are defined by \[ I_\Omega^A (w):=\big\{X \in \mathbf{C}^n\,|\, \varlimsup_{\zeta \to 0} ( \,G_{\Omega,w}(w+\zeta X)- \log |\zeta| )<0 \big\}, \] \[ I_\Omega^K(w):= \big\{\varphi'(0) \,|\, \varphi : \Delta \longrightarrow \Omega ,\,\,\text{holomorphic}\,,\, \varphi (0)=w\big\}. \] The first result is the following. Theorem 1. If \(\Omega\) is hyperconvex, then \(\displaystyle \lim_{t\to -\infty}e^{-2nt} \lambda \big(\{G_{\Omega,w}<t\}\big)=\lambda \big(I_\Omega^A (w)\big) \). In conjunction with (0) it follows that \(\displaystyle K_\Omega (w) \geq \frac{1}{\lambda (I_\Omega^A (w))}\). This could be viewed as an \(n\)-dimensional analogue of Suita's conjecture. Next the question of monotonicity of the function \(v:t \longmapsto e^{-2nt} \lambda \big(\{G_{\Omega,w}<t\}\big)\) is discussed. For \(n=1\) the authors show that \(v\) is nondecreasing. In a next part the question is discussed, whether the reverse estimate \[ \displaystyle K_\Omega (w) \leq \frac{C}{\lambda (I_\Omega^A (w))} \leqno{(1)} \] holds with some constant \(C\). A positive result is given by the authors. Theorem 2. If \(\Omega\) is \(\mathbb C\)-convex then (1) holds with \(C=16\). If \(\Omega\) is convex then (1) holds with \(C=4\). If \(\Omega\) is even symmetric with respect to \(w\), one has (1) with \(C=16/\pi^2\). Finally, the function \(K_\Omega (w)\lambda \big(I_\Omega^K(w)\big)\) is explicitly computed on the complex ellipsoid \(\Omega=\big\{z \in \mathbf{C}^n\,|\, |z_1| + |z_2|^{2m}+ ... +|z_n|^{2m}<1 \big\}\).