On metric approximate subgroups
Abstract
Let be a group with a metric invariant under left and right translations, and let be the ball of radius around the identity. A -metric approximate subgroup is a symmetric subset of such that the pairwise product set is covered by at most translates of . 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 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 replacing finiteness. In particular, if has bounded exponent, we show that any -metric approximate subgroup is close to a -metric approximate subgroup for an appropriate .
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}
}