An isometric imbedding theorem for holomorphic bundles (Q1574687): Difference between revisions

Let \(G_{p,N}\) denote the Grassmann manifold of \(p\)-dimensional planes in \( \mathbb{C}^N,\pi :U_{p,N}\rightarrow G_{p,N}\) denote the universal bundle over \(G_{p,N}\), and \(g_0\) denote the Euclidean metric on it. The authors give the precise meaning for an Hermitian metric \(R\) on a holomorphic vector bundle \(E\) over a complex manifold \(M\) to be globalizable. One of the conditions is that \(R\) extends to be a complex-valued function on \(E\times E;\) this enables us to evaluate \(R(u,v)\) even when \(u\) and \(v\) have different base points, and also assume that the extended function is holomorphic in its first variable and Hermitian symmetric. Given holomorphic bundles over \(M\) with globalizable Hermitian metrics \(G_1\) and \(G_2,\) the tensor product bundle has a natural globalizable Hermitian metric written \(G_1G_2.\) Theorem 1 . Suppose that \(M\) is a compact complex manifold. Let \(E\) be a vector bundle of rank \(p\) over \(M\) with globalizable Hermitian metric \(G.\) Let \(L\) be a line bundle over \(M\) with globalizable Hermitian metric \(R,\) and suppose that \(L\) is negative and that \(R\) satisfies the sharp globalizable Cauchy-Schwarz inequality (SGCS). Then there is an integer \(d_0\) so that, for all \(d\) with \(d\geq d_0,\) there is a holomorphic imbedding \(h_d\) with \(h_d:M\rightarrow G_{p,N}\) so that \(E\otimes L^d=h_d^{*}U_{p,N}\) and \(GR^d=h_d^{*}(g_0).\) In particular this gives a weak version of Hilbert's seventeenth problem for matrix-valued polynomials. Corollary. Suppose that \(M(z,\overline{z})\) is a matrix of bihomogeneous polynomials that is positive-definite away from the origin. Suppose \(R\) is a bihomogeneous polynomial that is positive away from the origin and satisfies (SGCS). Assume also that \(\{R<1\}\) is a strongly pseudoconvex domain. Then there is an integer \(d\) and a matrix \(A\) of holomorphic homogeneous polynomials such that \(R(z,\overline{z})^dM(z,\overline{z})=A(z)^{*}A(z).\) In particular we can choose \(R(z,\overline{z})=\|z\|^{2d}\).