A Kähler potential on the unit ball with constant differential norm (Q6583572)

Let \(\mathbb B^n\) be a unit ball in \(\mathbb C^n\) and \[\mathbb H^n=\{w\in\mathbb C^n:\mathrm{Re} w_n>|w_1|^2+...+|w_{n-1}|^2\}\] be the Siegel domain of the second kind. The Siegel domain is biholomorphic to \(\mathbb B^n\) via the Cayley transform \(\mathcal C:\mathbb B^n\rightarrow \mathbb H^n\) given by \[\mathcal C(z)=\left(\frac{z_1}{1-z_n},\dots,\frac{z_{n-1}}{1-z_n},\frac{1+z_n}{1-z_n}\right).\] Let \(\omega_{\mathbb B^n}\) and \(\omega_{\mathbb H^n}\) be the invariant Kähler-Einstein metrics of Ricci curvature \(-1\) on \(\mathbb B^n\) and \(\mathbb H^n\). The canonical Kähler potentials of \(\omega_{\mathbb B^n}\) and \(\omega_{\mathbb H^n}\) are \(\log \psi_0\) and \(\log \phi_0\) respectively, where \[\psi_0(w)=(\mathrm{Re} w_n-|w_1|^2+...+|w_{n-1}|^2)^{n-1}\] and \[\phi_0(z)=\psi_0\circ\mathcal C(z).\] The squares \(||\partial\log\psi_0||^2_{\omega_{\mathbb H^n}}||^2\) and \(||\partial\log\phi_0||^2_{\omega_{\mathbb B^n}}||^2\) are constant \(n+1\).\N\NThe main theorem the authors prove is the following.\N\NTheorem. Let \(\omega_{\mathbb H^n}\) be the Bergman-Poincaré metric on \(\mathbb H^n\). Suppose that there exists a positive real function \(\psi:\mathbb H^n\rightarrow \mathbb R\) such that \(\log \psi\) is a Kähler potential of \(\omega_{\mathbb H^n}\) and \(||\partial \log \psi||\) is constant on \(\mathbb H^n\). Then \(\log\psi\) is the canonical potential of \(\mathbb H^n\) up to the action of the isotropy subgroup of \(\mathbb H^n\) at the point \((0,0,\dots,0,1)\in\mathbb H^n\).\N\NAnalogously the authors obtain the following theorem.\N\NTheorem. Any Kähler potential of the Bergman-Poincaré metric on \(\mathbb B^n\), which has constant differential norm, is \(\log \phi_0\) up to the action of the isotropy subgroup of \(\mathbb B^n\) at \(0\).\N\NThe authors also prove that any affine homogenous domain in \(\mathbb C^n\) biholomorphic to the unit ball is affine equivalent to \(\mathbb H^n\).