Download this article
 Download this article For screen
For printing
Recent Issues

Volume 28
Issue 7, 3001–3510
Issue 6, 2483–2999
Issue 5, 1995–2482
Issue 4, 1501–1993
Issue 3, 1005–1499
Issue 2, 497–1003
Issue 1, 1–496

Volume 27, 9 issues

Volume 26, 8 issues

Volume 25, 7 issues

Volume 24, 7 issues

Volume 23, 7 issues

Volume 22, 7 issues

Volume 21, 6 issues

Volume 20, 6 issues

Volume 19, 6 issues

Volume 18, 5 issues

Volume 17, 5 issues

Volume 16, 4 issues

Volume 15, 4 issues

Volume 14, 5 issues

Volume 13, 5 issues

Volume 12, 5 issues

Volume 11, 4 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 3 issues

Volume 7, 2 issues

Volume 6, 2 issues

Volume 5, 2 issues

Volume 4, 1 issue

Volume 3, 1 issue

Volume 2, 1 issue

Volume 1, 1 issue

The Journal
About the Journal
Editorial Board
Editorial Procedure
Subscriptions
 
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
 
ISSN 1364-0380 (online)
ISSN 1465-3060 (print)
Author Index
To Appear
 
Other MSP Journals
On dense totipotent free subgroups in full groups

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

Geometry & Topology 27 (2023) 2297–2318
Abstract

We study probability measure preserving (p.m.p.) nonfree actions of free groups and the associated IRSs. The perfect kernel of a countable group Γ is the largest closed subspace of the space of subgroups of Γ without isolated points. We introduce the class of totipotent ergodic p.m.p. actions of Γ: 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 of cost  < r can be realized by the orbits of an action of the free group Fr on r generators that is totipotent and such that the image in the full group [] is dense. We explain why these actions have no minimal models. This also provides a continuum of pairwise orbit inequivalent invariant random subgroups of Fr, 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 (which we call evanescence) and establish a genericity result about their existence. We show that their existence characterizes cost 1.

Keywords
measurable group actions, nonfree actions, free groups, transitive actions of countable groups, IRS, space of subgroups, ergodic equivalence relations, orbit equivalence
Mathematical Subject Classification
Primary: 37A20, 22F10
Secondary: 22F50, 37B05
References
Publication
Received: 16 September 2020
Revised: 5 May 2021
Accepted: 2 October 2021
Published: 25 August 2023
Proposed: Martin R Bridson
Seconded: David Fisher, Mladen Bestvina
Authors
Alessandro Carderi
Fakultät für Mathematik, Institut für Algebra und Geometrie
Karlsruhe Institute of Technology
Karlsruhe
Germany
Damien Gaboriau
Unité de Mathématiques Pures et Appliquées
École Normale Supérieure de Lyon
Lyon
France
François Le Maître
Institut de Mathématiques de Jussieu-PRG
Université de Paris
Paris
France

Open Access made possible by participating institutions via Subscribe to Open.