On the completeness of a metric related to the Bergman metric

Abstract

We study the completeness of a metric which is related to the Bergman metric of a bounded domain (sometimes called the Burbea metric or Fuks metric). We provide a criterion for its completeness in the spirit of the Kobayashi criterion for the completeness of the Bergman metric. In particular we prove that in hyperconvex domains our metric is complete.

Introduction

Recall that in a bounded domain $\varOmega \subset \subset \mathbb{C }^{n}$ the Bergman metric is the Kähler metric with metric tensor

$$\begin{aligned} T_{i{\bar{j}}}(z):=\frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}}\log K(z,z), z\in \varOmega , i,j=1,\dots , n, \end{aligned}$$

(1)

where $K(z,z)$ (or just $K$ for short) is the Bergman kernel (on the diagonal) of the domain $\varOmega$. The length of a vector $X\!\in \!\mathbb{C }^{n}$ ($\cong T_{z}\varOmega$) with respect to this metric at $z\!\in \!\varOmega$ is

$$\begin{aligned} \beta (z,X)=\beta _{\varOmega }(z,X):=\sqrt{\sum _{i,j=1}^{n}T_{i{\bar{j}}}(z)X_{i}\bar{X}_{j}}. \end{aligned}$$

(2)

The Bergman distance between two points $z,\zeta \in \varOmega$ is

$$\begin{aligned} dist_{\varOmega }(z,\zeta ):=\inf _{\gamma \in S}\left\{ \int _{0}^{1}\beta (\gamma (t),\gamma ^{\prime }(t))dt \right\} , \end{aligned}$$

(3)

where $S$ stands for the space of continuous piecewise $\mathcal C ^{1}$ and parametrized by the interval $[0,1]$ curves with images in $\varOmega$, for which $\gamma (0)=z,\gamma (1)=\zeta$.

The completeness of the Bergman metric of $\varOmega$ is the property that every Cauchy sequence with respect to $dist_{\varOmega }$ has a limit point in $\varOmega$ or equivalently, by the Hopf-Rinow theorem, that for any $z\in \varOmega , z_{0}\in \partial \varOmega$,

$$\begin{aligned} \lim _{\varOmega \ni \zeta \rightarrow z_{0}}dist_{\varOmega }(z,\zeta )=\infty , \end{aligned}$$

where the limit is with respect to the Euclidean topology. The completeness of the Bergman metric of bounded domains in $\mathbb{C }^{n}$ has been studied extensively over the years (see [2, 7, 8, 17–19, 22, 26, 27] and [1, 11] for qualitative results). In this paper we study the completeness of the following (closely related) Kähler metric.

$$\begin{aligned} {\tilde{T}}_{i{\bar{j}}}(z):=\left( (n+1)T_{i{\bar{j}}}(z)+\frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}}\log \det (T_{p\bar{q}}(z)_{p,q=1,\dots ,n})\right) . \end{aligned}$$

(4)

By the well-known formula expressing the Ricci curvature of a Kähler metric this can be interpreted as

$$\begin{aligned} {\tilde{T}}_{i{\bar{j}}}(z)=(n+1)T_{i{\bar{j}}}(z)- Ric_{i{\bar{j}}}, \end{aligned}$$

(5)

where $Ric_{i{\bar{j}}}$ is the Ricci tensor of the Bergman metric. It is well known that the Ricci curvature of the Bergman metric is bounded from above by $n+1$ (see [22]) and hence it follows that ${\tilde{T}}_{i{\bar{j}}}$ is positive definite and so it is indeed a metric. Such a metric was first considered in [15, 21] (with a slightly different constant) and in [6]. It turned out that this metric is important in studying the so-called Bergman representative coordinates, see [13]. This metric also enjoys many of the properties of the Bergman metric. In particular it is invariant with respect to biholomorphic mappings, see [20].

As above, we define

$$\begin{aligned} {\tilde{\beta }}(z,X):=\sqrt{\sum _{i,j=1}^{n}{\tilde{T}}_{i{\bar{j}}}(z)X_{i}\bar{X}_{j}} \end{aligned}$$

(6)

and

$$\begin{aligned} {\tilde{dist}}_{\varOmega }(z,\zeta ):=\inf _{\gamma \in S}\left\{ \int _{0}^{1}{\tilde{\beta }}(\gamma (t),\gamma ^{\prime }(t))dt \right\} . \end{aligned}$$

(7)

The completeness of ${\tilde{T}}_{i{\bar{j}}}$ is likewise defined as the property that every Cauchy sequence with respect to $\tilde{dist}_{\varOmega }$ has a limit point in $\varOmega$ or equivalently that for any $z\in \varOmega , z_{0}\in \partial \varOmega$,

$$\begin{aligned} \lim _{\varOmega \ni \zeta \rightarrow z_{0}}{\tilde{dist}}_{\varOmega }(z,\zeta )=\infty . \end{aligned}$$

(8)

Another important property that is shared with the Bergman metric is the fact that domains, which are complete with respect to ${\tilde{T}}_{i{\bar{j}}}$, are necessarily pseudoconvex (for the Bergman metric this follows by an old theorem by Bremermann [5], for ${\tilde{T}}_{i{\bar{j}}}$ the proof is virtually the same). For this reason we will restrict our attention to bounded pseudoconvex domains in $\mathbb{C }^{n}$ throughout the paper.

Clearly, if one of the metrics $T_{i{\bar{j}}}, {\tilde{T}}_{i{\bar{j}}}$ dominates some non-negative multiple of the other, then trivially its completeness follows from the completeness of the dominated metric. We have

Observation 1

For $\varOmega \subset \subset \mathbb{C }^{n}$

• a) if $T_{i{\bar{j}}}$ is complete and the Ricci curvature of the Bergman metric is bounded above by a constant $C_{1}$, with $C_{1}<n+1$, then ${\tilde{T}}_{i{\bar{j}}}$ is complete;

• b) if ${\tilde{T}}_{i{\bar{j}}}$ is complete and the Ricci curvature of the Bergman metric is bounded below by a constant $C_{2}$, then $T_{i{\bar{j}}}$ is complete.

In the special case of a strongly pseudoconvex domain $\varOmega$, Fefferman’s asymptotic expansion of the Bergman kernel (see [14]) allows one to compute that the Ricci tensor of the Bergman metric tends to minus identity at the boundary of $\varOmega$ (see also [24]). This, together with the fact that the Bergman metric is complete in strongly pseudoconvex domains, gives one immediately that ${\tilde{T}}_{i{\bar{j}}}$ is also complete.

Another instance, where the above observation can be used, is when $\varOmega$ is a homogeneous bounded domain. Then the Bergman metric is Kähler-Einstein and hence its Ricci curvature is constant. The completeness of ${\tilde{T}}_{i{\bar{j}}}$ immediately follows.

In general, however, we cannot expect that the conditions on the Ricci curvature of the Bergman metric from the above observation will hold. In fact very few is known about the behavior of the Ricci curvature of the Bergman metric in general bounded domains. In [12] and [29] explicit examples of domains for which both conditions are violated were found. Moreover, such a domain can be hyperconvex (recall that hyperconvex domain is a domain for which there exists a bounded plurisubharmonic (in dimension $1$ subharmonic) exhaustion function). This, together with the fact that bounded hyperconvex domains are complete with respect to the Bergman metric (see [2] and [17]), leads one to the following question: whether or not hyperconvex domains are complete with respect to ${\tilde{T}}_{i{\bar{j}}}$? A more general problem is to study in which classes of weakly pseudoconvex or even nonsmooth pseudoconvex domains is ${\tilde{T}}_{i{\bar{j}}}$ complete.

The examples from [12] and [29] enable one to look at the problems studied in this paper form yet another perspective. The completeness of ${\tilde{T}}_{i{\bar{j}}}$ is equivalent to the completeness of $T_{i{\bar{j}}}-\frac{1}{n+1}Ric_{i{\bar{j}}}$, which in certain cases may (presumably) be a gain in the study of the completeness of the Bergman metric.

Criterions for completeness and statement of the results

Denote by $L^\mathrm{2}_{h}(\varOmega ):=L^{2}(\varOmega )\cap \mathcal{O }(\varOmega )$ the space of square-integrable holomorphic functions. We will benefit from the methods developed to study the completeness of the Bergman metric. The main tool for the study of completeness of the Bergman metric is the following criterion due to Kobayashi [22], see also [23].

Theorem 1

(Kobayashi) Let $\varOmega \subset \subset \mathbb{C }^{n}$ be a bounded domain. If for every function $f\in L^{2}_{h}(\varOmega )$ and for every boundary point $z_{0}\in \partial \varOmega$ and for every sequence $\lbrace z_{s}\rbrace _{s=1}^{\infty }\subset \varOmega$ of points in $\varOmega$ with limit (in the Euclidean sense) $z_{0}$ there exists a subsequence $\lbrace z_{s_{k}}\rbrace _{k=1}^{\infty }$ such that

$$\begin{aligned} \lim _{k\rightarrow \infty }\frac{|f(z_{s_{k}})|^2}{K(z_{s_{k}},z_{s_{k}})}=0, \end{aligned}$$

(9)

then the Bergman metric of $\varOmega$ is complete.

This criterion has been modified by several authors (see e.g., [1]) and a version with weaker assumptions is

Theorem 2

(Błocki) Let $\varOmega \subset \subset \mathbb{C }^{n}$ be a bounded domain. If for every nonzero $f\in L^{2}_{h}(\varOmega )$ and for every boundary point $z_{0}\in \partial \varOmega$ and for every sequence $\lbrace z_{s}\rbrace _{s=1}^{\infty }\subset \varOmega$ of points in $\varOmega$ with limit (in the Euclidean sense) $z_{0}$ there exists a subsequence $\lbrace z_{s_{k}}\rbrace _{k=1}^{\infty }$ such that

$$\begin{aligned} \lim _{k\rightarrow \infty }\frac{|f(z_{s_{k}})|^2}{K(z_{s_{k}},z_{s_{k}})}<\Vert f\Vert _{L^{2}_{h}(\varOmega )}^{2}, \end{aligned}$$

then the Bergman metric of $\varOmega$ is complete.

We modify the methods of proof of Theorem 2 and obtain our

Theorem 3

Let $\varOmega \subset \subset \mathbb{C }^{n}$ be a bounded domain. If for every $n+1$- tuple of linearly independent $f_{0},f_{1},\dots ,f_{n}\in L^{2}_{h}(\varOmega )$ and for every boundary point $z_{0}\in \partial \varOmega$ and for every sequence $\lbrace z_{s}\rbrace _{s=1}^{\infty }\subset \varOmega$ of points in $\varOmega$ with limit (in the Euclidean sense) $z_{0}$ there exists a subsequence $\lbrace z_{s_{k}}\rbrace _{k=1}^{\infty }$ such that

$$\begin{aligned}&\left. \begin{array}{c} \lim _{k\rightarrow \infty } \frac{\left| \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2 }{\begin{array}{ccc}K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) \end{array}}\end{array}\right| _{z=z_{s_{k}}}\\&\quad \quad \,\,<\det \left( \begin{array}{ccc} \langle f_{0},f_{0}\rangle _{L^{2}_{h}(\varOmega )} &{}\cdots &{}\langle f_{n},f_{0}\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\ddots &{}\vdots \\ \langle f_{0},f_{n}\rangle _{L^{2}_{h}(\varOmega )}&{}\cdots &{}\langle f_{n},f_{n}\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) \nonumber , \end{aligned}$$

(10)

then ${\tilde{T}}_{i{\bar{j}}}$ is complete.

Note that the right hand side of the above expression is the Gramian of the vectors $f_{0},f_{1},\dots ,f_{n}$, which is positive, and hence a stronger assumption, which would also imply the completeness, is to require the limit in (10) to be $0$.

To obtain this, we modify a construction of Lu Qi-Keng (see [25]), which goes as follows. If $\varphi _{0},\varphi _{1},\dots$ is a orthonormal basis of $L^{2}_{h}(\varOmega )$, then one can embed holomorphically the domain $\varOmega$ into the infinite dimensional Grassmannian of $n$- dimensional subspaces of $\ell ^{2}$, denoted by $\mathbb{F }(n,\infty )$, by means of

