Structure and regularity for subsets of groups with finite VC-dimension (Q2119373)

Summary: Suppose \(G\) is a finite group and \(A\subseteq G\) is such that \(\{gA:g\in G\}\) has VC-dimension strictly less than \(k\). We find algebraically well-structured sets in \(G\) which, up to a chosen \(\epsilon > 0\), describe the structure of \(A\) and behave regularly with respect to translates of \(A\). For the subclass of groups with uniformly fixed finite exponent \(r\), these algebraic objects are normal subgroups with index bounded in terms of \(k,r\), and \(\epsilon\). For arbitrary groups, we use Bohr neighborhoods of bounded rank and width inside normal subgroups of bounded index. Our proofs are largely model-theoretic, and heavily rely on a structural analysis of compactifications of pseudofinite groups as inverse limits of Lie groups. The introduction of Bohr neighborhoods into the nonabelian setting uses model-theoretic methods related to the work of Breuillard, Green, and Tao [8] and Hrushovski [28] on approximate groups, as well as a result of Alekseev, Glebskiĭ, and Gordon [1] on approximate homomorphisms.