The Kobayashi balls of ( C-)convex domains

From MaRDI portal
Publication:495313



Abstract: A pure geometric description of the Kobayashi balls of C-convex domains is given in terms of the so-called minimal basis.


Let \(D\subset\mathbb C^n\) be a domain that contains no complex lines and let \(q\in D\) be fixed. Let \(q^1\in\partial D\) be such that \(\|q^1-q\|=d_D(q)=:\tau_1(q)\), where \(d_\varOmega(z):=\text{dist}(z,\partial\varOmega)\). Let \(H_1:=q+(q^1-q)^\perp\), \(D_1:=D\cap H_1\), and let \(q^2\in\partial D_1\) be such that \(\|q^2-q\|=d_{D_1}(q)=:\tau_2(q)\). We put \(H_2:=q+\{q^1-q, q^2-q\}^\perp\), \(D_2:=D\cap H_2\) and so on. The basis \(\frac{q^j-q}{\|q^j-q\|}\), \(j=1,\dots,n\), is called the \textit{minimal basis at \(q\)}. The authors characterize the Carathéodory (resp.~Lempert) balls \(C_D(q,r)\) (resp.~\(L_D(q,r)\)) in terms of the minimal basis at \(q\). The main result of the paper is the following theorem. We assume that the above minimal basis at \(q\) coincides with the standard basis of \(\mathbb C^n\). Then: {\parindent=6mm \begin{itemize} \item[(i)] if \(D\) is weakly linearly convex, then \[ \mathbb D^n\Big(q,\frac1n(\tanh r)\tau(q)\Big)\subset\Big\{z:\sum_{j=1}^n\frac{|z_j-q_j|}{\tau_j(q)} <\tanh r\Big\}\subset L_D(q,r), \] where \(\mathbb D^n(q,s):=\big\{z\in\mathbb C^n: |z_j-q_j|<s_j,\;j=1,\dots,n\big\}\); \item [(ii)] if \(D\) is convex, then \(C_D(q,r)\subset\mathbb D^n\big(q,(e^{2r}-1)\tau(q)\big)\); \item [(iii)] if \(D\) is \(\mathbb C\)-convex, then \(C_D(q,r)\subset\mathbb D^n\big(q,(e^{4r}-1)\tau(q)\big)\). \end{itemize}}











This page was built for publication: The Kobayashi balls of (\({\mathbb {C}}\)-)convex domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q495313)