Total geodesy of proper holomorphic immersions between complex hyperbolic space forms of finite volume
type: Item
instance of: scholarly article
title: Total geodesy of proper holomorphic immersions between complex hyperbolic space forms of finite volume
zbMATH Open document ID: 0788.32018
DOI: 10.1007/BF01459488
author: Wing-Keung To
published in: Mathematische Annalen
publication date: 1994-05-26T00:00:00Z
full work available at URL: https://eudml.org/doc/165118
review text: We prove the following Theorem: Let \(X\) and \(Y\) be complex hyperbolic space forms of complex dimensions \(n\) and \(m\) respectively. Assume that both \(X\) and \(Y\) are of finite volume with respect to their Poincaré metrics and \(m \leq 2n-1\). Suppose \(f:X \to Y\) is a proper holomorphic immersion. Then up to a multiplicative constant, \(f\) is an isometric totally geodesic immersion with respect to their Poincaré metrics. The above theorem generalizes a result of \textit{H.-D. Cao} and \textit{N. Mok} [Invent. Math. 100, No. 1, 49-62 (1990; Zbl 0698.53035)], who proved the above theorem in the case when \(X\) is compact. The main difficulty in proving the above theorem in the case of quotients of finite volume is to justify the vanishing of certain integral over the domain manifold whose integrand is an exact \((n,n)\)-form related to the second fundamental form associated to the holomorphic immersion. We overcome this difficulty by first extending the proper holomorphic immersion to the compactifications of \(X\) and \(Y\). It is known that \(X\) (resp. \(Y)\) admits smooth toroidal compactifications \(\overline X\) (resp. \(\overline Y)\) such that \(\overline X-X\) (resp. \(\overline Y-Y)\) consists of disjoint union of abelian varieties of codimension one in \(\overline X\) (resp. \(\overline Y)\). The important observation is that \(f\) extends to a holomorphic map \(\tilde f:\overline X \to \overline Y\) without `blowing down' the compactifying divisors. The jacobian of \(\tilde f\) induces a `bundle immersion' between certain vector bundle extensions \(\overline{TX}\) of \(TX\) to \(\overline X\) and \(\overline{TY}\) of \(TY\) to \(\overline Y\). Then we show that the pull-back of the Poincaré metric under \(f\) is a Hermitian metric `good' on \(\overline X\) with respect to \(\tilde f^* \overline{TY}\) in the sense of \textit{D. Mumford} [Invent. Math. 42, 239- 272 (1977; Zbl 0365.14012)], and its restriction on \(TX\) is good on \(\overline X\) w…
reviewed by: Wing-Keung To
Mathematics Subject Classification ID: 32H02
Mathematics Subject Classification ID: 32M15
Mathematics Subject Classification ID: 53C35
Mathematics Subject Classification ID: 32H35
zbMATH DE Number: 537199
zbMATH Keywords: complex hyperbolic space forms
zbMATH Keywords: finite volume
zbMATH Keywords: Poincaré metrics
zbMATH Keywords: proper holomorphic immersion
zbMATH Keywords: isometric totally geodesic
MaRDI profile type: Publication
Wikidata QID: Q125682320
cites work: Q4099744
cites work: Compactification of arithmetic quotients of bounded symmetric domains
cites work: Hermitian vector bundles and the equidistribution of the zeroes of their holomorphic section
cites work: Holomorphic immersions between compact hyperbolic space forms
cites work: Immersions and imbeddings in complex projective spaces
cites work: A special Stoke's theorem for complete Riemannian manifolds
cites work: Manifolds of negative curvature
cites work: Uniqueness theorems of Hermitian metrics of seminegative curvature on quotients of bounded symmetric domains
cites work: Hirzebruch's proportionality theorem in the non-compact case
cites work: On compactifications of the quotient spaces for arithmetically defined discontinuous groups
cites work: Hermitian metrics of semi-negative curvature on quotients of bounded symmetric domains
cites work: A General Schwarz Lemma for Kahler Manifolds
OpenAlex ID: W1981361318
description: scientific article; zbMATH DE number 537199