Generic IRS in free groups, after Bowen

DOI10.1090/PROC/13020zbMATH Open1366.37006arXiv1406.1261OpenAlexW2369464184MaRDI QIDQ2817002FDOQ2817002

Authors: Amichai Eisenmann, Yair Glasner 

Publication date: 26 August 2016

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

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.

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

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

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)

Cites Work

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

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 dense totipotent free subgroups in full groups
• On a measurable analogue of small topological 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)