Quotient sets and density recurrent sets
HTML articles powered by AMS MathViewer
- by Vitaly Bergelson and Neil Hindman PDF
- Trans. Amer. Math. Soc. 364 (2012), 4495-4531 Request permission
Abstract:
Let $S$ be a left amenable semigroup. Say that a subset $A$ of $S$ is large if there is some left invariant mean $\mu$ on $S$ with $\mu (\chi _A)>0$. A subset $B$ of $S$ is density recurrent if and only if, whenever $A$ is a large subset of $S$, there is some $x\in B$ such that $x^{-1}A\cap A$ is large. We show that the set $\mathcal {DR}(S)$ of ultrafilters on $S$, every member of which is density recurrent, is a compact subsemigroup of the Stone-Čech compactification $\beta S$ of $S$ containing the idempotents of $\beta S$. If $S$ is a group, we show that for every nonprincipal ultrafilter $p$ on $S$, $p^{-1} p\in \mathcal {DR}(S)$, where $p^{-1}=\{A^{-1}:A\in p\}$. We obtain combinatorial characterizations of sets which are members of a product of $k$ idempotents and of sets which are members of a product of $k$ elements of the form $p^{-1} p$ for each $k\in \mathbb {N}$. We show that $\mathcal {DR}(\mathbb {N},+)$ has substantial multiplicative structure. We show further that if $A$ is a large subset of $S$, then $\mathcal {DR}(S)\subseteq \overline {AA^{-1}}$, where the quotient set $AA^{-1}=\{x\in S:(\exists y\in A)(xy\in A)\}$. For each positive integer $n$, we introduce the notion of a polynomial $n$-recurrent set in $\mathbb {N}$. (Such sets provide a generalization of the polynomial Szemerédi Theorem.) We show that the ultrafilters, every member of which is a polynomial $n$-recurrent set, are a subsemigroup of $(\beta \mathbb {N},+)$ containing the additive idempotents and a left ideal of $(\beta \mathbb {N},\cdot )$.References
- L. N. Argabright and C. O. Wilde, Semigroups satisfying a strong Følner condition, Proc. Amer. Math. Soc. 18 (1967), 587–591. MR 210797, DOI 10.1090/S0002-9939-1967-0210797-2
- Vitaly Bergelson, Sets of recurrence of $\textbf {Z}^m$-actions and properties of sets of differences in $\textbf {Z}^m$, J. London Math. Soc. (2) 31 (1985), no. 2, 295–304. MR 809951, DOI 10.1112/jlms/s2-31.2.295
- Vitaly Bergelson, Ergodic theory and Diophantine problems, Topics in symbolic dynamics and applications (Temuco, 1997) London Math. Soc. Lecture Note Ser., vol. 279, Cambridge Univ. Press, Cambridge, 2000, pp. 167–205. MR 1776759
- Vitaly Bergelson, Paul Erdős, Neil Hindman, and Tomasz Łuczak, Dense difference sets and their combinatorial structure, The mathematics of Paul Erdős, I, Algorithms Combin., vol. 13, Springer, Berlin, 1997, pp. 165–175. MR 1425184, DOI 10.1007/978-3-642-60408-9_{1}4
- Vitaly Bergelson and Neil Hindman, Partition regular structures contained in large sets are abundant, J. Combin. Theory Ser. A 93 (2001), no. 1, 18–36. MR 1807110, DOI 10.1006/jcta.2000.3061
- Vitaly Bergelson, Neil Hindman, and Randall McCutcheon, Notions of size and combinatorial properties of quotient sets in semigroups, Proceedings of the 1998 Topology and Dynamics Conference (Fairfax, VA), 1998, pp. 23–60. MR 1743799
- V. Bergelson and R. McCutcheon, Recurrence for semigroup actions and a non-commutative Schur theorem, Topological dynamics and applications (Minneapolis, MN, 1995) Contemp. Math., vol. 215, Amer. Math. Soc., Providence, RI, 1998, pp. 205–222. MR 1603193, DOI 10.1090/conm/215/02942
- Vitaly Bergelson and Randall McCutcheon, An ergodic IP polynomial Szemerédi theorem, Mem. Amer. Math. Soc. 146 (2000), no. 695, viii+106. MR 1692634, DOI 10.1090/memo/0695
- Robert Ellis, Distal transformation groups, Pacific J. Math. 8 (1958), 401–405. MR 101283
- Erling Følner, On groups with full Banach mean value, Math. Scand. 3 (1955), 243–254. MR 79220, DOI 10.7146/math.scand.a-10442
- A. Frey, Jr., Studies on amenable semigroups, Thesis, University of Washington, 1960.
- H. Furstenberg, Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, N.J., 1981. M. B. Porter Lectures. MR 603625
- H. Furstenberg and Y. Katznelson, An ergodic Szemerédi theorem for IP-systems and combinatorial theory, J. Analyse Math. 45 (1985), 117–168. MR 833409, DOI 10.1007/BF02792547
- H. Furstenberg and Y. Katznelson, $\textrm {IP}_r$-sets, Szemerédi’s theorem, and Ramsey theory, Bull. Amer. Math. Soc. (N.S.) 14 (1986), no. 2, 275–278. MR 828825, DOI 10.1090/S0273-0979-1986-15438-8
- Neil Hindman and Dona Strauss, Algebra in the Stone-Čech compactification, De Gruyter Expositions in Mathematics, vol. 27, Walter de Gruyter & Co., Berlin, 1998. Theory and applications. MR 1642231, DOI 10.1515/9783110809220
- Neil Hindman and Dona Strauss, Density and invariant means in left amenable semigroups, Topology Appl. 156 (2009), no. 16, 2614–2628. MR 2561213, DOI 10.1016/j.topol.2009.04.016
- Neil Hindman and Dona Strauss, Sets satisfying the central sets theorem, Semigroup Forum 79 (2009), no. 3, 480–506. MR 2564059, DOI 10.1007/s00233-009-9179-4
- Keith R. Milliken, Ramsey’s theorem with sums or unions, J. Combinatorial Theory Ser. A 18 (1975), 276–290. MR 373906, DOI 10.1016/0097-3165(75)90039-4
- I. Namioka, Følner’s conditions for amenable semi-groups, Math. Scand. 15 (1964), 18–28. MR 180832, DOI 10.7146/math.scand.a-10723
- Alan D. Taylor, A canonical partition relation for finite subsets of $\omega$, J. Combinatorial Theory Ser. A 21 (1976), no. 2, 137–146. MR 424571, DOI 10.1016/0097-3165(76)90058-3
Additional Information
- Vitaly Bergelson
- Affiliation: Department of Mathematics, Ohio State University, Columbus, Ohio 43210
- MR Author ID: 35155
- Email: vitaly@math.ohio-state.edu
- Neil Hindman
- Affiliation: Department of Mathematics, Howard University, Washington, DC 20059
- MR Author ID: 86085
- Email: nhindman@aol.com
- Received by editor(s): January 2, 2010
- Received by editor(s) in revised form: July 7, 2010
- Published electronically: March 12, 2012
- Additional Notes: The authors acknowledge support received from the National Science Foundation via Grants DMS-0901106 and DMS-0852512 respectively.
- © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 364 (2012), 4495-4531
- MSC (2010): Primary 22A15, 03E05, 05D10; Secondary 54D35
- DOI: https://doi.org/10.1090/S0002-9947-2012-05417-1
- MathSciNet review: 2922599
Dedicated: Dedicated to Dona Strauss on the occasion of her $75^{\mathrm {th}}$ birthday.