$$\begin{aligned} \varOmega \ni z\!\rightarrow \!\left[ \left. \left( \begin{array}{cccc} \varphi _{0}\frac{\partial \varphi _{1}}{\partial z_{1}} -\varphi _{1}\frac{\partial \varphi _{0}}{\partial z_{1}} &{} \varphi _{0}\frac{\partial \varphi _{2}}{\partial z_{1}}-\varphi _{2}\frac{\partial \varphi _{0}}{\partial z_{1}}&{}\varphi _{1}\frac{\partial \varphi _{2}}{\partial z_{1}}-\varphi _{2}\frac{\partial \varphi _{1}}{\partial z_{1}} &{} \cdots \\ \vdots &{}\vdots &{}\vdots &{}^{\cdots }\\ \varphi _{0}\frac{\partial \varphi _{1}}{\partial z_{n}} -\varphi _{1}\frac{\partial \varphi _{0}}{\partial z_{n}} &{} \varphi _{0}\frac{\partial \varphi _{2}}{\partial z_{n}}-\varphi _{2}\frac{\partial \varphi _{0}}{\partial z_{n}}&{}\varphi _{1}\frac{\partial \varphi _{2}}{\partial z_{n}}-\varphi _{2}\frac{\partial \varphi _{1}}{\partial z_{n}} &{} \cdots \end{array}\right) \right| _{z} \right] \in \mathbb{F }(n,\infty ),\nonumber \\ \end{aligned}$$

(11)

where $[\cdot ]$ is the equivalence relation between $n$- dimensional subspaces of $\ell ^{2}$ defining the points in the Grassmannian. This Grassmannian can further be embedded into some projective space by means of the Plücker embedding and eventually the pullback of the Fubini-Study metric by the composition of these two embeddings is exactly ${\tilde{T}}_{i{\bar{j}}}$ (see [13]). This approach has some significant disadvantages. The embedding is not independent of the basis, but the main problem is that, because partial derivatives of $L^2$ functions need not be $L^2$, the Grassmannian consists of subspaces of $\ell ^2$ and not $L^{2}_{h}(\varOmega )$. Intuitively this is like a pointwise construction which due to the lack of uniformity is not enough to obtain our goals. Our new construction is also far simpler.

With the help of Theorem 3 we prove.

Theorem 4

Bounded hyperconvex domains are complete with respect to ${\tilde{T}}_{i{\bar{j}}}$.

In particular all pseudoconvex domains with Lipschitz boundaries, which are known to be hyperconvex (see [9]), are complete with respect to ${\tilde{T}}_{i{\bar{j}}}$.

Exterior products of Hilbert spaces

We begin with some basic facts about Hilbert spaces, which are not commonly seen in the theory of Bergman spaces. Let $V$ be a complex vector space. We define the (algebraic) tensor product vector space $V\otimes V$ as the quotient vector space $^U/_W$ of some vector spaces $U$ and $W$. Here $U$ is the vector space generated by all pairs $(\alpha ,\beta )\in V\times V$ as finite formal linear combinations with complex coefficients and $W$ is the space generated in the same way by all elements of the following types

$$\begin{aligned}&(\alpha +\beta ,\gamma )-(\alpha ,\gamma )-(\beta ,\gamma );\\&(\alpha ,\beta +\gamma )-(\alpha ,\beta )-(\alpha ,\gamma );\\&(a\alpha ,\beta )-a(\alpha ,\beta );\\&(\alpha ,a\beta )-a(\alpha ,\beta ), \end{aligned}$$

where $\alpha ,\beta ,\gamma \in V, a\in \mathbb{C }$. Clearly $W$ is a subspace of $U$. The tensor product $\alpha \otimes \beta$, which is a equivalence class, can be interpreted as the affine space $(\alpha ,\beta )+W$. Now the wedge (or exterior) product $V\wedge V$ is defined as the quotient vector space $^{V\otimes V}/_S$, where $S\subset V\otimes V$ is the vector space generated by all elements of the type $\alpha \otimes \alpha$, where $\alpha \in V$. Again $\alpha \wedge \beta$ is a equivalence class, which can be interpreted as the affine space $\alpha \otimes \beta +S\subset V\otimes V$.

Let $H$ be a separable Hilbert space, carrying the inner product $\langle \cdot ,\cdot \rangle _{H}$. Now $H\wedge H$ makes sense at least as a vector space. This vector space $H\wedge H$ consists of all finite sums of the type $\sum _{i=1}^{m}a_{i}\alpha _{i}\wedge \beta _{i}$, where $a_{i}\in \mathbb{C }, \alpha _{i},\beta _{i}\in H,m\in \mathbb{N }$. We endow this space with an inner product defined as follows. For elements of the type $\alpha \wedge \beta$ and $\gamma \wedge \delta$, where $\alpha ,\beta ,\gamma ,\delta \in H$

$$\begin{aligned} \langle \alpha \wedge \beta ,\gamma \wedge \delta \rangle _{H\wedge H}:=\det \left( \begin{array}{c@{\quad }c} \langle \alpha ,\gamma \rangle _{H}&{}\langle \alpha ,\delta \rangle _{H}\\ \langle \beta ,\gamma \rangle _{H}&{}\langle \beta ,\delta \rangle _{H} \end{array}\right) . \end{aligned}$$

(12)

After defining the inner product on such vectors we extend it on the whole vector space $H\wedge H$ by linearity. Now we perform the completion of $H\wedge H$ with respect to $\langle \cdot ,\cdot \rangle _{H\wedge H}$, that is we allow not only finite but also countable combinations $\sum _{i=1}^{\infty }a_{i}\alpha _{i}\wedge \beta _{i}$, obeying the natural restriction that $\sum _{i=1}^{\infty }|a_{i}|^2<\infty$. By abusing notation, we agree to call this completion also $H\wedge H$. The inner product also extends to the completed vector space and again by abusing notation we call the extension $\langle \cdot ,\cdot \rangle _{H\wedge H}$. Now it is easy to see that $(H\wedge H, \langle \cdot ,\cdot \rangle _{H\wedge H})$ is a Hilbert space. It is also easy to see that this Hilbert space is separable.

Likewise if we take $n+1$ copies of a Hilbert space $F$, we can define the Hilbert space $(F\wedge \cdots \wedge F, \langle \cdot ,\cdot \rangle _{F\wedge \cdots \wedge F})$, which is the completion of the vector space $F\wedge \cdots \wedge F$ with respect to the inner product, which is the linear extension of

