Quasi-Projective Manifolds Uniformized by Carathéodory Hyperbolic Manifolds and Hyperbolicity of Their Subvarieties

Abstract

Abstract Let $M$ be a Carathéodory hyperbolic complex manifold. We show that $M$ supports a real-analytic bounded strictly plurisubharmonic function. If $M$ is also complete Kähler, we show that $M$ admits the Bergman metric. When $M$ is strongly Carathéodory hyperbolic and is the universal covering of a quasi-projective manifold $X$, the Bergman metric can be estimated in terms of a Poincaré-type metric on $X$. It is also proved that any quasi-projective (resp. projective) subvariety of $X$ is of log-general type (resp. general type), a result consistent with a conjecture of Lang.