English

Single recurrence in abelian groups

Dynamical Systems 2017-03-29 v2

Abstract

We collect problems on recurrence for measure preserving and topological actions of a countable abelian group, considering combinatorial versions of these problems as well. We solve one of these problems by constructing, in G2:=n=1Z/2ZG_{2}:=\bigoplus_{n=1}^{\infty} \mathbb Z/2\mathbb Z, a set SS such that every translate of SS is a set of topological recurrence, while SS is not a set of measurable recurrence. This construction answers negatively a variant of the following question asked by several authors: if AZA\subset \mathbb Z has positive upper Banach density, must AAA-A contain a Bohr neighborhood of some nZn\in \mathbb Z? We also solve a variant of a problem posed by the author by constructing, for all ε>0\varepsilon>0, sets S,AG2S, A\subseteq G_{2} such that every translate of SS is a set of topological recurrence, d(A)>1εd^{*}(A)>1-\varepsilon, and the sumset S+AS+A is not piecewise syndetic. Here dd^{*} denotes upper Banach density.

Keywords

Cite

@article{arxiv.1701.00465,
  title  = {Single recurrence in abelian groups},
  author = {John T. Griesmer},
  journal= {arXiv preprint arXiv:1701.00465},
  year   = {2017}
}

Comments

Revision 2: Typos corrected, minor changes to exposition, including definition of cylinder sets and restrictions in Section 3. Intentional text overlap with arxiv:1608.01014 in order to keep both articles self contained. 39 pages, comments welcome!

R2 v1 2026-06-22T17:39:23.037Z