Classification of recurrent domains for holomorphic maps on complex projective spaces
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}}
- \(T^ n\)-actions on holomorphically separable complex manifolds
- Classification of recurrent domains for some holomorphic maps
- Dynamics in One Complex Variable. (AM-160)
- Fatou sets in complex dynamics on projective spaces
- Groups of differentiable and real or complex analytic transformations
- Holomorphic maps on projective spaces and continuations of Fatou maps
- scientific article; zbMATH DE number 2222250 (Why is no real title available?)
- Iteration of analytic mappings of several complex variables
- Levisches Problem und Rungescher Satz für Teilgebiete Steinscher Mannigfaltigkeiten
- On hyperbolicity of pseudoconvex Reinhardt domains
- On the automorphism group of a Stein manifold
- Tautness and Fatou components in \(\mathbb P^2\)
- Classification of recurrent domains for some holomorphic maps
- Tautness and Fatou components in \(\mathbb P^2\)
- scientific article; zbMATH DE number 1305832 (Why is no real title available?)
- On chain recurrence classes of endomorphisms of \(\mathbb{P}^k\)
- Dynamics of semigroups of entire maps of \(\mathbb C^k\)
- Geometric methods in holomorphic dynamics
This page was built for publication: Classification of recurrent domains for holomorphic maps on complex projective spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472033)
