Abstract
In this paper, we combine the general tools developed in [5] with several ideas taken from earlier work on one-dimensional nonconventional ergodic averages by Furstenberg and Weiss [17], Host and Kra [21] and Ziegler [44] to study the averages
associated to a triple of directions p 1, p 2, p 3 ∈ ℤ2 that lie in general position along with 0 ∈ ℤ2. We show how to construct a “pleasant” extension of an initiallygiven ℤ2-system for which these averages admit characteristic factors with a very concrete description, involving the same structure as for those in [2] together with two-step pro-nilsystems (reminiscent of [21] and its predecessors).
We also use this analysis to construct pleasant extensions and then prove norm convergence for the polynomial nonconventional ergodic averages
associated to two commuting transformations T 1, T 2.
Similar content being viewed by others
References
L. Auslander, L. Green, and F. Hahn, Flows on Homogeneous Spaces, Princeton University Press, Princeton, N.J., 1963.
T. Austin, On the norm convergence of nonconventional ergodic averages, Ergodic Theory Dynam. Systems 30 (2009), 321–338.
T. Austin, Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma, J. Anal. Math. 111 (2010), 131–150.
T. Austin, Extensions of probability-preserving systems by measurably-varying homogeneous spaces and applications, Fund. Math. 210 (2010), 133–206.
T. Austin, Pleasant extensions retaining algebraic structure, I, J. Anal. Math. 125 (2015), 1–36.
T. Austin and C. C. Moore, Continuity properties of measurable group cohomology, Math. Ann. 356 (2013), 885–937.
V. Bergelson and A. Leibman, A nilpotent Roth theorem, Invent. Math. 147 (2002), 429–470.
V. Bergelson, T. Tao, and T. Ziegler, An inverse theorem for the uniformity seminorms associated with the action of \({\text{F}}_p^\infty \), Geom. Funct. Anal. 19 (2010), 1539–1596.
Q. Chu, N. Frantzikinakis, and B. Host, Ergodic averages of commuting transformations with distinct degree polynomial iterates, Proc. London Math. Soc. (3) 102 (2011), 801–842.
J.-P. Conze and E. Lesigne, Théorèmes ergodiques pour des mesures diagonales, Bull. Soc. Math. France 112 (1984), 143–175.
J.-P. Conze and E. Lesigne. Sur un théorème ergodique pour des mesures diagonales, in Probabilités, Univ. Rennes I, Rennes, 1988, pp. 1–31.
J.-P. Conze and E. Lesigne, Sur un théorème ergodique pour des mesures diagonales. C. R. Acad. Sci. Paris Sér. I Math. 306 (1988), 491–493.
N. Frantzikinakis and B. Kra, Convergence of multiple ergodic averages for some commuting transformations, Ergodic Theory Dynam. Systems 25 (2005), 799–809.
D. H. Fremlin, Measure Theory, Volume 4: Topological Measure Spaces Parts I and II, Torres Fremlin, Colchester, 2006.
H. Furstenberg. Ergodic behaviour of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Anal. Math. 31 (1977), 204–256.
H. Furstenberg and Y. Katznelson, An ergodic Szemerédi Theorem for commuting transformations, J. Anal. Math. 34 (1978), 275–291.
H. Furstenberg and B. Weiss, A mean ergodic theorem for \(\frac{1}{N}\sum\nolimits_{n = 1}^N {f({T^n}x)g({T^{{n^2}}}x)} \), in Convergence in Ergodic Theory and Probability, de Gruyter, Berlin,1996, pp. 193–227.
E. Glasner, Ergodic Theory via Joinings. American Mathematical Society, Providence, RI, 2003.
B. Green and T. Tao, The quantitative behaviour of polynomial orbits on nilmanifolds, Ann. of Math. (2) 175 (2012), 465–540.
K. H. Hofmann and P. S. Mostert, Cohomology Theories for Compact Abelian Groups, Springer-Verlag, New York, 1973.
B. Host and B. Kra, Nonconventional ergodic averages and nilmanifolds, Ann. of Math. 161(2) (2005), 397–488.
B. Host and B. Kra, Analysis of two step nilsequences, Ann. Inst. Fourier (Grenoble) 58 (2008), 1407–1453.
B. Host and B. Kra, Uniformity seminorms on ℓ ∞ and applications, J. Anal. Math. 108 (2009), 219–276.
A. Leibman, Pointwise convergence of ergodic averages for polynomial actions of ℤd by translations on a nilmanifold, Ergodic Theory Dynam. Systems 25 (2005), 215–225.
A. Leibman, Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold, Ergodic Theory Dynam. Systems 25 (2005), 201–213.
A. Leibman. Rational sub-nilmanifolds of a compact nilmanifold, Ergodic Theory Dynam. Systems 26 (2006), 787–798.
A. Leibman, Orbit of the diagonal in the power of a nilmanifold, Trans. Amer. Math. Soc. 362 (2010), 1619–1658.
M. Lemańczyk, Cohomology groups, multipliers and factors in ergodic theory, Studia Math. 122 (1997), 275–288.
D. Meiri, Generalized correlation sequences, Master’s thesis, Tel Aviv University; available online at http://taalul.com/David/Math/ma.pdf, 1990.
D. Montgomery and L. Zippin, Topological Transformation Groups. Interscience Publishers, New York-London, 1955.
C. C. Moore, Extensions and low dimensional cohomology theory of locally compact groups. I, II, Trans. Amer. Math. Soc. 113 (1964), 40–63.
C. C. Moore, Group extensions and cohomology for locally compact groups. III, Trans. Amer. Math. Soc. 221 (1976), 1–33.
C. C. Moore, Group extensions and cohomology for locally compact groups. IV, Trans. Amer. Math. Soc. 221 (1976), 35–58.
C. C. Moore and K. Schmidt, Coboundaries and homomorphisms for non-singular actions and a problem of H. Helson, Proc. London Math. Soc. (3) 40 (1980), 443–475.
W. Parry, Ergodic properties of affine transformations and flows on nilmanifolds, Amer. J. Math. 91 (1969), 757–771.
W. Parry, Dynamical systems on nilmanifolds, Bull. London Math. Soc. 2 (1970), 37–40.
D. J. Rudolph, Eigenfunctions of T × S and the Conze-Lesigne algebra, in Ergodic Theory and its Connections with Harmonic Analysis, Cambridge Univ. Press, Cambridge, 1995, pp. 369–432.
A. N. Starkov. Dynamical Systems on Homogeneous Spaces, American Mathematical Society, Providence, RI, 2000.
W. A. Veech, A criterion for a process to be prime, Monatsh. Math. 94 (1982), 335–341.
M. Walsh, Norm convergence of nilpotent ergodic averages, Ann. of Math. (2) 175 (2012), 1667–1688.
C. A. Weibel, An Introduction to Homological Algebra, Cambridge University Press, Cambridge, 1994.
D. Wigner, Algebraic cohomology of topological groups, Trans. Amer. Math. Soc. 178 (1973), 83–93.
Q. Zhang, On convergence of the averages (1/N)\((1/N)\sum\nolimits_{n = 1}^N {{f_1}({R^n}x){f_2}({S^n}x){f_3}({T^n}x)} \), Monatsh. Math. 122 (1996), 275–300.
T. Ziegler, Universal characteristic factors and Furstenberg averages, J. Amer. Math. Soc. 20 (2007), 53–97.
R. J. Zimmer, Extensions of ergodic group actions, Illinois J. Math. 20 (1976), 373–409.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Austin, T. Pleasant extensions retaining algebraic structure, II. JAMA 126, 1–111 (2015). https://doi.org/10.1007/s11854-015-0013-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-015-0013-5