Hostname: page-component-7479d7b7d-wxhwt Total loading time: 0 Render date: 2024-07-12T19:57:40.528Z Has data issue: false hasContentIssue false

Equidistribution of joinings under off-diagonal polynomial flows of nilpotent Lie groups

Published online by Cambridge University Press:  05 September 2012

TIM AUSTIN*
Affiliation:
Mathematics Department, Brown University, Box 1917, 151 Thayer Street, Providence, RI 02912, USA (email: timaustin@math.brown.edu)

Abstract

Let $G$ be a connected nilpotent Lie group. Given probability-preserving$G$-actions $(X_i,\Sigma _i,\mu _i,u_i)$, $i=0,1,\ldots ,k$, and also polynomial maps $\phi _i:\mathbb {R}\to G$, $i=1,\ldots ,k$, we consider the trajectory of a joining $\lambda $ of the systems $(X_i,\Sigma _i,\mu _i,u_i)$ under the ‘off-diagonal’ flow

\[ (t,(x_0,x_1,x_2,\ldots ,x_k))\mapsto (x_0,u_1^{\phi _1(t)}x_1,u_2^{\phi _2(t)}x_2,\ldots ,u_k^{\phi _k(t)}x_k). \]
It is proved that any joining $\lambda $ is equidistributed under this flow with respect to some limit joining $\lambda '$. This is deduced from the stronger fact of norm convergence for a system of multiple ergodic averages, related to those arising in Furstenberg’s approach to the study of multiple recurrence. It is also shown that the limit joining $\lambda '$ is invariant under the subgroup of $G^{k+1}$generated by the image of the off-diagonal flow, in addition to the diagonal subgroup.

Type
Research Article
Copyright
Copyright © 2012 Cambridge University Press 

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.)

References

