On metric approximate subgroups
Abstract
Let $G$ be a group with a metric $\mathrm{d}$ invariant under left and right translations, and let $\bar{\mathbb{D}}_r$ be the ball of radius $r$ around the identity. A $(k,r)$-metric approximate subgroup is a symmetric subset $X$ of $G$ such that the pairwise product set $XX$ is covered by at most $k$ translates of $X\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 $X$ 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 $X$ replacing finiteness. In particular, if $G$ has bounded exponent, we show that any $(k,r)$-metric approximate subgroup is close to a $(1,r')$-metric approximate subgroup for an appropriate $r'$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2022
- DOI:
- 10.48550/arXiv.2209.01262
- arXiv:
- arXiv:2209.01262
- Bibcode:
- 2022arXiv220901262H
- Keywords:
-
- Mathematics - Group Theory;
- Mathematics - Logic;
- 03C98;
- 11P70;
- 20N99;
- 20A15