TY - JOUR

T1 - Nonconventional ergodic averages and nilmanifolds

AU - Host, Bernard

AU - Kra, Bryna

PY - 2005/1

Y1 - 2005/1

N2 - We study the L2-convergence of two types of ergodic averages. The first is the average of a product of functions evaluated at return times along arithmetic progressions, such as the expressions appearing in Furstenberg's proof of Szemerédi's theorem. The second average is taken along cubes whose sizes tend to +∞. For each average, we show that it is sufficient to prove the convergence for special systems, the characteristic factors. We build these factors in a general way, independent of the type of the average. To each of these factors we associate a natural group of transformations and give them the structure of a nilmanifold. From the second convergence result we derive a combinatorial interpretation for the arithmetic structure inside a set of integers of positive upper density.

AB - We study the L2-convergence of two types of ergodic averages. The first is the average of a product of functions evaluated at return times along arithmetic progressions, such as the expressions appearing in Furstenberg's proof of Szemerédi's theorem. The second average is taken along cubes whose sizes tend to +∞. For each average, we show that it is sufficient to prove the convergence for special systems, the characteristic factors. We build these factors in a general way, independent of the type of the average. To each of these factors we associate a natural group of transformations and give them the structure of a nilmanifold. From the second convergence result we derive a combinatorial interpretation for the arithmetic structure inside a set of integers of positive upper density.

UR - http://www.scopus.com/inward/record.url?scp=23444458042&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=23444458042&partnerID=8YFLogxK

U2 - 10.4007/annals.2005.161.397

DO - 10.4007/annals.2005.161.397

M3 - Article

AN - SCOPUS:23444458042

SN - 0003-486X

VL - 161

SP - 397

EP - 488

JO - Annals of Mathematics

JF - Annals of Mathematics

IS - 1

ER -