Generic IRS in free groups, after Bowen

DOI10.1090/PROC/13020MaRDI QIDQ2817002zbMATH OpenOpenAlexFDO

Authors Amichai Eisenmann, Yair Glasner

Publication date 26 August 2016

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.1261

zbMATH Keywords

free groupinvariant random subgroupBorel probability spacelean aperiodic model

Mathematics Subject Classification ID

Measurable group actions (22F10) General groups of measure-preserving transformations and dynamical systems (37A15) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20) Means on groups, semigroups, etc.; amenable groups (43A07) Multiply transitive infinite groups (20B22)

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=langle{s}_1,ldots,s_{r}angle$ is a free group on $r$-generators and $alphainoperatornameHom(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 $operatornameHom(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^{i}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.

Recommendations

• Invariant random subgroups of the free group
• Invariant random subgroups of linear groups
• Furstenberg entropy of intersectional invariant random subgroups
• Highly faithful actions and dense free subgroups in full groups
• A lecture on invariant random subgroups

Cites work

• A PERMUTATION REPRESENTATION OF A FREE GROUP
• Amenability, hyperfiniteness, and isoperimetric inequalities
• Amenable invariant random subgroups
• Character rigidity for special linear groups.
• Cost of equivalence relations and groups
• Ergodic Equivalence Relations, Cohomology, and Von Neumann Algebras. I
• Ergodic theory of amenable group actions. I: The Rohlin lemma
• Global aspects of ergodic group actions
• Highly transitive actions of \(\mathrm{Out}(F_n)\).
• Highly transitive actions of free products.
• Highly-transitive actions of surface groups.
• Invariant means and the structure of inner amenable groups
• Invariant random subgroups of the free group
• Kesten's theorem for invariant random subgroups.
• Limite d'ensembles et géométrie des nombres
• Nonfree actions of countable groups and their characters
• On the growth of Betti numbers of locally symmetric spaces
• On the growth of \(L^2\)-invariants for sequences of lattices in Lie groups
• Random walks on random coset spaces with applications to Furstenberg entropy
• Stabilizers for ergodic actions of higher rank semisimple groups
• Strong approximation in random towers of graphs.
• The measurable Kesten theorem
• The number of topological generators for full groups of ergodic equivalence relations
• Topics in orbit equivalence
• Transitivity degrees of countable groups and acylindrical hyperbolicity

Cited in

(7)

• Unimodular measures on the space of all Riemannian manifolds
• Topology and convexity in the space of actions modulo weak equivalence
• Confined subgroups and high transitivity
• On a measurable analogue of small topological full groups
• On dense totipotent free subgroups in full groups
• Faithful invariant random subgroups in acylindrically hyperbolic groups
• Invariant random subgroups of linear groups

This page was built for publication: Generic IRS in free groups, after Bowen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817002)