On the quasi-isometric classification of permutational wreath products
Vincent Dumoncel
TL;DR
The article develops a comprehensive quasi-isometric classification for permutational wreath products $F\wr_{G/M}G$, under finite presentation and non-coarse-separation hypotheses, extending prior results on lamplighters. The authors prove an embedding theorem that factors coarse embeddings through a geometric model built from a graph product, and then show how leaf-preserving quasi-isometries induce base-pair quasi-isometries and scaling data, with a detailed dichotomy depending on co-amenability of the base subgroup. In the non-amenable case, quasi-isometries are governed by the prime divisors of lamp groups, while in the amenable case scaling groups come into play, yielding a robust classification that applies to iterated wreath products and halo constructions. These results yield precise rigidity and flexibility phenomena for permutational lamplighters and enable broad applications, including biLipschitz classifications and corollaries for direct-product bases. The work combines embedding theorems, quasi-median geometry, cone-offs, and new descriptions of lamplighter graphs to advance understanding of large-scale geometry in permutational contexts.
Abstract
In this article, we initiate the study of the large-scale geometry of permutational wreath products of the form $F\wr_{H/N}H$, where $H$ is finitely presented and where $N$ is a normal subgroup of $H$ satisfying a certain assumption of non coarse separation. The main result is a complete classification of such permutational wreath products up to quasi-isometry, building up on previous works from Genevois and Tessera. For instance, we show that, for $d\ge k\ge 2$, $\mathbb{Z}_{n}\wr_{\mathbb{Z}^{k}} \mathbb{Z}^d$ and $\mathbb{Z}_{m}\wr_{\mathbb{Z}^{k}}\mathbb{Z}^d$ are quasi-isometric if and only if $n$ and $m$ are powers of a common number. We also discuss biLipschitz equivalences between permutational wreath products, their scaling groups, as well as the quasi-isometric classification of other halo products built out of such permutational lamplighters.