[1]Austin, T.. Multiple recurrence and the structure of probability-preserving systems. Unpublished survey, arXiv.org:1006.0491.Google Scholar
[2]Austin, T.. Norm convergence of continuous time polynomial multiple ergodic averages. Ergod. Th. & Dynam. Syst. 32(2) (2011), 361382.Google Scholar
[3]Austin, T.. Pleasant extensions retaining algebraic structure, I. Preprint, arXiv.org:0905.0518.Google Scholar
[4]Austin, T.. Pleasant extensions retaining algebraic structure, II. Preprint, arXiv.org:0910.0907.Google Scholar
[5]Austin, T.. On the norm convergence of nonconventional ergodic averages. Ergod. Th. & Dynam. Sys. 30(2) (2009), 321338.Google Scholar
[6]Austin, T.. Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma. J. Anal. Math. 111 (2010), 131150.Google Scholar
[7]Bergelson, V.. Weakly mixing PET. Ergod. Th. & Dynam. Sys. 7(3) (1987), 337349.Google Scholar
[8]Bergelson, V.. Ergodic Ramsey theory – an update. Ergodic Theory of $\mathbb {Z}^d$-actions: Proceedings of the Warwick Symposium 1993–4. Eds. M. Pollicott and K. Schmidt. Cambridge University Press, Cambridge, 1996, pp. 1–61.Google Scholar
[9]Bergelson, V. and Leibman, A.. A nilpotent Roth theorem. Invent. Math. 147(2) (2002), 429470.Google Scholar
[10]Bergelson, V. and Leibman, A.. Failure of the Roth theorem for solvable groups of exponential growth. Ergod. Th. & Dynam. Sys. 24(1) (2004), 4553.Google Scholar
[11]Bochnak, J., Coste, M. and Roy, M.-F.. Real Algebraic Geometry (Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 36). Springer, Berlin, 1998, translated from the 1987 French original, revised by the authors.Google Scholar
[12]Bourgain, J.. Double recurrence and almost sure convergence. J. Reine Angew. Math. 404 (1990), 140161.Google Scholar
[13]Chu, Q., Frantzikinakis, N. and Host, B.. Ergodic averages of commuting transformations with distinct degree polynomial iterates. Proc. Lond. Math. Soc. (3) to appear.Google Scholar
[14]Corwin, L. J. and Greenleaf, F. P.. Representations of Nilpotent Lie Groups and their Applications. Part I (Cambridge Studies in Advanced Mathematics, 18). Cambridge University Press, Cambridge, 1990.Google Scholar
[15]Furstenberg, H.. Ergodic behaviour of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. Anal. Math. 31 (1977), 204256.Google Scholar
[16]Furstenberg, H. and Katznelson, Y.. An ergodic Szemerédi theorem for commuting transformations. J. Anal. Math. 34 (1978), 275291.Google Scholar
[17]Furstenberg, H. and Weiss, B.. A mean ergodic theorem for $\frac {1}{N}\sum _{n=1}^{N}f({T}^nx)g({T}^{n^2}x)$. Convergence in Ergodic Theory and Probability. Eds. Bergleson, V., March, A. and Rosenblatt, J.. De Gruyter, Berlin, 1996, pp. 193227.Google Scholar
[18]Glasner, E.. Ergodic Theory via Joinings. American Mathematical Society, Providence, RI, 2003.Google Scholar
[19]Host, B.. Ergodic seminorms for commuting transformations and applications. Studia Math. 195(1) (2009), 3149.Google Scholar
[20]Host, B. and Kra, B.. Convergence of polynomial ergodic averages. Israel J. Math. 149 (2005), 119.CrossRefGoogle Scholar
[21]Host, B. and Kra, B.. Nonconventional ergodic averages and nilmanifolds. Ann. Math. 161(1) (2005), 397488.Google Scholar
[22]Kuipers, L. and Niederreiter, H.. Uniform Distribution of Sequences. Wiley, New York, 1974.Google Scholar
[23]Leibman, A.. Multiple recurrence theorem for measure preserving actions of a nilpotent group. Geom. Funct. Anal. 8(5) (1998), 853931.Google Scholar
[24]Leibman, A.. The structure of unitary actions of finitely generated nilpotent groups. Ergod. Th. & Dynam. Sys. 20(3) (2000), 809820.Google Scholar
[25]Leibman, A.. Convergence of multiple ergodic averages along polynomials of several variables. Israel J. Math. 146 (2005), 303315.Google Scholar
[26]Lesigne, E., Rittaud, B. and de la Rue, T.. Weak disjointness of measure-preserving dynamical systems. Ergod. Th. & Dynam. Sys. 23(4) (2003), 11731198.Google Scholar
[27]Margulis, G. A.. Dynamical and ergodic properties of subgroup actions on homogeneous spaces with applications to number theory. Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990). Mathematical Society of Japan, Tokyo, 1991, pp. 193215.Google Scholar
[28]Morris, D. W.. Ratner’s Theorems on Unipotent Flows (Chicago Lectures in Mathematics). University of Chicago Press, Chicago, 2005.Google Scholar
[29]Passi, I. B. S.. Polynomial maps on groups. J. Algebra 9 (1968), 121151.Google Scholar
[30]Passi, I. B. S.. Group Rings and Their Augmentation Ideals (Lecture Notes in Mathematics, 715). Springer, Berlin, 1979.Google Scholar
[31]Potts, A.. Multiple ergodic averages for flows and an application. Illinois J. Math. to appear.Google Scholar
[32]Pugh, C. and Shub, M.. Ergodic elements of ergodic actions. Compositio Math. 23 (1971), 115122.Google Scholar
[33]Ratner, M.. On measure rigidity for unipotent subgroups of semisimple lie groups. Acta Math. 165 (1990), 229309.Google Scholar
[34]Ratner, M.. Strict measure rigidity for unipotent subgroups of solvable groups. Invent. Math. 101 (1990), 449482.Google Scholar
[35]Ratner, M.. On Raghunathan’s measure conjecture. Ann. of Math. (2) 134(3) (1991), 545607.Google Scholar
[36]Ratner, M.. Raghunathan’s topological conjecture and distributions of unipotent flows. Duke Math. J. 63(1) (1991), 235280.Google Scholar
[37]Shah, N. A.. Limit distributions of polynomial trajectories on homogeneous spaces. Duke Math. J. 75(3) (1994), 711732.Google Scholar
[38]Starkov, A. N.. Dynamical Systems on Homogeneous Spaces (Translations of Mathematical Monographs, 190). American Mathematical Society, Providence, RI, 2000, translated from the 1999 Russian original by the author.Google Scholar
[39]Szemerédi, E.. On sets of integers containing no $k$ elements in arithmetic progression. Acta Arith. 27 (1975), 199245.Google Scholar
[40]Tao, T.. Norm convergence of multiple ergodic averages for commuting transformations. Ergod. Th. & Dynam. Sys. 28 (2008), 657688.Google Scholar
[41]Tao, T. and Vu, V.. Additive Combinatorics. Cambridge University Press, Cambridge, 2006.Google Scholar
[42]Varadarajan, V. S.. Geometry of Quantum Theory, 2nd edn. Springer, New York, 1985.Google Scholar
[43]Walsh, M. N.. Norm convergence of nilpotent ergodic averages. Ann. of Math. (2) to appear.Google Scholar
[44]Ziegler, T.. Universal characteristic factors and Furstenberg averages. J. Amer. Math. Soc. 20(1) (2007), 5397 (electronic).Google Scholar