$$\begin{aligned} \langle \alpha _{0}\wedge \cdots \wedge \alpha _{n},\beta _{0}\wedge \cdots \wedge \beta _{n}\rangle _{F\wedge \cdots \wedge F}:=\det \left( \begin{array}{ccc} \langle \alpha _{0},\beta _{0}\rangle _{F}&{}\cdots &{}\langle \alpha _{0},\beta _{n}\rangle _{F}\\ \vdots &{}\ddots &{}\vdots \\ \langle \alpha _{n},\beta _{0}\rangle _{F}&{}\cdots &{}\langle \alpha _{n},\beta _{n}\rangle _{F} \end{array}\right) . \end{aligned}$$

(13)

It is a matter of algebraic manipulations to see that the continuous dual space of $F\wedge \cdots \wedge F$ satisfies

$$\begin{aligned} \left( F\wedge \cdots \wedge F\right) ^{\prime }\cong F^{\prime }\wedge \cdots \wedge F^{\prime }. \end{aligned}$$

(14)

A proof of this fact can be found in [4].

A element $\alpha \in F\wedge \cdots \wedge F$ which can be represented as $\alpha =\alpha _{0}\wedge \alpha _{1}\wedge \cdots \wedge \alpha _{n}$, for some $\alpha _{i}\in F, i=0,\dots ,n$ will be called decomposable (the terms pure, monomial, simple and completely reducible are also frequent in the literature). Clearly not all elements of $F\wedge \cdots \wedge F$ are decomposable. There is a criterion for determining whether a nonzero vector is decomposable or not, known as Plücker (or Plücker-Grassmann) conditions. To introduce it we need more notation. Let $J$ be a $s$- tuple of natural numbers $j_{1}\!<\!{\cdots }\!<\! j_{s}$. We denote by $e_{J}$ the vector $e_{j_{1}}\wedge \dots \wedge e_{j_{s}}$, where $e_{j}$ is a fixed orthonormal basis of a separable Hilbert space $E$. Clearly $e_{J}\in E\wedge \dots \wedge E$, where the exterior product is taken $s$ times, and moreover the vectors $e_{J}$, for all possible $s$-tuples $J$ of pairwise distinct natural numbers, form a orthonormal basis of $E\wedge \dots \wedge E$. We can therefore expand a vector $\alpha \in E\wedge \dots \wedge E$ as $\alpha =\sum _{J}a_{J}e_{J}$, where $a_{J}=\langle \alpha ,e_{J}\rangle _{E\wedge \dots \wedge E}\in \mathbb{C }$. Now a nonzero vector $\alpha$ is decomposable if and only if for all $I\subset \mathbb{N }^{s-1}$ and for all $L\subset \mathbb{N }^{s+1}$, both $I$ and $L$ without recurring elements, such that $I\cap L=\emptyset$, the following equality holds

$$\begin{aligned} \sum _{i\in L}\rho _{I,L,i}a_{I\cup \{i\}}a_{L\setminus \{i\}}=0, \end{aligned}$$

(15)

where $\rho _{I,L,i}=1$ if $\sharp \{ j\in L: j< i\}\equiv \sharp \{ j\in I: j< i\} \quad (\text{ mod } 2)$ and $\rho _{ I,L,i}=-1$ otherwise. Also in the index notation $a_{I\cup \{i\}}$ (respectively $a_{L{\setminus } \{i\}}$) it should be clarified that the elements of the sets $I\cup \{i\}$ (respectively $L{\setminus } \{i\}$) are ordered in a increasing fashion. For a proof see [16], Chapter 22. Actually in [16] only the finite-dimensional case is considered, however, one should take the continuous dual space instead of the algebraic dual space and the argument goes mutatis-mutandis.

Lemma 1

If a sequence $\lbrace \alpha _{i}\rbrace _{i=1}^{\infty }$ of unit vectors in $F\wedge \cdots \wedge F$ has a limit $\alpha \in F\wedge \cdots \wedge F$ in the norm topology and moreover each $\alpha _{i}$ is of the form $b_{i}\alpha _{i0}\wedge _{ }\alpha _{i1}\wedge \cdots \wedge \alpha _{in}$, where $b_{i}\in \mathbb{C },\alpha _{ij} \in F, j=0,\dots ,n, i=1,\dots$, then also $\alpha$ is a unit vector of the form $b\alpha _{0}\wedge _{ }\alpha _{1}\wedge _{}\cdots \wedge \alpha _{n}$, for some $b\in \mathbb{C },\alpha _{j} \in F,j=0,\dots ,n$ (that is the limit is a decomposable vector).

First observe that it is not true in general that if a sequence $f_{s}\wedge g_{s}, f_{s},g_{s}\in E$, for some Hilbert space $E$, has a limit in $E\wedge E$ then necessarily $f_{s}$ and $g_{s}$ both have limits in $E$ and the simplest counterexample is just $f_{s}=sf, g_{s}=\frac{1}{s}g$ , for some fixed $f,g\in E$.

Proof

We expand the elements of the sequence, as well as the limit, into

$$\begin{aligned} \alpha _{i}=\sum _{J}a_{J}^{i}e_{J}, \alpha = \sum _{J}a_{J}e_{J}. \end{aligned}$$

Since $\Vert \alpha _{i}-\alpha \Vert _{F\wedge \cdots \wedge F}\rightarrow 0$, it follows that $|a_{J}^{i}-a_{J}|\rightarrow 0$. By the assumption and the Plücker relations (15) we have

$$\begin{aligned} \sum _{s\in L}\rho _{I,L,s}a_{I\cup \{s\}}^{i}a_{L\setminus \{s\}}^{i}=0, \end{aligned}$$

for all subsets $I\subset \mathbb{N }^{n},L\subset \mathbb{N }^{n+2}$, without repetitions, such that $I\cap L=\emptyset$. Now it is obvious that also

$$\begin{aligned} \sum _{s\in L}\rho _{I,L,s}a_{I\cup \{s\}}a_{L\setminus \{s\}}=0. \end{aligned}$$

For more on these items one should consult [4], Chapter 5, §3,4, where tensor and exterior products of Hilbert spaces are explicitly considered, [3], Chapter 3, for more results but in a more abstract algebraic setting and also [16], Chapter 22, where the concepts of decomposable vectors and tests for decomposability are very clearly presented, however, only in finite dimensions.

