Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-08T09:11:21.115Z Has data issue: false hasContentIssue false

Nilsequences, null-sequences, and multiple correlation sequences

Published online by Cambridge University Press:  28 June 2013

A. LEIBMAN*
Affiliation:
Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA email leibman@math.ohio-state.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A ($d$-parameter) basic nilsequence is a sequence of the form $\psi (n)= f({a}^{n} x)$,$n\in { \mathbb{Z} }^{d} $, where $x$ is a point of a compact nilmanifold $X$, $a$ is a translation on $X$, and$f\in C(X)$; a nilsequence is a uniform limit of basic nilsequences. If $X= G/ \Gamma $ is a compact nilmanifold, $Y$ is a subnilmanifold of $X$, $\mathop{(g(n))}\nolimits_{n\in { \mathbb{Z} }^{d} } $ is a polynomial sequence in $G$, and $f\in C(X)$, we show that the sequence $\phi (n)= \int \nolimits \nolimits_{g(n)Y} f$ is the sum of a basic nilsequence and a sequence that converges to zero in uniform density (a null-sequence). We also show that an integral of a family of nilsequences is a nilsequence plus a null-sequence. We deduce that for any invertible finite measure preserving system $(W, \mathcal{B} , \mu , T)$, polynomials ${p}_{1} , \ldots , {p}_{k} : { \mathbb{Z} }^{d} \longrightarrow \mathbb{Z} $, and sets ${A}_{1} , \ldots , {A}_{k} \in \mathcal{B} $, the sequence $\phi (n)= \mu ({T}^{{p}_{1} (n)} {A}_{1} \cap \cdots \cap {T}^{{p}_{k} (n)} {A}_{k} )$, $n\in { \mathbb{Z} }^{d} $, is the sum of a nilsequence and a null-sequence.

Information

Type
Research Article
Copyright
© Cambridge University Press, 2013