Pseudo-random holomorphic endomorphisms between projective spaces. I (Q382240): Difference between revisions

Given a holomorphic endomorphism \(f\) of \(\mathbb{P}^k(\mathbb{C})\) of degree \(d\geq 2\), J.-E. Fornæss and N. Sibony defined the Green current \(T\) associated to \(f\), whose support is the Julia set of \(f\), as the limit in the sense of currents of the sequence \({(f^n)^*\omega \over d^n}\), where \(\omega\) is the Fubini-Study form of \(\mathbb{P}^k(\mathbb{C})\). Such a current has a continuous potential, and it is possible to define its self-intersection \(\mu= T^k\), which is the unique maximal entropy measure and it is the limit of the probability measures \({(f^n)^*\omega^k \over d^{kn}}\). The paper under review deals with one possible generalization of the convergence of the sequences \({(f^n)^*\omega \over d^n}\) and \({(f^n)^*\omega^k \over d^{kn}}\). Let \(\mathcal{H}_d\) be the set of points corresponding to holomorphic endomorphisms of degree \(d\) of \(\mathbb{P}^k(\mathbb{C})\) in the projective space \(\mathbb{P}^N(\mathbb{C})\), where \(N=(k+1){(d+k)!\over d!k!} -1\), of rational maps of degree \(d\) of \(\mathbb{P}^k(\mathbb{C})\), and denote by \(\mathcal{M}\) the complement of \(\mathcal{H}_d\) in \(\mathbb{P}^N(\mathbb{C})\). Let \(F:\mathbb{P}^N(\mathbb{C})\to \mathbb{P}^N(\mathbb{C})\) be a measurable map, and let \(\Lambda\) be an ergodic invariant measure for \(F\). Given a point \(f_0\) of \(\mathbb{P}^N(\mathbb{C})\), generic with respect to \(\Lambda\), it is possible to consider the sequence \(f_n = F^n(f_0)\), of rational maps, and the author studies the pseudo-random sequence of iterates \(f_n\circ\cdots\circ f_0\), constructing a pseudo-random Green current and a pseudo-random Green measure having mixing properties. More precisely, the main result of the paper is the following. Theorem 1.1. Assume that \[ \int \log\text{dist}(f, \mathcal{M}) d\Lambda(f) > - \infty. \] Then there exists a set \(A\subset\mathbb{P}^N(\mathbb{C})\) of full measure for \(\Lambda\), such that for all holomorphic endomorphism \(f_0\) of \(\mathbb{P}^k(\mathbb{C})\) belonging to \(A\), the sequence \({F_n^*\omega\over d^{n+1}}\) converges towards a current \(T[f_0]\), where \(F_n:= f_n\circ\cdots\circ f_0\). The current \(T[f_0]\) is called the Green pseudo-random current associated to \(f_0\), and it has continuous potential. It is therefore possible to define its self-intersection \(T[f_0]^l\) for \(1\leq l\leq k\), and the author proves that for \(f_0\in A\), the sequence \({F_n^*\omega^l\over d^{l(n+1)}}\) converges to \(T[f_0]^l\) as \(n\) tends to infinity (see Proposition 11). The Green pseudo-random measure associated to \(f_0\) is the maximal self-intersection \(\mu[f_0] = T[f_0]^k\). Moreover, since the set \(A\) satisfies \(F(A)\subset A\), given \(f_0\in A\), it is possible to define the currents \(T[f_i]^l\) for all \(i\in\mathbb{N}\). Such currents have invariance properties, namely \({f_i^*T[f_{i+1}]^l\over d^l} = T[f_i]^l\) and \((f_i)_*T[f_{i}]^l = {T[f_{i+1}]^l\over d^{k-l}}\), allowing the author to prove a random mixing result (Theorem 2), following some ideas from [\textit{T.-C. Dinh}, \textit{V.-A. Nguyen} and \textit{N. Sibony}, J. Differ. Geom. 84, No. 3, 465--488 (2010; Zbl 1211.32021)].