The construction

In our case $F$ will be $L^{2}_{h}(\varOmega )^{\prime }$ - the Hilbert space which is the continuous dual space of $L^{2}_{h}(\varOmega )$ and so $F\wedge \cdots \wedge F=L^{2}_{h}(\varOmega )^{\prime }\wedge \cdots \wedge L^{2}_{h}(\varOmega )^{\prime }$ can be identified with the Hilbert space of multilinear antisymmetric continuous mappings (forms) from $L^{2}_{h}(\varOmega )\times \cdots \times L^{2}_{h}(\varOmega )$ to $\mathbb{C }$. Actually the forms are defined on $L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )$ rather than on $L^{2}_{h}(\varOmega )\times \cdots \times L^{2}_{h}(\varOmega )$ but the definition can be extended in a obvious and canonical way. A element $\alpha$ of the Hilbert space $F\wedge \cdots \wedge F$ can be written down as a linear combination of the form

$$\begin{aligned} \alpha =\sum _{i=1}^{\infty } a_{i}\alpha _{i0}\wedge \alpha _{i1}\wedge \cdots \wedge \alpha _{in}, \end{aligned}$$

where $\{a_{i}\}_{i=1}^{\infty }\in \ell ^{2}, \alpha _{ij}\in L^{2}_{h}(\varOmega )^{\prime }, j=0,\dots ,n, i=1,\dots$. The aforementioned identification with a multilinear antisymmetric form is realized by first identifying elements of the type $\alpha _{i0}\wedge \alpha _{i1}\wedge \cdots \wedge \alpha _{in}$ by

$$\begin{aligned} \alpha _{i0}\wedge \alpha _{i1}\wedge \cdots \wedge \alpha _{in}&\cong L^{2}_{h}(\varOmega )\times \cdots \times L^{2}_{h}(\varOmega )\ni (f_{0},\dots ,f_{n})\nonumber \\&\rightarrow \det \left( \begin{array}{ccc} \alpha _{i0}(f_{0})&{}\cdots &{}\alpha _{i0}(f_{n})\\ \vdots &{}\ddots &{}\vdots \\ \alpha _{in}(f_{0})&{}\cdots &{}\alpha _{in}(f_{n}) \end{array}\right) \nonumber \\&= \alpha _{i0}\wedge \alpha _{i1}\wedge \cdots \wedge \alpha _{in}(f_{0},\dots ,f_{n})\in \mathbb{C } \end{aligned}$$

(16)

and extending it linearly on the whole $L^{2}_{h}(\varOmega )^{\prime }\wedge \cdots \wedge L^{2}_{h}(\varOmega )^{\prime }$ afterwards. This is consistent with the introduced inner product and hence the correspondence is clearly a isomorphism of Hilbert spaces.

By the Cauchy estimates the following linear mappings are continuous

$$\begin{aligned} i(z): L^{2}_{h}(\varOmega )&\ni&f\rightarrow f(z)\in \mathbb{C },\end{aligned}$$

(17)

$$\begin{aligned} j_{1}(z): L^{2}_{h}(\varOmega )&\ni&f\rightarrow \frac{\partial f}{\partial z_{1}}(z)\in \mathbb{C },\end{aligned}$$

(18)

$$\begin{aligned}&\dots&\nonumber \\ j_{n}(z): L^{2}_{h}(\varOmega )&\ni&f\rightarrow \frac{\partial f}{\partial z_{n}}(z)\in \mathbb{C }. \end{aligned}$$

(19)

By the Riesz theorem for every $l\in L^{2}_{h}(\varOmega )^{\prime }$ there is a unique $l^{\prime }\in L^{2}_{h}(\varOmega )$ such that $l(\cdot )=\langle \cdot , l^{\prime } \rangle _{L^{2}_{h}(\varOmega )}$. Moreover, $\langle k, l \rangle _{L^{2}_{h}(\varOmega )^{\prime }}={\overline{\langle k^{\prime }, l^{\prime } \rangle }}_{L^{2}_{h}(\varOmega )}=\langle l^{\prime },k^{\prime } \rangle _{L^{2}_{h}(\varOmega )}$. In our case one can easily check by using the reproducing property of the Bergman kernel that

$$\begin{aligned} i(z)^{\prime }&= K(\cdot ,z)\in L^{2}_{h}(\varOmega ),\end{aligned}$$

(20)

$$\begin{aligned} j_{s}(z)^{\prime }&= \left. \frac{\partial K(\cdot ,\zeta )}{\partial {\bar{\zeta }}_{s}}\right| _{\zeta =z}\in L^{2}_{h}(\varOmega ), s=1,\dots ,n. \end{aligned}$$

(21)

Let $\mathbb{P }(F\wedge \cdots \wedge F)$ be the projectivization of the Hilbert space $F\wedge \cdots \wedge F$, that is the quotient space $^{F\wedge \cdots \wedge F}/_{\sim }$ with respect to the following (projective) equivalence relation. For $u,v\in F\wedge \cdots \wedge F {\setminus }\{0\}$ we have $u\sim v$ if and only if $u=cv$, for some $c\in \mathbb{C }{\setminus }\{0\}$. For more on projectivizations of infinite dimensional Hilbert spaces see [22]. We embed $\varOmega$ into the projective space $\mathbb{P }(F\wedge \cdots \wedge F)$ by the mapping

$$\begin{aligned} \varOmega \ni z\rightarrow [i(z)\wedge j_{1}(z)\wedge j_{2}(z)\wedge \cdots \wedge j_{n}(z)]\in \mathbb{P }(F\wedge \cdots \wedge F), \end{aligned}$$

(22)

where $[\cdot ]$ is the equivalence class with respect to $\sim$. This is a holomorphic embedding.

Lemma 2

The value of $i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)$, interpreted as an antisymmetric multilinear form on $L^{2}_{h}(\varOmega )\times \cdots \times L^{2}_{h}(\varOmega )$, at the point $(f_{0},f_{1},\dots ,f_{n})\in L^{2}_{h}(\varOmega ) \times \dots \times L^{2}_{h}(\varOmega )$ is

$$\begin{aligned} \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) . \end{aligned}$$

