### Current browse context:

math.GR

### Change to browse by:

### References & Citations

# Mathematics > Group Theory

# Title: Quantitative measure equivalence

(Submitted on 3 Feb 2020 (v1), last revised 1 Jun 2021 (this version, v3))

Abstract: We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups that extends the classical setting of $\mathrm L^p$ measure equivalence. In particular we investigate quantitative versions of Orstein Weiss' theorem. Our first main result is a very general monotonicity property satisfied by the isoperimetric profile, which provides a "lower bound" on how integrable a measure coupling between $\mathbb Z$ and an amenable group $\Gamma$ can be. As another application we get that the isoperimetric profile is invariant under $\mathrm L^1$ measure equivalence and monotonous under coarse embedding among amenable groups. On the other hand, we introduce a notion of F{\o}lner tiling, which we use to construct explicit orbit equivalences between amenable groups satisfying certain integrability conditions. We show in a number of instances that the bound given by the isoperimetric profile are sharp up to a logarithmic error. In the context of non-amenable groups, we study the stability of hyperbolicity: Shalom proved that Gromov hyperbolicity is not invariant under $\mathrm L^p$ measure equivalence. Actually his proof yields a stronger statement, which we prove to be optimal in some sense. As a by-product, we show that if $\Gamma$ and $\Lambda$ admit an orbit equivalence coupling satisfying a certain integrability condition, and if $\Gamma$ is hyperbolic, then so is $\Lambda$.

## Submission history

From: François Le Maître [view email]**[v1]**Mon, 3 Feb 2020 13:31:34 GMT (144kb,D)

**[v2]**Wed, 18 Mar 2020 15:31:19 GMT (148kb,D)

**[v3]**Tue, 1 Jun 2021 14:36:40 GMT (158kb,D)

Link back to: arXiv, form interface, contact.