Generic IRS in free groups, after Bowen

Abstract

Let $E$ be a measure preserving equivalence relation, with countable equivalence classes, on a standard Borel probability space $(X,B,\mu )$. Let $([E],d_u)$ be the the (Polish) full group endowed with the uniform metric. If $F_r=⟨s_1,\dots ,s_r⟩$ is a free group on $r$-generators and $\alpha \in \mathrm{Hom}(F_r,[E])$ then the stabilizer of a $\mu$-random point $\alpha (F_r{)}_x$ is a random subgroup of $F_r$ whose distribution is conjugation invariant. Such an object is known as an "invariant random subgroup" or an IRS for short. Bowen's generic model for IRS in $F_r$ is obtained by taking $\alpha$ to be a Baire generic element in the Polish space $\mathrm{Hom}(F_r,[E])$. The "lean aperiodic model" is a similar model where one forces $\alpha (F_r)$ to have infinite orbits by imposing that $\alpha (s_1)$ be aperiodic. In this setting we show that for $r<\infty$ the generic IRS $\alpha (F_r{)}_x$ is of finite index in $F_r$ a.s. if and only if $E=E_0$ is the hyperfinite equivalence relation. For any ergodic equivalence relation we show that a generic IRS coming from the lean aperiodic model is co-amenable and core free. Finally, we consider the situation where $\alpha (F_r)$ is highly transitive on almost every orbit and in particular the corresponding IRS is supported on maximal subgroups. Using a result of Le-Maître we show that such examples exist for any aperiodic ergodic $E$ of finite cost. For the hyperfinite equivalence relation $E_0$ we show that high transitivity is generic in the lean aperiodic model.

15 pages, 1 figure

References in corpus (13)

• Kesten's theorem for Invariant Random Subgroups
• Operator-algebraic superrigidity for $S{L}_n(\mathbb{Z}),n\ge 3$
• Amenable Invariant Random Subgroups
• On the convergence of arithmetic orbifolds
• Invariant random subgroups of the lamplighter group
• Highly Transitive Actions of Out(Fn)
• The number of topological generators for full groups of ergodic equivalence relations
• Invariant random subgroups of linear groups
• Random walks on random coset spaces with applications to Furstenberg entropy
• Transitivity degrees of countable groups and acylindrical hyperbolicity
• Characteristic random subgroups of geometric groups and free abelian groups of infinite rank
• Nonfree Actions of Countable Groups and their Characters
• Invariant random subgroups of strictly diagonal limits of finite symmetric groups

Cited by in corpus (1)

• Highly faithful actions and dense free subgroups in full groups