The proof is a immediate consequence of (16), (17), (18) and (19).

Lemma 3

The square of the norm of $i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)$ in $F\wedge \cdots \wedge F$ equals

$$\begin{aligned} \left\| i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)\right\| _{F\wedge \cdots \wedge F}^{2}=\left. K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) \right| _{z}. \end{aligned}$$

Proof

By (13), the Riesz theorem, (20), (21) and the reproducing property of the Bergman kernel we have

$$\begin{aligned}&\left\| i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)\right\| _{F\wedge \cdots \wedge F}^{2}\\&\quad =\left\langle i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z), i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)\right\rangle _{F\wedge \cdots \wedge F}\\&\quad =\det \left( \begin{array}{cccc} \left\langle i(z), i(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }} &{} \left\langle i(z), j_{1}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }}&{}\dots &{}\left\langle i(z), j_{n}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }}\\ \left\langle j_{1}(z), i(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }} &{} \left\langle j_{1}(z), j_{1}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }}&{}\dots &{}\left\langle j_{1}(z), j_{n}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }}\\ \vdots &{}\vdots &{}\ddots &{} \vdots \\ \left\langle j_{n}(z), i(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }} &{}\left\langle j_{n}(z), j_{1}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }}&{}\dots &{}\left\langle j_{n}(z), j_{n}(z)\right\rangle _{L^{2}_{h}(\varOmega )^{\prime }} \end{array}\right) \\&\quad =\left. \det \left( \begin{array}{cccc} \left\langle K, K\right\rangle _{L^{2}_{h}(\varOmega )} &{} \left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{1}},K\right\rangle _{L^{2}_{h}(\varOmega )}&{}\dots &{}\left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{n}},K\right\rangle _{L^{2}_{h}(\varOmega )}\\ \left\langle K,\frac{\partial K}{\partial {\bar{\zeta }}_{1}}\right\rangle _{L^{2}_{h}(\varOmega )} &{} \left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{1}}, \frac{\partial K}{\partial {\bar{\zeta }}_{1}}\right\rangle _{L^{2}_{h}(\varOmega )}&{}\dots &{}\left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{n}},\frac{\partial K}{\partial {\bar{\zeta }}_{1}}\right\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\vdots &{}\ddots &{} \vdots \\ \left\langle K, \frac{\partial K}{\partial {\bar{\zeta }}_{n}}\right\rangle _{L^{2}_{h}(\varOmega )} &{}\left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{1}},\frac{\partial K}{\partial {\bar{\zeta }}_{n}}\right\rangle _{L^{2}_{h}(\varOmega )}&{}\dots &{}\left\langle \frac{\partial K}{\partial {\bar{\zeta }}_{n}}, \frac{\partial K}{\partial {\bar{\zeta }}_{n}}\right\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) \right| _{z}\\&=\left. \det \left( \begin{array}{cccc} K &{} \frac{\partial K}{\partial {\bar{\zeta }}_{1}}&{}\dots &{} \frac{\partial K}{\partial {\bar{\zeta }}_{n}}\\ \frac{\partial K}{\partial \zeta _{1}} &{} \frac{\partial ^2 K}{\partial \zeta _{1}\partial {\bar{\zeta }}_{1}}, &{}\dots &{}\frac{\partial ^2 K}{\partial \zeta _{1}\partial {\bar{\zeta }}_{n}}\\ \vdots &{}\vdots &{}\ddots &{} \vdots \\ \frac{\partial K}{\partial \zeta _{n}} &{} \frac{\partial ^2 K}{\partial \zeta _{n}\partial {\bar{\zeta }}_{1}}, &{}\dots &{} \frac{\partial ^2 K}{\partial \zeta _{n}\partial {\bar{\zeta }}_{n}} \end{array}\right) \right| _{z}. \end{aligned}$$

By a well known formula (see e.g., [24]) the last expression equals

$$\begin{aligned} \left. K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) \right| _{z}. \end{aligned}$$

Theorem 5

The embedding (22) is isometric, that is, the pullback of the Fubini-Study metric on $\mathbb{P }(F\wedge \cdots \wedge F)$ is exactly the metric ${\tilde{T}}_{i{\bar{j}}}$.

Proof

First recall that the Fubini-Study metric on a projectivization $\mathbb{P }(E)$ of a Hilbert space $E$ at the point $[\zeta ]\in \mathbb{P }(E)$ has the following metric tensor

$$\begin{aligned} \mathcal{F } \mathcal{S }_{p{\bar{q}}}:=\frac{\partial ^{2}}{\partial \zeta _{p}\partial {\bar{\zeta }}_{q}}\log \Vert \zeta \Vert _{E}^{2}. \end{aligned}$$

Note that the definition does not depend ot the choice of the (nonzero) representative $\zeta \in [\zeta ]$. Let the image of the point $z\in \varOmega$ be $[i(z)\wedge j_{1}(z)\wedge j_{2}(z)\wedge \cdots \wedge j_{n}(z)]=[\zeta ]$. By Lemma (3) the pullback of the Fubini-Study metric is the metric with metric tensor

$$\begin{aligned}&[i(\cdot )\wedge j_{1}(\cdot )\wedge j_{2}(\cdot )\wedge \cdots \wedge j_{n}(\cdot )]^{*}(\mathcal{F }\mathcal{S }_{p{\bar{q}}})\\&\quad =\frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}}\log \left( \left. K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{r}\partial {\bar{z}}_{s}} \log K\right) \right| _{z}\right) \\&\quad =(n+1)T_{i{\bar{j}}}(z)+\frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}}\log \Big (\det T_{r\bar{s}}(z)_{r,s=1,\dots ,n}\Big )={\tilde{T}}_{i{\bar{j}}} \end{aligned}$$

For more on the Fubini-Study metric on projectivizations of Hilbert spaces and related items see [22].

Theorem 6

The following equality holds

$$\begin{aligned}&\left. K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) \right| _{z}\\&\quad =\sup _{\begin{array}{c} (f_{0},\dots ,f_{n})\in L^{2}_{h}(\varOmega )\times \dots \times L^{2}_{h}(\varOmega ):\\ f_{0}\wedge \dots \wedge f_{n}\ne 0 \end{array}} \frac{\left| \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2}{\det \left( \begin{array}{ccc} \langle f_{0},f_{0}\rangle _{L^{2}_{h}(\varOmega )} &{}\cdots &{}\langle f_{0},f_{n}\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\ddots &{}\vdots \\ \langle f_{n},f_{0}\rangle _{L^{2}_{h}(\varOmega )}&{}\cdots &{}\langle f_{n},f_{n}\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) }. \end{aligned}$$

