Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)

     

Orbit of the diagonal in the power of a nilmanifold

Author(s): A. Leibman
Journal: Trans. Amer. Math. Soc. 362 (2010), 1619-1658.
MSC (2000): Primary 37C99; Secondary 22E25
Posted: October 20, 2009
MathSciNet review: 2563743
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: Let $ X$ be a nilmanifold, that is, a compact homogeneous space of a nilpotent Lie group $ G$, and let $ a\in G$. We study the closure of the orbit of the diagonal of $ X^{r}$ under the action $ (a^{p_{1}(n)} ,\ldots ,a^{p_{r}(n)})$, where $ p_{i}$ are integer-valued polynomials in $ m$ integer variables. (Knowing this closure is crucial for finding limits of the form $ \hbox {lim}_{N\rightarrow \infty }\frac{1}{N^{m}}\sum _{n\in \{1,\ldots ,N\}^{m}} \mu (T^{p_{1}(n)}A_{1}\cap \ldots \cap T^{p_{r}(n)}A_{r})$, where $ T$ is a measure-preserving transformation of a finite measure space $ (Y,\mu )$ and $ A_{i}$ are subsets of $ Y$, and limits of the form $ \hbox {lim}_{N\rightarrow \infty }\frac{1}{N^{m}}\sum _{n\in \{1,\ldots ,N\}^{m}} d((A_{1}+p_{1}(n))\cap \ldots \cap (A_{r}+p_{r}(n)))$, where $ A_{i}$ are subsets of Z and $ d(A)$ is the density of $ A$ in Z.) We give a simple description of the closure of the orbit of the diagonal in the case that all $ p_{i}$ are linear, in the case that $ G$ is connected, and in the case that the identity component of $ G$ is commutative; in the general case our description of the orbit is not explicit.


References:

[B]
V. Bergelson, The multifarious Poincaré recurrence theorem, Descriptive set theory and dynamical systems, vol. 277, London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, 2000, pp. 31-57. MR 1774423 (2001h:37006)

[BHK]
V. Bergelson, B. Host and B. Kra, Multiple recurrence and nilsequences. With an appendix by I. Ruzsa, Inventiones Mathematicae 160 (2005), 261-303. MR 2138068 (2007i:37009)

[BLLe1]
V. Bergelson, A. Leibman and E. Lesigne, Complexities of finite families of polynomials, Weyl systems, and constructions in combinatorial number theory, J. d'Analyse Math. 103 (2007), 47-92. MR 2373264 (2008k:37021)

[BLLe2]
V. Bergelson, A. Leibman and E. Lesigne, Intersective polynomials and the polynomial Szemerédi theorem, Advances in Math. 219 (2008), no. 1, 369-388. MR 2435427

[F]
N. Frantzikinakis, Multiple ergodic averages for three polynomials and applications, Trans. Amer. Math. Soc. 360 (2008), no. 10, 5435-5475. MR 2415080

[FK]
N. Frantzikinakis and B. Kra, Polynomial averages converge to the product of integrals, Israel J. of Math. 148 (2005), 267-276. MR 2191231 (2006i:37011)

[Fu]
H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. d'Analyse Math. 31 (1977), 204-256. MR 0498471 (58:16583)

[GW]
T. Gowers and J. Wolf, The true complexity of a system of linear equations, preprint.

[HK1]
B. Host and B. Kra, Nonconventional ergodic averages and nilmanifolds, Annals of Math. (2) 161 (2005), no. 1, 397-488. MR 2150389 (2007b:37004)

[HK2]
B. Host and B. Kra, Convergence of polynomial ergodic averages, Israel J. of Math. 149 (2005), 1-19. MR 2191208 (2007c:37004)

[L1]
A. Leibman, Polynomial sequences in groups, J. of Algebra 201 (1998), 189-206 (erratum at http://www.math.ohio-state.edu/ $ \scriptstyle{\sim}$leibman/preprints). MR 1608723 (99c:20044)

[L2]
A. Leibman, Polynomial mappings of groups, Israel J. of Math. 129 (2002), 29-60 (erratum at http://www.math.ohio-state.edu/ $ \scriptstyle{\sim}$leibman/preprints). MR 1910931 (2003g:20060)

[L3]
A. Leibman, Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold, Ergodic Theory and Dynam. Syst. 25 (2005), 201-213. MR 2122919 (2006j:37004)

[L4]
A. Leibman, Pointwise convergence of ergodic averages for polynomial actions of $ \Bbb{Z} ^{d}$ by translations on a nilmanifold, Ergodic Theory and Dynam. Syst. 25 (2005), 215-225. MR 2122920 (2006j:37005)

[L5]
A. Leibman, Convergence of multiple ergodic averages along polynomials of several variables, Israel J. of Math. 146 (2005), 303-315. MR 2151605 (2006c:28016)

[L6]
A. Leibman, Host-Kra and Ziegler factors, and convergence of multiple averages (appendix to V. Bergelson, Combinatorial and Diophantine Applications of Ergodic Theory), Handbook of Dynamical Systems, vol. 1B, B. Hasselblatt and A. Katok, eds., Elsevier, 2005, pp. 841-853.

[L7]
A. Leibman, Rational sub-nilmanifolds of a compact nilmanifold, Ergodic Theory and Dynam. Syst. 26 (2006), 787-798. MR 2237471 (2007e:37002)

[L8]
A. Leibman, Orbits on a nilmanifold under the action of a polynomial sequence of translations, Ergodic Theory and Dynam. Syst. 27 (2007), 1239-1252. MR 2342974 (2008m:37009)

[Le]
E. Lesigne, Sur une nil-variété, les parties minimales associées à une translation sont uniquement ergodiques, Ergodic Theory and Dynam. Syst. 11 (1991), 379-391. MR 1116647 (92j:58060)

[Sh]
N. Shah, Invariant measures and orbit closures on homogeneous spaces for actions of subgroups generated by unipotent elements, Lie groups and ergodic theory, Tata Institute of Fundamental Research, Bombay, 1998, pp. 229-271. MR 1699367 (2001a:22012)

[M]
A. Malcev, On a class of homogeneous spaces, Amer. Math. Soc. Transl. 9 (1962), 276-307.

[Z1]
T. Ziegler, A non-conventional ergodic theorem for a nilsystem, Ergodic Theory and Dynam. Syst. 25 (2005), 1357-1370. MR 2158410 (2006d:37009)

[Z2]
T. Ziegler, Universal characteristic factors and Furstenberg averages, J. Amer. Math. Soc. 20 (2007), no. 1, 53-97. MR 2257397 (2007j:37004)

Similar Articles:

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 37C99, 22E25

Retrieve articles in all Journals with MSC (2000): 37C99, 22E25


Additional Information:

A. Leibman
Affiliation: Department of Mathematics, The Ohio State University, Columbus, Ohio 43210
Email: leibman@math.ohio-state.edu

DOI: 10.1090/S0002-9947-09-04961-7
PII: S 0002-9947(09)04961-7
Keywords: Orbits on nilmanifolds, complexity of polynomial systems
Received by editor(s): May 27, 2008
Posted: October 20, 2009
Additional Notes: This research was supported in part by NSF grants DMS-0345350 and DMS-0600042.
Copyright of article: Copyright 2009, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia