An extension theorem and linear invariant families generated by starlike maps (Q2769207)

Let \(B^n\) be the unit ball in \(\mathbb{C}^n\). A linear invariant family (LIF in what follows) is a family \({\mathcal F}\) of locally biholomorphic mappings \(f:B^n\to \mathbb{C}^n\) such that \(f(0)=0\), \(Df(0)=I\) and if \(f\in{\mathcal F}\) then \(\wedge\varphi (f)\in {\mathcal F}\) for any biholomorphic automorphism \(\varphi\) of \(B^n\). Here \(\wedge\varphi f\) stands for the Koebe transform of \(f\) by \(\varphi\): NEWLINE\[NEWLINE\wedge\varphi \bigl(f(z)\bigr) =D\varphi(0)^{-1}Df \bigl( \varphi (0)\bigr)^{-1} \biggl[ f\bigl(\varphi (z)\bigr)-f\bigl(\varphi (0)\bigr) \biggr].NEWLINE\]NEWLINE The order of an LIF \({\mathcal F}\) is defined by NEWLINE\[NEWLINE\text{ord} ({\mathcal F})=\sup \Bigl\{\biggl |\text{trace}\bigl[ \frac 12 D^2f(0) (w,\cdot) \bigr]\biggr |:|w|=1,\;f\in{\mathcal F}\Bigr\}.NEWLINE\]NEWLINE For a locally biholomorphic \(f:B^n \to\mathbb{C}^n\) define its extension \(\widehat f:B^{n+1} \to\mathbb{C}^{n+1}\) by \(\widehat f(z',z_{n+1})= (f(z'),z_{n+1} [I_f(z')]^{1\over n+1})\), where \(I_f(z') =\det [Df(z')]\).NEWLINENEWLINENEWLINEThe authors prove the following:NEWLINENEWLINENEWLINETheorem 1. Let \(\text{ord} ({\mathcal F})=\alpha\) and \(\widehat{\mathcal F}=\{\widehat f:f \in{\mathcal F}\}\). If \(\wedge[ \widehat{\mathcal F}]\) is the LIF generated by \(\widehat{\mathcal F}\) then \(\text{ord} (\wedge[\widehat {\mathcal F}])={n+2 \over n+1} \alpha\).