Proof

We have the isometry

$$\begin{aligned} \left( L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )\right) ^{^{\prime }}\cong L^{2}_{h}(\varOmega )^{\prime }\wedge \cdots \wedge L^{2}_{h}(\varOmega )^{\prime }. \end{aligned}$$

As usual the norm of a linear functional is

$$\begin{aligned} \Vert \alpha \Vert _{\left( L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )\right) ^{^{\prime }}}=\sup _{}\frac{|\alpha (f)|}{\Vert f\Vert _{L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )}}, \end{aligned}$$

where the supremum is taken over all nonzero $f\in L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )$. By the Riesz theorem the supremum is attained at the vector $f=\alpha ^{\prime }$. When $\alpha$ is decomposable, we use the fact that $\alpha ^{\prime }$ is also decomposable. In fact if $\alpha =\alpha _{0}\wedge \dots \wedge \alpha _{n}$ then $\alpha ^{\prime }=\alpha _{0}^{\prime }\wedge \dots \wedge \alpha _{n}^{\prime }$. By Lemma 3, the decomposability of $i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)$ and Lemma 2 we have

$$\begin{aligned}&\left. K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) \right| _{z}=\left\| i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)\right\| _{L^{2}_{h}(\varOmega )^{\prime }\wedge \cdots \wedge L^{2}_{h}(\varOmega )^{\prime }}^{2}\\&\quad =\left\| i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)\right\| _{\left( L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )\right) ^{\prime }}^{2}\\&\quad =\sup _{0\ne f_{0}\wedge \dots \wedge f_{n}\in L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )}\frac{\left| i(z)\wedge j_{1}(z)\wedge \cdots \wedge j_{n}(z)(f_{0},\dots ,f_{n})\right| ^{2}}{\Vert f_{0}\wedge \dots \wedge f_{n}\Vert _{L^{2}_{h}(\varOmega )\wedge \cdots \wedge L^{2}_{h}(\varOmega )}^{2}}\\&\quad =\sup _{\begin{array}{c} (f_{0},\dots ,f_{n})\in L^{2}_{h}(\varOmega )\times \dots \times L^{2}_{h}(\varOmega ):\\ f_{0}\wedge \dots \wedge f_{n}\ne 0 \end{array}}\frac{\left| \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2}{\det \left( \begin{array}{ccc} \langle f_{0},f_{0}\rangle _{L^{2}_{h}(\varOmega )} &{}\cdots &{}\langle f_{0},f_{n}\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\ddots &{}\vdots \\ \langle f_{n},f_{0}\rangle _{L^{2}_{h}(\varOmega )}&{}\cdots &{}\langle f_{n},f_{n}\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) }. \end{aligned}$$

Proofs of the Theorems and open problems

Proof of Theorem 3

We proceed as in [22]. Suppose that the metric ${\tilde{T}}_{i{\bar{j}}}$ is not complete in $\varOmega$. We choose a Cauchy (with respect to ${\tilde{T}}_{i{\bar{j}}}$) sequence $\lbrace z_{s}\rbrace _{s=1}^{\infty }\subset \varOmega$ which has no convergent (again with respect to ${\tilde{T}}_{i{\bar{j}}}$) subsequence. Now we use Theorem 5 and embed holomorphically and isometrically $\varOmega$ with the metric ${\tilde{T}}_{i{\bar{j}}}$ into $\mathbb{P }(F\wedge \cdots \wedge F)$ with the Fubini-Study metric by the mapping (22). The image sequence $[i(z_{s})\wedge j_{1}(z_{s})\wedge \cdots \wedge j_{n}(z_{s})]$ is also a Cauchy sequence with respect to the Fubini-Study metric, because isometries do not increase distance. The space $\mathbb{P }(F\wedge \cdots \wedge F)$ is, however, complete and hence the image sequence has a convergent subsequence (with respect to the Fubini-Study metric) $[i(z_{s_{k}})\wedge j_{1}(z_{s_{k}})\wedge \cdots \wedge j_{n}(z_{s_{k}})]$ with limit $f\in \mathbb{P }(F\wedge \cdots \wedge F)$. This means that also the unit vectors

$$\begin{aligned} e^{i\theta _{k}}\frac{i(z_{s_{k}})\wedge j_{1}(z_{s_{k}})\wedge \cdots \wedge j_{n}(z_{s_{k}})}{\Vert i(z_{s_{k}})\wedge j_{1}(z_{s_{k}})\wedge \cdots \wedge j_{n}(z_{s_{k}})\Vert }\in F\wedge \cdots \wedge F, \end{aligned}$$

which represent the above classes, converge for a proper choice of $\theta _k\in [0,2\pi )$ in $F\wedge \cdots \wedge F$ to some $\alpha$, which represents the class $f$. Now $\alpha$ is a unit vector and moreover, by Lemma 1, $\alpha =\alpha _{0}\wedge \dots \wedge \alpha _{n}$, for some $\alpha _{0},\dots ,\alpha _{n}\in L^{2}_{h}(\varOmega )^{\prime }$. The vector $\alpha$ is nonzero and hence the vectors $\alpha _{j},j=0,\dots ,n$, are linearly independent in $L^{2}_{h}(\varOmega )^{\prime }$. For each $\alpha _j$ take its Hilbert dual $f_{j}\in L^{2}_{h}(\varOmega )$. Clearly also the vectors $f_{j},j=0,\dots ,n$, are linearly independent. Now by Lemmas 2, 3 and the formula (16)

