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

From MaRDI portal
Added link to MaRDI item.
Created claim: Wikidata QID (P12): Q59303248, #quickstatements; #temporary_batch_1709545057628
Property / Wikidata QID
 
Property / Wikidata QID: Q59303248 / rank
 
Normal rank

Revision as of 10:43, 4 March 2024

scientific article
Language Label Description Also known as
English
On the completeness of a metric related to the Bergman metric
scientific article

    Statements

    On the completeness of a metric related to the Bergman metric (English)
    0 references
    0 references
    23 December 2013
    0 references
    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\).
    0 references
    Bergman metric
    0 references
    Ricci curvature
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references