On dense totipotent free subgroups in full groups

From MaRDI portal
Publication:6182525

DOI10.2140/GT.2023.27.2297arXiv2009.03080MaRDI QIDQ6182525FDOQ6182525


Authors: Alessandro Carderi, Damien Gaboriau, François Le Maître Edit this on Wikidata


Publication date: 21 December 2023

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

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.


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







Cites Work


Cited In (1)





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)