$$\begin{aligned}&\left. \begin{array}{c} \frac{\left| \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2 }{K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) }\end{array}\right| _{z=z_{s_{k}}}=\frac{\left| i(z_{s_{k}})\wedge j_{1}(z_{s_{k}})\wedge \cdots \wedge j_{n}(z_{s_{k}})(f_{0},\dots ,f_{n})\right| ^2}{\Vert i(z_{s_{k}})\wedge j_{1}(z_{s_{k}})\wedge \cdots \wedge j_{n}(z_{s_{k}})\Vert ^2} \\&\quad \rightarrow |\alpha _{0}\wedge \dots \wedge \alpha _{n} (f_{0},\dots ,f_{n})|^2=\det \left( \begin{array}{ccc} \langle f_{0},f_{0}\rangle _{L^{2}_{h}(\varOmega )} &{}\cdots &{}\langle f_{n},f_{0}\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\ddots &{}\vdots \\ \langle f_{0},f_{n}\rangle _{L^{2}_{h}(\varOmega )}&{}\cdots &{}\langle f_{n},f_{n}\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) . \end{aligned}$$

This contradicts the assumptions of Theorem 3.

Recall that the pluricomplex Green function of the bounded domain $\varOmega \subset \mathbb{C }^{n}$ with logarithmic singularity at $z\in \varOmega$ is the function

$$\begin{aligned} G_{\varOmega }(\cdot , z):=\sup _{\varphi \in PSH(\varOmega )}\left\{ \varphi (\cdot ): \varphi <0, \limsup _{\zeta \rightarrow z}(\varphi (\zeta )-\log |\zeta -z|)<\infty \right\} , \end{aligned}$$

where $PSH(\varOmega )$ is the space of plurisubharmonic functions on $\varOmega$. The function $G_{\varOmega }(\cdot , z)$ is plurisubharmonic and negative in $\varOmega$. We will need a lemma.

Lemma 4

For every bounded pseudoconvex domain $\varOmega$ there exists a constant $C>0$, such that for every $f\in L^{2}_{h}(\varOmega )$ and a given $z\in \varOmega$, one can find ${\tilde{f}}\in L^{2}_{h}(\varOmega )$, such that $f(z)={\tilde{f}}(z)$ and $\frac{\partial f}{\partial z_j}(z)= \frac{\partial {\tilde{f}}}{\partial z_j}(z)$ and moreover

$$\begin{aligned} \int _{\varOmega }|{\tilde{f}}|^2 d\lambda \le C\int _{\{G_{\varOmega }(\cdot ,z)<-1\}}|f|^2d \lambda , \end{aligned}$$

where $d\lambda$ is the Lebesgue measure.

This is a simpler version of Lemma $4.2$ in [10]. The proof uses Hörmander’s estimates for the $\bar{\partial }$-equation and can be found in [10]. The constant $C$ can be chosen to be $1+e^{4n+7+(max_{\varOmega }|z|)^2}$.

Proof of Theorem 4

At the point $z_{s_{k}}$ we construct the corresponding functions ${\tilde{f}}_{j}$ for each of the functions $f_{j},j=0,\dots , n$ from Lemma 4. Then by Theorem 6, Hadamard’s inequality and Lemma 4 we have

$$\begin{aligned}&\left. \begin{array}{c} \frac{\left| \det \left( \begin{array}{ccc} f_{0}(z)&{}\dots &{}f_{n}(z)\\ \frac{ \partial f_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial f_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial f_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial f_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2 }{K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) }\end{array}\right| _{z=z_{s_{k}}}=\left. \begin{array}{c} \frac{\left| \det \left( \begin{array}{ccc} {\tilde{f}}_{0}(z)&{}\dots &{} {\tilde{f}}_{n}(z)\\ \frac{ \partial {\tilde{f}}_{0}}{\partial z_{1}}(z)&{}\dots &{} \frac{ \partial {\tilde{f}}_{n}}{\partial z_{1}}(z)\\ \vdots &{}\ddots &{}\vdots \\ \frac{ \partial {\tilde{f}}_{0}}{\partial z_{n}}(z)&{}\dots &{}\frac{ \partial {\tilde{f}}_{n}}{\partial z_{n}}(z)\\ \end{array}\right) \right| ^2 }{K^{n+1}\det \left( \frac{\partial ^{2}}{\partial z_{i}\partial {\bar{z}}_{j}} \log K\right) }\end{array}\right| _{z=z_{s_{k}}}\\&\quad \quad \,\le \det \left( \begin{array}{ccc} \langle {\tilde{f}}_{0},{\tilde{f}}_{0}\rangle _{L^{2}_{h}(\varOmega )} &{}\cdots &{}\langle {\tilde{f}}_{0},{\tilde{f}}_{n}\rangle _{L^{2}_{h}(\varOmega )}\\ \vdots &{}\ddots &{}\vdots \\ \langle {\tilde{f}}_{n},{\tilde{f}}_{0}\rangle _{L^{2}_{h}(\varOmega )}&{}\cdots &{}\langle {\tilde{f}}_{n},{\tilde{f}}_{n}\rangle _{L^{2}_{h}(\varOmega )} \end{array}\right) \le \Vert {\tilde{f}}_{0}\Vert _{L^{2}_{h}(\varOmega )}^{2}\dots \Vert {\tilde{f}}_{0}\Vert _{L^{2}_{h}(\varOmega )}^{2}\\&\quad \le C^{n+1} \int _{\{G_{\varOmega }(\cdot ,z_{s_{k}})<-1\}}|f_{0}|^2 d\lambda \dots \int _{\{G_{\varOmega }(\cdot ,z_{s_{k}})<-1\}}|f_{n}|^2d \lambda \rightarrow 0, \end{aligned}$$

because each $f_{j}\in L^{2}_{h}(\varOmega )$ and the volume of $\{G_{\varOmega }(\cdot ,z)<-1\}$ goes to $0$ as $k\rightarrow \infty$ in bounded hyperconvex domains, see [2] or [17].

We do not know whether or not there exist domains for which one of the metrics $T_{i{\bar{j}}}, {\tilde{T}}_{i{\bar{j}}}$ is complete and the other is not.

Despite the suggestion in [22] that domains in which the Bergman metric is complete should satisfy the conditions in Theorem 1, Zwonek in [28] constructed a domain for which the Bergman metric is complete and the limit in (9) is not zero. This means that the Kobayashi criterion (Theorem 1) is not a if and only if statement. As noted in [1] it is not known whether or not the modified version Theorem 2 is a if and only if statement. Likewise we do not know whether or not the criterion in Theorem 3 is a if and only if statement. We do not know this even if the limit in (10) is assumed to be 0.