We study the extension problem for germs of holomorphic isometries up to normalizing constants between bounded domains in Euclidean spaces equipped with Bergman metrics on and on . Our main focus is on boundary extension for pairs of bounded domains such that the Bergman kernel extends meromorphically in to a neighborhood of , and such that the analogous statement holds true for the Bergman kernel on . Assuming that and are complete K\"ahler manifolds, we prove that the germ of map extends to a proper holomorphic isometric embedding such that Graph extends to a complex-analytic subvariety on some neigborhood of . In the event that the Bergman kernel extends to a rational function in and the analogue holds true for the Bergman kernel , we show that Graph extends to an affine-algebraic variety. Our results apply especially to pairs of bounded symmetric domains in their Harish-Chandra realizations. When is the complex unit ball of dimension , we obtain a new rigidity result which guarantees the total geodesy of the map under certain conditions. On the other hand, we construct examples of holomorphic isometries of the unit disk into polydisks which are not totally geodesic, answering in the negative a conjecture of Clozel-Ullmo's.
Cite this article
Ngaiming Mok, Extension of germs of holomorphic isometries up to normalizing constants with respect to the Bergman metric. J. Eur. Math. Soc. 14 (2012), no. 5, pp. 1617–1656DOI 10.4171/JEMS/343