Hostname: page-component-89b8bd64d-sd5qd Total loading time: 0 Render date: 2026-05-09T19:47:24.226Z 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

Abstract

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 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable