Holomorphic Functions of Slow Growth on Nested Covering Spaces of Compact Manifolds

From MaRDI portal



Abstract: Let Y be an infinite covering space of a projective manifold M in P^N of dimension n geq 2. Let C be the intersection with M of at most n-1 generic hypersurfaces of degree d in P^N. The preimage X of C in Y is a connected submanifold. Let phi be the smoothed distance from a fixed point in Y in a metric pulled up from M. Let O_phi(X) be the Hilbert space of holomorphic functions f on X such that f^2 e^(-phi) is integrable on X, and define O_phi(Y) similarly. Our main result is that (under more general hypotheses than described here) the restriction O_phi(Y) to O_phi(X) is an isomorphism for d large enough. This yields new examples of Riemann surfaces and domains of holomorphy in C^n with corona. We consider the important special case when Y is the unit ball B in C^n, and show that for d large enough, every bounded holomorphic function on X extends to a unique function in the intersection of all the nontrivial weighted Bergman spaces on B. Finally, assuming that the covering group is arithmetic, we establish three dichotomies concerning the extension of bounded holomorphic and harmonic functions from X to B.


Let \(Y\to M\) be an infinite covering space of an \(n\)-dimensional projective manifold, \(n\geq 2.\) Suppose \(M\) is embedded into a projective space by sections of a very ample line bundle \(L.\) The author shows that if \(L\) is sufficiently ample, then the restriction map \(\cdot|X\) is an isomorphism of the Hilbert spaces of holomorphic functions of slow growth. Using the isomorphism theorem, new examples of Riemann surfaces and domains of holomorphy in \(\mathbb C^n\) with corona are constructed. These easily defined surfaces have many symmetries, the characters in the corona have a simple description, and the corona is large in the sense that it contains a domain in euclidean space of arbitrarily high dimension. The results of Hörmander on generating algebras of holomorphic functions of exponential growth to the case of covering spaces are adapted. Consequently, the restriction map \(\cdot|X\) may fail to be an isomorphism if \(L\) is not sufficiently ample compared to the exhaustion. A sampling and interpolation theorem for the weighted Bergman spaces on the unit ball \(\mathbb B\subset\mathbb C^n\) is obtained. For each weight, the restriction to \(X\) induces an isomorphism from the weighted Bergman space on \(\mathbb B\) to the one on \(X\) if \(L\) is sufficiently ample. Also, every bounded holomorphic function on \(X\) extends to a unique function of infraexponential growth on \(\mathbb B,\) i.e., a function in the intersection of all the nontrivial weighted Bergman spaces on \(\mathbb B,\) when \(L\) is sufficiently ample, for instance when \(L\) is the \(m\)-th tensor power of the canonical bundle \(K\) with \(m\geq 2.\) Assuming that the covering group is an arithmetic subgroup of the automorphism group \(PU(1,n)\) of \(\mathbb B,\) two dichotomies concerning the extension of bounded holomorphic functions from \(X\) to \(\mathbb B\) are established. One of them says that either every holomorphic function \(f\) continuous up to the boundary on the preimage of a \(K^{\otimes m}\)-curve in a finite covering of \(M\) extends to a continuous function on \(\overline{\mathbb B}\) which is holomorphic on \(\mathbb B,\) or the boundary functions of such functions \(f\) generate a dense subspace of the space of continuous functions \(\partial\mathbb B\to\mathbb C.\) An analogous dichotomy for harmonic functions is obtained. In contrast to the case of holomorphic functions, a harmonic function on \(X,\) continuous up to the boundary, generally does not extend to a plurisubharmonic function bounded above on \(\mathbb B.\)











This page was built for publication: Holomorphic Functions of Slow Growth on Nested Covering Spaces of Compact Manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522130)