Non-algebraic attractors on \(\mathbf{P}^k\) (Q765084): Difference between revisions

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.