Ergodic properties of rational mappings with large topological degree (Q815040): Difference between revisions

Let \(X\) be a projective algebraic manifold of dimension \(k\) and \(\omega\) a Hodge form on \(X\) normalized so that \(\int_X\omega^k=1\). Let \(f:X\rightarrow X\) be a rational mapping such that its Jacobian determinant does not vanish identically in any coordinate chart. Define the \(l\)th dynamical degree of \(f\) to be \[ \lambda_l(f)= \liminf_{n\to+\infty} \left(\int_X(f^n)^*\omega^l\wedge\omega^{k-l}\right)^{1/n}. \] Then \(d_t(f)=\lambda_k(f)\) is just the topological degree of \(f\). The author proves that when \(d_t(f)>\lambda_{k-1}(f)\), there exists a mixing probability measure \(\mu_f\) such that if \(\Theta\) is any smooth probability measure on \(X\), \[ \frac{1}{d_t(f)^n}(f^n)^*\Theta\longrightarrow \mu_f, \] where the convergence holds in the weak sense of measures, and such that \(f^*\mu_f=d_t(f)\mu_f\). In particular, \(\mu_f\) is the unique measure of maximal entropy when \(k\leq 3\) or when \(X\) is complex homogeneous. Thus, the author establishes the foundation of dynamics on rational self-mappings of projective algebraic manifolds.