Ergodic averages of commuting transformations with distinct degree polynomial iterates

Abstract

We prove mean convergence, as $N\to \infty$, for the multiple ergodic averages $\frac{1}{N}{\sum }_{n=1}^N{f}_1(T_1^{p_1(n)}x)...f_{\ell }(T_{\ell }^{p_{\ell }(n)}x)$, where $p_1,...,p_{\ell }$ are integer polynomials with distinct degrees, and $T_1,...,T_{\ell }$ are commuting, invertible measure preserving transformations, acting on the same probability space. This establishes several cases of a conjecture of Bergelson and Leibman, that complement the case of linear polynomials, recently established by Tao. Furthermore, we show that, unlike the case of linear polynomials, for polynomials of distinct degrees, the corresponding characteristic factors are mixtures of inverse limits of nilsystems. We use this particular structure, together with some equidistribution results on nilmanifolds, to give an application to multiple recurrence and a corresponding one to combinatorics.

44 pages, small correction in the proof of Lemma 7.5, appeared in the Proceedings of the London Mathematical Society

Cited by in corpus (11)

• Integer part polynomial correlation sequences
• Uniformity in the Wiener-Wintner theorem for nilsequences
• Single and multiple recurrence along non-polynomial sequences
• Weighted multiple ergodic averages and correlation sequences
• Seminorms for multiple averages along polynomials and applications to joint ergodicity
• Polynomial configurations in the primes
• Khintchine-type recurrence for 3-point configurations
• Generic properties of extensions
• Multiple recurrence for non-commuting transformations along rationally independent polynomials
• A double return times theorem
• Bounds in a popular multidimensional nonlinear Roth theorem