On the completeness of a metric related to the Bergman metric (Q387550): Difference between revisions

Let \(\Omega\) denote a bounded domain in \(\mathbb C^n\) and \(L_h^2(\Omega)\) the Hilbert space of all holomorphic functions on \(\Omega\) that are square-integrabel in the Lebesgue measure. By \( \langle \cdot , \cdot \rangle\) we denote the inner product on \(L^2_h(\Omega)\). Let \(K_\Omega : \Omega\times \Omega \longrightarrow \mathbf{C}^n\) denote the Bergman kernel function of \(\Omega\). Then \(K_{\Omega}(z):= \log K_{\Omega}(z,z)\) defines the potential of the Bergman metric \(B_{\Omega^2} = \sum_{i,j=1}^n T_{i\bar j} dz_i\,d \bar z_j\), where \[ T_{i\bar j}= \frac{\partial^2 \log K_{\Omega}(z)}{\partial z_i \partial \bar z_j} . \] Let \(G_{\Omega} := \det \left((T_{i\bar j})_{i,j=1}^n\right)\). Then the Ricci curvature is given by \[ \displaystyle \text{Ric}_\Omega (z;X) = \frac{1}{B_{\Omega}^2(z,X)}\sum_{i,j=1}^n \text{Ric}_{i\,\bar j} (z) X_i\bar X_j, \] whenever \(X\in \mathbb C^n\setminus \{0\}\). Here, the coefficients \(\text{Ric}_{i\,\bar j}\) are given by \[ \displaystyle\text{Ric}_{i\,\bar j} (z) = -\,\,\frac{\partial^2 \log G_{\Omega}(z)}{\partial z_i \partial \bar z_j}. \] The author studies the behavior of the hermitian (1,1)-form \(d\widetilde s^2 := \sum_{i,j=1}^n \widetilde T_{i\bar j} dz_i \,d \bar z_j\), where \( \widetilde T_{i\bar j}:= (n+1) T_{i\bar j}-\text{Ric}_{i\,\bar j}\). It is known that \( d\widetilde s^2\) is indeed a positive definite differential metric. It is the metric, that is alluded to in the title of the paper. The author's concern is to study the question of completeness of this metric. The main result is the following Theorem. Let \(\Omega \) be a bounded domain. If for every \((n+1)\)-tuple of lineraly independent \(f_0,.f_1,...,f_n \in L_h^2(\Omega)\) and every boundary point \(z_0 \in \partial \Omega\) and for every sequence \(\{z_j\}_{j=1}^\infty\) of points in \(\Omega\) with limit (in the Euclidean sense) \(z_0\), there exists a subsequence \(\{z_{s_k}\}_{k=1}^\infty\) such that \[ \lim_{k\to \infty} \,\frac{1}{K_{\Omega}^{n+1}(z_{s_k}) \cdot\det (T_{ij})(z_{s_k})}\cdot \left| \det \begin{pmatrix} \l&\l&\l\\ f_0(z_{s_k})&\cdots & f_n(z_{s_k}) \\ \frac{\partial f_0}{\partial z_1} (z_{s_k}) & \cdots & \frac{\partial f_n}{\partial z_1} (z_{s_k}) \\\quad \vdots & \cdots & \quad\vdots \\ \frac{ \partial f_0}{\partial z_n} (z_{s_k}) & \cdots & \frac{\partial f_n}{\partial z_n} (z_{s_k}) \end{pmatrix} \right| < \det \left( \langle f_i,f_j\rangle\right)_{i,j=0}^n , \] then the metric \((\widetilde T_{ij})_{i,j=1}^n\) is complete. As an application he proves that each bounded hyperconvex domain is complete in the metric \((\widetilde T_{ij})_{i,j=1}^n\).