Exponential mixing of nilmanifold automorphisms (Q464299)

Let \(G\) be a simply connected nilpotent Lie group and \(\Lambda\) its discrete cocompact subgroup. Let \(\alpha\) be an ergodic automorphism of nilmanifold \({X=G/\Lambda}\) with respect to the Haar probability measure \(\mu.\) Let also \({C^\theta(X)}\) denote the space of \(\theta\)-Hölder functions on \(X.\) The main result of the paper states that there exists \({\rho=\rho(\theta)\in(0,1)}\) such that for all \({f,g\in C^\theta(X)}\) and \({n\in \mathbb{N}}\) \[ \int_Xf(x)g(\alpha^n(x))\,d\mu(x)=\int_Xf(x)\,d\mu(x)\int_Xg(x)\,d\mu(x)+\mathcal{O}(\rho^n\|f\|_{C^\theta}\|g\|_{C^\theta}). \] The proof uses an induction on the dimension of \(X\) and is based on some equidistribution result for the exponential map which is deduced from [\textit{B. Green} and \textit{T. Tao}, Ann. Math. (2) 175, No. 2, 465-540 (2012; Zbl 1251.37012); erratum ibid. 179, No. 3, 1175-1183 (2014; Zbl 1290.37004)]. For Hölder functions, the authors also established the multiple exponential mixing, the central limit theorem and the Donsker and Strassen invariance principles. The proofs of the probabilistic limit theorems used works due to \textit{D.\,A. Lind} [Ergodic Theory Dyn. Syst. 2, 49--68 (1982; Zbl 0507.58034)] and \textit{S. Le Borgne} [Isr. J. Math. 109, 61--73 (1999; Zbl 0989.37001)]. At the end of paper the authors apply the main result to establish the regularity of the solutions of the cohomological equation.