No label defined (Q4953199)

Let \(\{f_\lambda\}\) be a family of polynomial (or rational) maps with parameters \(\lambda\in \mathbb{C}^N\). This family assumed to be normalized, that is, if \(\lambda\neq \lambda'\), there exists no affine (Möbius, respectively) transformation that conjugates \(f_\lambda\) and \(f_{\lambda'}\). Let \(C(f)\) be the set of critical points of \(f\) and \[ P(f)= \text{the closure of }\sup_{c\in C(f)} \bigcup_{i> 0}\{f^i(c)\}. \] Main Theorem. Let \(f_\lambda\) be a normalized family of polynomial or rational maps such that \(f= f_{\lambda_0}\) is a Misiurewicz map with \(n\) critical points \(c_1,\dots, c_n\). Assume that the critical points \(c_i\) are all non-degenerate and that \(f\) is not a Latté map. Then there exists a neighborhood \(W\subset \mathbb{C}^N\) such that -- \(W\ni \lambda\mapsto c_i(\lambda)\) is holomorphic; -- there exists a holomorphic motion \(\phi: P(f)\times W\to \overline{\mathbb{C}}\) such that for \(\lambda\in U\) the set \(X_\lambda= \bigcup_{z\in P(f)} \{\phi_\lambda(z)\}\) is mapped into itself by \(f_\lambda\) and \(f_\lambda: X_\lambda\to X_\lambda\) is conjugated to \(f: P(f)\to P(f)\) by a holomorphism \(h_\lambda\) depending on \(\lambda\) with \(h_0= \text{id}\); -- assuming that \(f(c_i)\) are in \(\mathbb{C}\), the map \[ W\ni \lambda\mapsto (f_\lambda(c_1(\lambda))- \phi_\lambda(f(c_1)),\dots, f_\lambda(c_n(\lambda))- \phi_\lambda(f(c_n))) \] is an immersion. The proof is divided into two parts: (1) all critical points of \(f\) are eventually mapped to repelling periodic points, (2) Misiurewicz case. In the second case, two theorems in [\textit{R. Mañé}, Bol. Soc. Bras. Math., Nova Ser. 24, 1-11 (1993; Zbl 0781.30023)] are the main tools.