Stable functions and F{\o}lner's Theorem

TL;DR

This paper extends F{46}lner's theorem to amenable groups using tools from continuous logic and topological dynamics, showing that sets with positive density approximate identity neighborhoods in the Bohr topology.

Contribution

It generalizes F{46}lner's theorem to all amenable groups using a novel approach involving local stable group theory and continuous logic.

Findings

Generalization of F{46}lner's theorem to amenable groups

Identification of almost contained neighborhoods in the Bohr topology

Application of continuous logic and topological dynamics techniques

Abstract

We show that if $G$ is an amenable group and $A\subseteq G$ has positive upper Banach density, then there is an identity neighborhood $B$ in the Bohr topology on $G$ that is almost contained in $AA^{-1}$ in the sense that $B\backslash AA^{-1}$ has upper Banach density $0$. This generalizes the abelian case (due to F{\o}lner) and the countable case (due to Beiglb\"{o}ck, Bergelson, and Fish). The proof is indirectly based on local stable group theory in continuous logic. The main ingredients are Grothendieck's double-limit characterization of relatively weakly compact sets in spaces of continuous functions, along with results of Ellis and Nerurkar on the topological dynamics of weakly almost periodic flows.