Extension of germs of holomorphic isometries up to normalizing constants with respect to the Bergman metric

We study the extension problem for germs of holomorphic isometries f :(D; x(0)) -> (Omega; f (x(0))) up to normalizing constants between bounded domains in Euclidean spaces equipped with the Bergman metrics ds(D)(2) on D and ds(Omega)(2) on Omega. Our main focus is on boundary extension for pairs of bounded domains (D, Omega) such that the Bergman kernel K-D (z, w) extends meromorphically in (z, (w) over tilde) to a neighborhood of (D) over tilde x D, and such that the analogous statement holds true for the Bergman kernel K-Omega (zeta, xi) on Omega. Assuming that (D; ds(D)(2)) and (Omega; ds(Omega)(2)) are complete Kahler manifolds, we prove that the germ of f extends to a proper holomorphic isometric embedding such that Graph(f) extends to a complex-analytic subvariety on some neigborhood of (D) over tilde x (Omega) over tilde. In the event that the Bergman kernel K-D (z, w) extends to a rational function of (z, (w) over tilde) and the analogue holds true for the Bergman kernel K-Omega (zeta, xi), we show that Graph (f) extends to an affine-algebraic variety. Our results apply in particular to pairs (D, Omega) of bounded symmetric domains in their Harish Chandra realizations. When D is the complex unit ball B-n of dimension n >= 2, 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.