Isoperimetric profiles of lamplighter-like groups

Abstract

Given a finitely generated amenable group $H$ satisfying some mild assumptions, we relate isoperimetric profiles of the lampshuffler group $\mathsf{Shuffler}(H)=\mathsf{FSym}(H)\rtimes H$ to those of $H$. Our results are sharp for all exponential growth groups for which isoperimetric profiles are known, including Brieussel-Zheng groups. This refines previous estimates obtained by Erschler and Zheng and by Saloff-Coste and Zheng. The most difficult part is to find an optimal upper bound, and our strategy consists in finding suitable lamplighter subgraphs in lampshufflers. This novelty applies more generally for many examples of halo products, a class of groups introduced recently by Genevois and Tessera as a natural generalisation of wreath products. Lastly, we also give applications of our estimates on isoperimetric profiles to the existence problem of regular maps between such groups.