Measure equivalence rigidity of $\mathrm{Out}(F_N)$

Abstract

We prove that for every $N\ge 3$, the group $\mathrm{Out}(F_N)$ of outer automorphisms of a free group of rank $N$ is superrigid from the point of view of measure equivalence: any countable group that is measure equivalent to $\mathrm{Out}(F_N)$, is in fact virtually isomorphic to $\mathrm{Out}(F_N)$. We introduce three new constructions of canonical splittings associated to a subgroup of $\mathrm{Out}(F_N)$ of independent interest. They encode respectively the collection of invariant free splittings, invariant cyclic splittings, and maximal invariant free factor systems. Our proof also relies on the following improvement of an amenability result by Bestvina and the authors: given a free factor system $\mathcal{F}$ of $F_N$, the action of $\mathrm{Out}(F_N,\mathcal{F})$ (the subgroup of $\mathrm{Out}(F_N)$ that preserves $\mathcal{F}$) on the space of relatively arational trees with amenable stabilizer is a Borel amenable action.

arXiv commentv3: revision after referee report. One section reorganized and split, improved exposition, added references

References in corpus (19)

• The mapping class group from the viewpoint of measure equivalence theory
• Core and intersection number for group actions on trees
• JSJ decompositions of groups
• Orbit inequivalent actions of non-amenable groups
• The boundary of the complex of free factors
• Trees of cylinders and canonical splittings
• A survey of Measured Group Theory
• The Tits alternative for the automorphism group of a free product
• Reducing systems for very small trees
• The boundary of the free splitting graph and the free factor graph
• Algebraic laminations for free products and arational trees
• OE and W* superrigidity results for actions by surface braid groups
• Highly Transitive Actions of Out(Fn)
• Relative free splitting and free factor complexes I: Hyperbolicity
• Boundaries of relative factor graphs and subgroup classification for automorphisms of free products
• McCool groups of toral relatively hyperbolic groups
• Boundary amenability and measure equivalence rigidity among two-dimensional Artin groups of hyperbolic type
• Normalizers and centralizers of cyclic subgroups generated by lone axis fully irreducible outer automorphisms
• Cayley graphs with few automorphisms: the case of infinite groups

Cited by in corpus (1)

• On the action of relatively irreducible automorphisms on their train tracks