On dense totipotent free subgroups in full groups

DOI10.2140/GT.2023.27.2297MaRDI QIDQ6182525zbMATH OpenFDO

Authors Alessandro Carderi, Damien Gaboriau, François Le Maître

Publication date 21 December 2023

Published in Geometry \& Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

free groupsorbit equivalenceergodic equivalence relationsIRSspace of subgroupsnonfree actionsmeasurable group actionstransitive actions of countable groups

Mathematics Subject Classification ID

Measurable group actions (22F10) Groups as automorphisms of other structures (22F50) General groups of measure-preserving transformations and dynamical systems (37A15) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05)

Abstract: We study probability measure preserving (p.m.p.) non-free actions of free groups and the associated IRS's. The perfect kernel of a countable group Gamma is the largest closed subspace of the space of subgroups of Gamma without isolated points. We introduce the class of totipotent ergodic p.m.p. actions of Gamma: those for which almost every point-stabilizer has dense conjugacy class in the perfect kernel. Equivalently, the support of the associated IRS is as large as possible, namely it is equal to the whole perfect kernel. We prove that every ergodic p.m.p. equivalence relation R of cost $<r$ can be realized by the orbits of an action of the free group F_r on r generators that is totipotent and such that the image in the full group [R] is dense. We explain why these actions have no minimal models.This also provides a continuum of pairwise orbit inequivalent invariant random subgroups of F_r, all of whose supports are equal to the whole space of infinite index subgroups. We are led to introduce a property of topologically generating pairs for full groups (we call evanescence) and establish a genericity result about their existence. We show that their existence characterizes cost 1.

Recommendations

• Highly faithful actions and dense free subgroups in full groups
• Weak containment in the space of actions of a free group
• Generic IRS in free groups, after Bowen
• Orbit equivalence and actions of
• Orbit inequivalent actions for groups containing a copy of \(\mathbb{F}_{2}\)

Cites work

• Characteristic random subgroups of geometric groups and free abelian groups of infinite rank
• Co-induction and invariant random subgroups
• Cost of equivalence relations and groups
• Equivalence of measure preserving transformations
• Generic IRS in free groups, after Bowen
• Global aspects of ergodic group actions
• Highly faithful actions and dense free subgroups in full groups
• Invariant random subgroups of lamplighter groups
• Invariant random subgroups of the free group
• Kesten's theorem for invariant random subgroups.
• Minimal models for free actions
• On Groups of Measure Preserving Transformations. I
• On full groups of non-ergodic probability-measure-preserving equivalence relations
• On the Cantor-Bendixson rank of the Grigorchuk group and the Gupta-Sidki 3 group
• Orbit equivalence and measured group theory
• Stabilizers for ergodic actions of higher rank semisimple groups
• The number of topological generators for full groups of ergodic equivalence relations
• Topics in orbit equivalence
• Topological properties of full groups
• Uniformly recurrent subgroups

Cited in

(1)

• scientific article; zbMATH DE number 1978315 (Why is no real title available?)

This page was built for publication: On dense totipotent free subgroups in full groups

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