Abstract
Motivated by problems arising from Arithmetic Geometry, in an earlier article one of the authors studied germs of holomorphic isometries between bounded domains with respect to the Bergman metric. In the case of a germ of holomorphic isometry f: (Δ, λ ds 2Δ ;0) → (Ω, ds 2Ω ;0) of the Poincaré disk Δ into a bounded symmetric domain Ω ⋐ ℂN in its Harish-Chandra realization and equipped with the Bergman metric, f extends to a proper holomorphic isometric embedding F: (Δ, λ ds 2Δ ;) → (Ω, ds 2Ω ) and Graph(f) extends to an affine-algebraic variety V ⊂ ℂ × ℂN. Examples of F which are not totally geodesic have been constructed. They arise primarily from the p-th root map ρ p : H → H p and a non-standard holomorphic embedding G from the upper half-plane to the Siegel upper half-plane H 3 of genus 3. In the current article on the one hand we examine second fundamental forms σ of these known examples, by computing explicitly φ = |σ|2. On the other hand we study on the theoretical side asymptotic properties of σ for arbitrary holomorphic isometries of the Poincaré disk into polydisks. For such mappings expressing via the inverse Cayley transform in terms of the Euclidean coordinate τ = s + it on the upper half-plane H, we have φ(τ) = t 2 u(τ), where u| t=0 ≢ 0. We show that u must satisfy the first order differential equation δu/δt| t=0 ≡ 0 on the real axis outside a finite number of points at which u is singular. As a by-product of our method of proof we show that any non-standard holomorphic isometric embedding of the Poincaré disk into the polydisk must develop singularities along the boundary circle. The equation δu/δt| t=0 ≡ 0 along the real axis for holomorphic isometries into polydisks distinguishes the latter maps from holomorphic isometries into Siegel upper half-planes arising from G. Towards the end of the article we formulate characterization problems for holomorphic isometries suggested both by the theoretical and the computational results of the article.
Similar content being viewed by others
References
Clozel L, Ullmo E. Modular correspondences and invariant measures. J Reine Angew Math, 558: 47–83 (2003)
Mok N. Extension of germs of holomorphic isometries up to normalization constants with respect to the Bergman metric. Preprint, 2009
Mok N. Uniqueness theorems of Hermitian metrics of seminegative curvature on locally symmetric spaces of negative Ricci curvature. Ann Math, 125: 105–152 (1987)
Mok N. On the asymptotic behavior of holomorphic isometries of the Poincaré disk into bounded symmetric domains. Acta Math Sci, Engl Ser, 29: 881–902 (2009)
Ng S C. On holomorphic isometric embeddings of the unit disk into polydisks. Preprint, 2009
Siegel C L. Topics in Complex Function Theory, Vol. 3: Abelian Functions and Modular Functions of Several Variables. New York-London-Sydney-Toronto: John Wiley & Sons Inc., 1973
Ng S C. On holomorphic isometric embeddings of the unit n-ball into products of two unit m-balls. Preprint, 2009
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor ZHONG TongDe on the occasion of his 80th birthday
This work was supported by the Research Grants Council of Hong Kong, China (Grant No. CERG 7018/03)
Rights and permissions
About this article
Cite this article
Mok, N., Ng, S.C. Second fundamental forms of holomorphic isometries of the Poincaré disk into bounded symmetric domains and their boundary behavior along the unit circle. Sci. China Ser. A-Math. 52, 2628–2646 (2009). https://doi.org/10.1007/s11425-009-0222-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-009-0222-4