Bergman bundles and applications to the geometry of compact complex manifolds (Q2074853)

The classical Kodaira embedding theorem characterizes compact complex projective manifolds by the existence of a positively curved holomorphic line bundle. General compact Kähler manifolds fail to be projective and, equivalently, to carry a positive holomorphic line bundle. Examples of this type are general complex tori. In this paper, the author proves the surprising result that every compact complex manifold carries certain Hilbert bundles of infinite dimension with a natural Hilbert metric \(h\) such that the curvature tensor is Nakano positive. Precisely, the main result of the paper is the following Theorem. Every compact complex manifold \(X\) carries a locally trivial real analytic Hilbert bundle \(B_\varepsilon \longrightarrow X\) of infinite dimension, defined for \(0 < \varepsilon \leq \varepsilon_o\), equipped with an integrable \((0, 1)\)-connection \(\overline\partial = \nabla^{0,1}\) (in a generalized sense), that is a closed densely defined operator in the space of \(L^2\) sections, in such a way that the sheaf \(\mathcal{B}_\varepsilon = \mathcal{O}_{L^2}(B_\varepsilon)\) of \(\overline\partial\)-closed locally \(L^2\) sections is ``very ample'' in the following sense: (a) \(H^q(X, \mathcal{B}_\varepsilon\otimes_{\mathcal{O}} \mathcal{F})=0\) for every (finite rank) coherent sheaf \(\mathcal{F}\) on \(X\) and every \(q \geq 1\). (b) Global sections of the Hilbert space \(\mathbb H = H^0(X, \mathcal{B}_\varepsilon)\) provide an embedding of \(X\) into a certain Grassmannian of closed subspaces of infinite codimension in \(\mathbb H\). (c) The bundle \(B_\varepsilon\) carries a natural Hilbert metric \(h\) such that the curvature tensor \(i\Theta_{B_\varepsilon,h}\) is Nakano positive (and even Nakano positive unbounded!)\\ The construction of \(B_\varepsilon\) is made by embedding \(X\) diagonally in \(X \times \overline X\) and taking a Stein tubular neighborhood \(U_\varepsilon\) of the diagonal, according to a well known technique of Grauert. When \(U_\varepsilon\) is chosen to be a geodesic neighborhood with respect to some real analytic hermitian metric, one can arrange that the first projection \(p : U_\varepsilon \longrightarrow X\) is a real analytic bundle whose fibers are biholomorphic to hermitian balls. One then takes \(B_\varepsilon\) to be a ``Bergman bundle'', consisting of holomorphic \(n\)-forms \(f(z,w) dw_1 \wedge\ldots\wedge dw_n\) that are \(L^2\) on the fibers \(p^{-1}(z) \simeq B(0, \varepsilon)\). The fact that \(U_\varepsilon\) is Stein and real analytically locally trivial over \(X\) then implies the main theorem, using the corresponding Bergman type Dolbeault complex. In the last section of the paper, the author discusses how the main theorem could be useful to Siu's conjecture on the Kähler invariance of plurigenera.