The quantitative behaviour of polynomial orbits on nilmanifolds

Abstract

A theorem of Leibman asserts that a polynomial orbit $(g(1),g(2),g(3),\dots )$ on a nilmanifold $G/\Gamma$ is always equidistributed in a union of closed sub-nilmanifolds of $G/\Gamma$. In this paper we give a quantitative version of Leibman's result, describing the uniform distribution properties of a finite polynomial orbit $(g(1),\dots ,g(N))$ in a nilmanifold. More specifically we show that there is a factorization $g=\epsilon g^{\prime }\gamma$, where $\epsilon (n)$ is "smooth", $\gamma (n)$ is periodic and "rational", and $(g^{\prime }(a),g^{\prime }(a+d),\dots ,g^{\prime }(a+d(l-1)))$ is uniformly distributed (up to a specified error $\delta$) inside some subnilmanifold $G^{\prime }/{\Gamma }^{\prime }$ of $G/\Gamma$, for all sufficiently dense arithmetic progressions $a,a+d,\dots ,a+d(l-1)$ inside $\{1,..,N\}$. Our bounds are uniform in $N$ and are polynomial in the error tolerance delta. In a subsequent paper we shall use this theorem to establish the Mobius and Nilsequences conjecture from our earlier paper "Linear equations in primes".

62pp. Appeared as Ann. Math. 175 (2012), no. 2, 465--540. August 2015: footnote added in Section 8 to explain an error in the multidimensional case and to link to an erratum resolving this issue

References in corpus (2)

• Ratner's Theorems on Unipotent Flows
• Generalising the Hardy-Littlewood Method for Primes

Cited by in corpus (9)

• Norm convergence of multiple ergodic averages on amenable groups
• The horocycle flow at prime times
• A Hardy field extension of Szemeredi's Theorem
• Sets of recurrence as bases for the positive integers
• Large values of the Gowers-Host-Kra seminorms
• The Bombieri-Vinogradov theorem for nilsequences
• Infinite-step nilsystems, independence and complexity
• On Gowers norms of some functions
• A multidimensional Szemeredi theorem for Hardy sequences of different growth