Non-algebraic attractors on P^k

From MaRDI portal
Publication:765084



Abstract: We show that special perturbations of a particular holomorphic map on mathbfPk give us examples of maps that possess chaotic nonalgebraic attractors. Furthermore, we study the dynamics of the maps on the attractors. In particular, we construct invariant hyperbolic measures supported on the attractors with nice dynamical properties.


Given a holomorphic self-map \(f\) of \(\mathbb{P}^k\), an \(\epsilon\)-pseudo-orbit of \(f\) is a sequence of points \((x_i)\), \(0\leq i\leq n\), such that the distance between \(f(x_i)\) and \(x_{i+1}\) is less than \(\epsilon\). Two points \(x,y\) in \(\mathbb{P}^k\) are then equivalent if for every \(\epsilon>0\) there exist both an \(\epsilon\)-pseudo-orbit starting with \(x\) and ending with \(y\) and an \(\epsilon\)-pseudo-orbit with starting point \(y\) and ending point \(x\). It is possible to give an ordering between equivalence classes, and a minimal equivalence class is an attractor for \(f\). Attractors in \(\mathbb{P}^2\) have been studied by several authors (see, for example, [\textit{J.E. Fornæss} and \textit{N. Sibony}, Contemp. Math. 269, 47--85 (2001; Zbl 1006.37025); \textit{J. E. Fornæss} and \textit{B. Weickert}, Math. Sci. Res. Inst. Publ. 37, 297--307 (1999; Zbl 0954.37023)]), and an example of a non-algebraic attractor in \(\mathbb{P}^2\) was given by \textit{M. Jonsson} and \textit{B. Weickert} [Proc. Am. Math, Soc., 128, No. 10, 2999--3002 (2000; Zbl 0974.37030)]. In the paper under review, the author provides examples of holomorphic maps of \(\mathbb{P}^k\) with non-algebraic attractors and interesting dynamical properties. In particular, in Theorem 1.1 the author shows that a holomorphic self-map \(f_\lambda\) of \(\mathbb{P}^k\) of the form \[ f_\lambda\big([z:w_1 :\cdots :w_{k-1} :t]\big) = \big[(z-2w_1)^2 :\cdots:(z-2w_{k-1})^2 :z^2 :t^2 +\lambda z^2\big] \] has a non-algebraic attractor \(K_\lambda\) for \(|\lambda|\neq 0\) small enough, and its action on \(K_\lambda\) is chaotic. Furthermore, in Theorem 1.2 the author proves the existence of an \(f_\lambda\)-invariant probability measure \(\mu_\lambda\) on \(\mathbb{P}^k\) with support equal to \(K_\lambda\) such that \(\mu_\lambda\) is mixing, \(\mu_\lambda\) is the unique measure of maximal entropy for \(f_\lambda|_{K_\lambda}\), \(\mu_\lambda\) describes the distribution of periodic points for \(f_\lambda|_{K_\lambda}\), and the smallest non-negative Lyapunov exponent of \(f_\lambda|_{K_\lambda}\) with respect to \(\mu_\lambda\) is greater or equal to \(\frac{1}{2} \log2\) at \(\mu_\lambda\)-almost every point.











This page was built for publication: Non-algebraic attractors on \(\mathbf{P}^k\)

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