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

Mok, Ngaiming. "Extension of germs of holomorphic isometries up to normalizing constants with respect to the Bergman metric." Journal of the European Mathematical Society 014.5 (2012): 1617-1656. <http://eudml.org/doc/277348>.

@article{Mok2012,
abstract = {We study the extension problem for germs of holomorphic isometries $f : (D;x_0)\rightarrow (\Omega ;f(x_0))$ up to normalizing constants between bounded domains in Euclidean spaces equipped with Bergman metrics $ds^2_D$ on $D$ and $ds^2_\{\Omega \}$ 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,\bar\{w\})$ to a neighborhood of $\bar\{D\}\times D$, and such that the analogous statement holds true for the Bergman kernel $K_\{\Omega \}(\varsigma ,\xi )$ on $\Omega $. Assuming that $(D;ds^2_D)$ and $(\Omega ;ds^2_\Omega )$ are complete Kähler manifolds, we prove that the germ of map $f$ extends to a proper holomorphic isometric embedding such that Graph($f$) extends to a complex-analytic subvariety on some neigborhood of $\bar\{D\}\times \bar\{\Omega \}$. In the event that the Bergman kernel $K_D(z,w)$ extends to a rational function in $(z;\bar\{w\})$ and the analogue holds true for the Bergman kernel $K_\Omega (\varsigma ,\xi )$, we show that Graph($f$) extends to an affine-algebraic variety. Our results apply especially 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\ge 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.},
author = {Mok, Ngaiming},
journal = {Journal of the European Mathematical Society},
keywords = {Kähler manifold; holomorphic isometry; Bergman metric; bounded symmetric domain; holomorphic extension; total geodesy; Kähler manifold; holomorphic isometry; Bergman kernel; bounded symmetric domain; holomorphic extension; totally geodesic embedding},
language = {eng},
number = {5},
pages = {1617-1656},
publisher = {European Mathematical Society Publishing House},
title = {Extension of germs of holomorphic isometries up to normalizing constants with respect to the Bergman metric},
url = {http://eudml.org/doc/277348},
volume = {014},
year = {2012},
}

TY - JOUR
AU - Mok, Ngaiming
TI - Extension of germs of holomorphic isometries up to normalizing constants with respect to the Bergman metric
JO - Journal of the European Mathematical Society
PY - 2012
PB - European Mathematical Society Publishing House
VL - 014
IS - 5
SP - 1617
EP - 1656
AB - We study the extension problem for germs of holomorphic isometries $f : (D;x_0)\rightarrow (\Omega ;f(x_0))$ up to normalizing constants between bounded domains in Euclidean spaces equipped with Bergman metrics $ds^2_D$ on $D$ and $ds^2_{\Omega }$ 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,\bar{w})$ to a neighborhood of $\bar{D}\times D$, and such that the analogous statement holds true for the Bergman kernel $K_{\Omega }(\varsigma ,\xi )$ on $\Omega $. Assuming that $(D;ds^2_D)$ and $(\Omega ;ds^2_\Omega )$ are complete Kähler manifolds, we prove that the germ of map $f$ extends to a proper holomorphic isometric embedding such that Graph($f$) extends to a complex-analytic subvariety on some neigborhood of $\bar{D}\times \bar{\Omega }$. In the event that the Bergman kernel $K_D(z,w)$ extends to a rational function in $(z;\bar{w})$ and the analogue holds true for the Bergman kernel $K_\Omega (\varsigma ,\xi )$, we show that Graph($f$) extends to an affine-algebraic variety. Our results apply especially 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\ge 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.
LA - eng
KW - Kähler manifold; holomorphic isometry; Bergman metric; bounded symmetric domain; holomorphic extension; total geodesy; Kähler manifold; holomorphic isometry; Bergman kernel; bounded symmetric domain; holomorphic extension; totally geodesic embedding
UR - http://eudml.org/doc/277348
ER -