Exponential decay of correlations for generic regular birational maps of \(\mathbb P^k\) (Q2516871)

Suppose that \(f : \mathbb P^k \dashrightarrow \mathbb P^k\) is a birational map of the \(n\)-dimensional projective space over the complex numbers. Write \(d\) for the degree of \(f\) and \(I(f)\) for the indeterminacy locus. The map \(f\) is said to be generic regular birational if the condition \[ \sum_{n=0}^\infty \frac{1}{d^n} \log \text{dist}(I(f),f^n(I(f^{-1}))) > -\infty \] is satisfied, as is the analogous condition for \(f^{-1}\). This notion was originated by \textit{E. Bedford} and \textit{J. Diller} [Duke Math. J. 128, No. 2, 331--368 (2005; Zbl 1076.37031)] in dimension \(2\), where the authors construct an invariant measure which is mixing; it was subsequently proved by \textit{R. Dujardin} that the measure is hyperbolic and of maximal entropy [Duke Math. J. 131, No. 2, 219--247 (2006; Zbl 1099.37037)]. Many of these results were extended to higher-dimensional settings by \textit{H. de Thélin} and the author [Mém. Soc. Math. Fr., Nouv. Sér. 122, 93 p. (2010; Zbl 1214.37004)], under the hypothesis that \(f\) satisfies \(\dim(I(f)) + \dim(I(f^{-1})) = k-2\). The subject of this paper is the rate of mixing for these measures. The main result is as follows: for any \(0 < \alpha \leq 2\) there exists a constant \(C_\alpha\) such that for any two \(C^\alpha\) functions \(\phi\) and \(\psi\) on \(\mathbb P^k\), we have \[ \left| \mu \left( ( \phi \circ f^N ) \psi \right) - \mu(\phi) \mu(\psi) \right| \leq C_\alpha \| \phi \|_{C^\alpha} \| \psi \|_{C^\alpha} d^{-\frac{\alpha s N}{4k}}. \]