Hyperbolic measure of maximal entropy for generic rational maps of \(\mathbb P^k\) (Q486771)

An important problem in multi-variable holomorphic dynamics is the construction of invariant measures of maximal entropy. In this paper, the author, using the theory of super-potentials developed by \textit{T.-C. Dinh} and \textit{N. Sibony} [Acta Math. 203, No. 1, 1--82 (2009; Zbl 1227.32024)], constructs such measures for a large class of dominant rational self-maps of the projective space \(\mathbb{P}^k\). To state his result, recall that a dominant rational map \(f:\mathbb{P}^k\to\mathbb{P}^k\) is \(l\)-algebraically stable if \(\lambda_l(f^n)=\lambda_l(f)^n\) for all \(n\geq 1\), where \(\lambda_l(f)=\int_{\mathbb{P}^k} f^*(\omega^l)\wedge\omega^{k-l}\), and \(\omega\) is the Fubini-Study form of \(\mathbb{P}^k\). The main result of this paper is the following: let \(f:\mathbb{P}^k\to\mathbb{P}^k\) be a dominant rational map. Then: (1) \(f_A=f\circ A\) is \(l\)-algebraically stable for all \(0\leq l\leq k\) for all \(A\in\mathrm{Aut}(\mathbb{P}^k)\) outside a countable union of analytic sets. (2) Assume that there exists \(s<k\) such that \(\lambda_s(f)>\lambda_l(f)\) for all \(l<s\). Then for every smooth positive closed form \(\Omega_s\) of bidegree \((s,s)\) and mass 1 the sequence \(\lambda_s(f)^{-n}(f^n_A)^*(\Omega_s)\) converges to the \(f^*_A\)-invariant Green current \(T^+_{s,A}\), and for every smooth positive closed form \(\Omega_{k-s}\) of bidegree \((k-s,k-s)\) and mass 1 the sequence \(\lambda_s(f)^{-n}(f^n_A)_*(\Omega_{k-s})\) converges to the \((f_A)_*\)-invariant Green current \(T^-_{s,A}\), for all \(A\in\mathrm{Aut}(\mathbb{P}^k)\) outside a pluripolar set. Furthermore, the measure \(\nu_A=T^+_{s,A}\wedge T^-_{s,A}\) is well defined in the sense of super-potentials. (3) If, in addition, the indeterminacy set \(I(f)\) of \(f\) has dimension \(k-s-1\) or is contained in a hyperplane then outside a pluripolar set of \(\mathbb{P}^k\) the measure \(\nu_A\) is an invariant hyperbolic measure of maximal entropy \(\log\lambda_s(f)\). (4) If \(f\) is a polynomial map of \(\mathbb{C}^k\) then (1)--(3) hold replacing \(\mathrm{Aut}(\mathbb{P}^k)\) with \(\mathrm{Aff}(\mathbb{C}^k)\).