English

On metric approximate subgroups

Group Theory 2025-10-01 v2 Logic

Abstract

Let GG be a group with a metric d\mathrm{d} invariant under left and right translations, and let Dˉr\bar{\mathbb{D}}_r be the ball of radius rr around the identity. A (k,r)(k,r)-metric approximate subgroup is a symmetric subset XX of GG such that the pairwise product set XXXX is covered by at most kk translates of XDˉrX\bar{\mathbb{D}}_r. This notion was introduced in arXiv:math/0601431 along with the version for discrete groups (approximate subgroups). In arXiv:0909.2190, it was shown for the discrete case that, at the asymptotic limit of XX finite but large, the "approximateness" (or need for more than one translate) can be attributed to a canonically associated Lie group. Here we prove an analogous result in the metric setting, under a certain finite covering assumption on XX replacing finiteness. In particular, if GG has bounded exponent, we show that any (k,r)(k,r)-metric approximate subgroup is close to a (1,r)(1,r')-metric approximate subgroup for an appropriate rr'.

Keywords

Cite

@article{arxiv.2209.01262,
  title  = {On metric approximate subgroups},
  author = {E. Hrushovski and A. Rodriguez Fanlo},
  journal= {arXiv preprint arXiv:2209.01262},
  year   = {2025}
}
R2 v1 2026-06-28T00:39:32.353Z