Classification of recurrent domains for holomorphic maps on complex projective spaces (Q472033): Difference between revisions

Let \(f:\mathbb{P}^k(\mathbb{C})\to \mathbb{P}^k(\mathbb{C})\) be a holomorphic map of degree \(d\geq 2\). The \textit{Fatou set} \(\mathcal{F}(f)\) of \(f\) is the maximal open set of \(\mathbb{P}^k(\mathbb{C})\) where the family \(\{f^n\}_{n\in\mathbb{N}}\) of iterates of \(f\) is equicontinuous. The connected components of the Fatou set of \(f\) are called \textit{Fatou components}. Fatou components are Kobayashi hyperbolic and Stein [\textit{T. Ueda}, J. Math. Soc. Japan 46, No. 3, 545--555 (1994; Zbl 0829.58025)] and [\textit{J. E. Fornæss} and \textit{N. Sibony}, in: Complex analytic methods in dynamical systems. Proceedings of the congress held at Instituto de Matemática Pura e Aplicada, IMPA, Rio de Janeiro, 1992. Paris: Société Mathématique de France. 201--231 (1994; Zbl 0813.58030)]). A Fatou component \(\Omega\) is called \textit{recurrent} if there is a point \(p_0\in\Omega\) with \(\omega\)-limit set intersecting \(\Omega\) which is so that \(\{f^{n_j}(p_0)\}\) is relatively compact in \(\Omega\) for some subsequence \(n_j\). A Fatou component \(\Omega\) is a \textit{Siegel domain} if there is a subsequence \(\{f^{n_j}\}\) converging to the identity uniformly on compact sets of \(\Omega\). Recurrent domains for holomorphic maps on \(\mathbb{P}^2(\mathbb{C})\) have been classified by \textit{J. E. Fornæss} and \textit{N. Sibony} [Math. Ann. 301, No. 4, 813--820 (1995; Zbl 0829.58005)]. The paper under review provides a similar characterization in higher dimension. The main result is the following. Theorem 1. Let \(f\) be a holomorphic map on \(\mathbb{P}^k(\mathbb{C})\) of degree \(d \geq 2\). Let \(\Omega\) be a recurrent Fatou component such that \(f(\Omega)=\Omega\). Then one of the following happens: {\parindent=25pt \begin{itemize}\item[(i)] There is an attracting fixed point \(p\in\Omega\), i.e., the eigenvalues \(\lambda_i\) of the differential of \(f\) at \(p\) satisfy \(|\lambda_i|<1\) for \(1\leq i\leq k\). \item[(ii)] There exist a closed \(m\)-dimensional complex submanifold \(M\) of \(\Omega\) (\(1 \leq m \leq k - 1\)), and a holomorphic retraction \(\rho: \Omega\to M\) such that any limit \(h\) of a convergent subsequence of \(\{f^n\}\) is of the form \(h = \varphi\circ \rho\), where \(\varphi \in \Aut(M)\). \item[(iii)] The domain \(\Omega\) is a Siegel domain. Any limit of a convergent subsequence of \(\{f^n\}\) is an automorphism of \(\Omega\). \end{itemize}}