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

DOI10.4171/JEMS/1111MaRDI QIDQ6297648arXivFDO

Authors Gabriel Conant, Anand Pillay, Caroline A. Terry

Publication date 12 February 2018

Published in arXiv

Full work available at URL https://doi.org/10.4171/JEMS/1111

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Classification theory, stability, and related concepts in model theory (03C45) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Compact groups (22C05) Analysis on (p)-adic Lie groups (22E35)

arXiv classification

math.COmath.GRmath.LO

Abstract: Suppose $G$ is a finite group and $AsubseteqG$ is such that $gA:ginG$ 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 and Hrushovski on approximate groups, as well as a result of Alekseev, Glebskii, and Gordon on approximate homomorphisms.

This page was built for publication: Structure and regularity for subsets of groups with finite VC-dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6297648)