The Kobayashi infinitesimal metric and the characterization of bounded convex domains (Q1569001)

Let \(G\subset\mathbb C^m\), \(D\subset\mathbb C^n\) be domains and let \(\varphi:G\rightarrow\mathbb C^n\) be a holomorphic mapping such that \(\varphi(U)\subset D\) for a non-empty open set \(U\subset G\) and (*) \(F_D(\varphi(z);\varphi'(z)(v))=F_G(z;v)\) for \((z,v)\in U\times\mathbb C^m\), where \(F_D\) (resp. \(F_G\)) denotes the Kobayashi-Royden pseudometric for \(D\) (resp. \(G\)). The main results of the paper are the following two theorems. (1) If \(m=1\), \(G=\Delta\) is the unit disc, and \(D\) is biholomorphic to a bounded strictly convex domain, then \(\varphi(\Delta)\subset D\). (2) If \(m=n\), \(G=B\) is a norm-ball, \(0\in U\), and there exists a biholomorphism \(g :B\rightarrow D\) with \(g(0)=\varphi(0)\), then \(\varphi(B)\subset D\) and \(\varphi :B\rightarrow D\) is biholomorphic. The author shows that in the case \(G=\Delta\), \(D=\Delta^2\), there are holomorphic mappings \(\varphi :\Delta\rightarrow\mathbb C^2\) with (*) but \(\varphi(\Delta)\not\subset\varphi(\Delta^2)\). The proof of (1) is based on the following result: Let \(D\subset\mathbb C^n\) be a bounded convex domain. For \(a\in D\) and \(r>0\) let \(B_k(a,r):=\{z\in D: k_D(a,z)<r\}\) denote the ball with respect to the Kobayashi distance \(k_D\). Let \(\varphi :\Delta\rightarrow D\) be a complex geodesic for \(D\) with \(\varphi(0)=a\). Put \(\rho:=\tanh r\). Then the mapping \(\Delta\ni z\rightarrow\varphi(\rho z)\) is a complex geodesic for \(B_k(a,r)\), \(F_{B_k}(a;v)=\frac 1\rho F_D(a;v)\), \(v\in\mathbb C^n\), and \(k_{B_k}(a,z)=\tanh^{-1}(\frac 1\rho\tanh k_D(a,z))\), \(z\in B_k\). Moreover, \(B_k(a,r)\) is convex and if \(D\) is strictly convex, then so is \(B_k(a,r)\).