Showing 1–28 of 28 results for author: Maitre, F L

On the stability of hyperbolicity under quantitative measure equivalence

Authors: Thiebout Delabie, Juhani Koivisto, François Le Maître, Romain Tessera

Abstract: A well-known result of Shalom says that lattices in SO$(n,1)$ are $\mathrm{L}^p$ measure equivalent for all $p<n-1$. His proof actually yields the following stronger statement: the natural coupling resulting from a suitable choice of fundamental domains from a uniform lattice to a non-uniform one is $(\mathrm{L}^p,\mathrm{L}^{\infty})$. Moreover, it is easy to see that the coupling is cobounded: t… ▽ More A well-known result of Shalom says that lattices in SO$(n,1)$ are $\mathrm{L}^p$ measure equivalent for all $p<n-1$. His proof actually yields the following stronger statement: the natural coupling resulting from a suitable choice of fundamental domains from a uniform lattice to a non-uniform one is $(\mathrm{L}^p,\mathrm{L}^{\infty})$. Moreover, it is easy to see that the coupling is cobounded: the fundamental domain of the uniform lattice is contained in a union of finitely many translates of the fundamental domain of the non-uniform one. The purpose of this note is to prove that this statement is sharp in the following sense: if a ME-coupling from a hyperbolic group to a non-hyperbolic group is cobounded and $(\mathrm{L}^p,\mathrm{L}^{\infty})$, then $p$ must be less than some $p_0$ only depending on the hyperbolic group. △ Less

Submitted 25 May, 2025; v1 submitted 15 November, 2024; originally announced November 2024.

Comments: 15 pages, many fixes and small additions. Comments welcome! arXiv admin note: text overlap with arXiv:2002.00719

On the space of subgroups of Baumslag-Solitar groups II: High transitivity

Authors: Damien Gaboriau, François Le Maître, Yves Stalder

Abstract: We continue our study of the perfect kernel of the space of transitive actions of Baumslag-Solitar groups by investigating high transitivity. We show that actions of finite phenotype are never highly transitive, except when the phenotype is 1, in which case high transitivity is actually generic. In infinite phenotype, high transitivity is generic, except when |m|=|n| where it is empty. We also rei… ▽ More We continue our study of the perfect kernel of the space of transitive actions of Baumslag-Solitar groups by investigating high transitivity. We show that actions of finite phenotype are never highly transitive, except when the phenotype is 1, in which case high transitivity is actually generic. In infinite phenotype, high transitivity is generic, except when |m|=|n| where it is empty. We also reinforce the dynamical properties of the action by conjugation on the perfect kernel that we had established in our first paper, replacing topological transitivity by high topological transitivity. △ Less

Submitted 9 December, 2024; v1 submitted 30 October, 2024; originally announced October 2024.

Comments: A continuation of "On the space of subgroups of Baumslag-Solitar groups I: perfect kernel and phenotype", by Alessandro Carderi, Damien Gaboriau, François Le Maître, Yves Stalder (arXiv:2210.14990). 44 pages, 1 figure

MSC Class: 20B22; 37B; 20E06; 20E08; 20F65

Michael's selection theorem and applications to the Maréchal topology

Authors: Pierre Fima, François Le Maître, Kunal Mukherjee, Issan Patri

Abstract: The Maréchal topology, also called the Effros-Maréchal topology, is a natural topology one can put on the space of all von Neumann subalgebras of a given von Neumann algebra. It is a result of Maréchal from 1973 that this topology is Polish as soon as the ambient algebra has separable predual, but the sketch of proof in her research announcement appears to have a small gap. Our main goal in this p… ▽ More The Maréchal topology, also called the Effros-Maréchal topology, is a natural topology one can put on the space of all von Neumann subalgebras of a given von Neumann algebra. It is a result of Maréchal from 1973 that this topology is Polish as soon as the ambient algebra has separable predual, but the sketch of proof in her research announcement appears to have a small gap. Our main goal in this paper is to fill this gap by a careful look at the topologies one can put on the space of weak-$*$ closed subspaces of a dual space. We also indicate how Michael's selection theorem can be used as a step towards Maréchal's theorem, and how it simplifies the proof of an important selection result of Haagerup and Winsløw for the Maréchal topology. As an application, we show that the space of finite von Neumann algebras is $\mathbfΠ^0_3$-complete. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 25 pages, comments welcome!

MSC Class: 46L10; 54H05

Spatial models for boolean actions in the infinite measure-preserving setup

Authors: Fabien Hoareau, François Le Maître

Abstract: We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We also investigate the distinction between spatial and boolean actions in the infinite measure-preserving setup. In particular, we extend Kwiatkowska and Solecki'… ▽ More We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We also investigate the distinction between spatial and boolean actions in the infinite measure-preserving setup. In particular, we extend Kwiatkowska and Solecki's Point Realization Theorem to the infinite measure setup. We finally obtain a streamlined proof of a recent result of Avraham-Re'em and Roy: Lévy groups cannot admit nontrivial continuous measure-preserving actions on Polish spaces when the measure is locally finite. △ Less

Submitted 7 April, 2025; v1 submitted 4 June, 2024; originally announced June 2024.

Comments: Numerous fixes following referee comments; Spatial Realization result extended to isometry groups of locally compact separable metric spaces. Comments welcome!

On dense orbits in the space of subequivalence relations

Authors: François Le Maître

Abstract: We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural ac… ▽ More We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural action of the full group and of the automorphism group of the relation. Our main result is a characterization of the subequivalence relations having a dense orbit in the space of subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation. We also show that in this setup, all full groups orbits are meager. We finally provide a few Borel complexity calculations of natural subsets in spaces of subequivalence relations using a natural metric we call the uniform metric. This answers some questions from an earlier version of Kechris' monograph. △ Less

Submitted 1 November, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: Added a remark on the connection to the Maréchal topology and clarified the introduction. Submitted

MSC Class: 37A20; 03E15; 54E52

Open questions in descriptive set theory and dynamical systems

Authors: Jérôme Buzzi, Nishant Chandgotia, Matthew Foreman, Su Gao, Felipe García-Ramos, Anton Gorodetski, François Le Maitre, Federico Rodríguez-Hertz, Marcin Sabok

Abstract: This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. △ Less

Submitted 29 April, 2023; originally announced May 2023.

Classification of non-free p.m.p. boolean actions of ergodic full groups and applications

Authors: Alessandro Carderi, Alice Giraud, François Le Maître

Abstract: We extend Dye's reconstruction theorem, which classifies isomorphisms between full groups, to a classification of homomorphisms between full groups. For full groups of ergodic p.m.p. equivalence relations, our result roughly says that such homomorphisms come only from actions of the equivalence relation, or of one of its symmetric powers. This has several rigidity consequences for homomorphisms be… ▽ More We extend Dye's reconstruction theorem, which classifies isomorphisms between full groups, to a classification of homomorphisms between full groups. For full groups of ergodic p.m.p. equivalence relations, our result roughly says that such homomorphisms come only from actions of the equivalence relation, or of one of its symmetric powers. This has several rigidity consequences for homomorphisms between full groups. Our main application is a characterization of property (T) for ergodic p.m.p. equivalence relations purely in full group terms, without using their topology: an ergodic p.m.p. equivalence relation has (T) iff all non-free ergodic boolean actions of its full group are strongly ergodic. △ Less

Submitted 19 April, 2024; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: Submitted version, with updated abstract and expanded introduction. 57 pages. Comments welcome!

On the space of subgroups of Baumslag-Solitar groups I: perfect kernel and phenotype

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

Abstract: Given a Baumslag-Solitar group, we study its space of subgroups from a topological and dynamical perspective. We first determine its perfect kernel (the largest closed subset without isolated points). We then bring to light a natural partition of the space of subgroups into one closed subset and countably many open subsets that are invariant under the action by conjugation. One of our main results… ▽ More Given a Baumslag-Solitar group, we study its space of subgroups from a topological and dynamical perspective. We first determine its perfect kernel (the largest closed subset without isolated points). We then bring to light a natural partition of the space of subgroups into one closed subset and countably many open subsets that are invariant under the action by conjugation. One of our main results is that the restriction of the action to each piece is topologically transitive. This partition is described by an arithmetically defined function, that we call the phenotype, with values in the positive integers or infinity. We eventually study the closure of each open piece and also the closure of their union. We moreover identify in each phenotype a (the) maximal compact invariant subspace. △ Less

Submitted 8 November, 2024; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: New version including the referee's suggestions. 63 pages

MSC Class: 20E06; 20E08; 20F65; 37B05

Belinskaya's theorem is optimal

Authors: Alessandro Carderi, Matthieu Joseph, François Le Maître, Romain Tessera

Abstract: Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is optimal: for all $p<1$ the integrability condition on the cocycle cannot be relaxed to being in $\mathrm{L}^p$. This also allows us to answer a question of Kerr and L… ▽ More Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is optimal: for all $p<1$ the integrability condition on the cocycle cannot be relaxed to being in $\mathrm{L}^p$. This also allows us to answer a question of Kerr and Li: for ergodic measure-preserving transformations, Shannon orbit equivalence doesn't boil down to flip-conjugacy. △ Less

Submitted 7 July, 2023; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: Some more fixes in the appendix; added a reference to M. Joseph's thesis in Remark 3.4. Final final version matching the online first version in Fundamenta Mathematicae

MSC Class: Primary 37A05; Secondary 37A15

Polish topologies on groups of non-singular transformations

Authors: François Le Maître

Abstract: In this paper, we prove several results concerning Polish group topologies on groups of non-singular transformation. We first prove that the group of measure-preserving transformations of the real line whose support has finite measure carries no Polish group topology. We then characterize the Borel $σ$-finite measures $λ$ on a standard Borel space for which the group of $λ$-preserving transformati… ▽ More In this paper, we prove several results concerning Polish group topologies on groups of non-singular transformation. We first prove that the group of measure-preserving transformations of the real line whose support has finite measure carries no Polish group topology. We then characterize the Borel $σ$-finite measures $λ$ on a standard Borel space for which the group of $λ$-preserving transformations has the automatic continuity property. We finally show that the natural Polish topology on the group of all non-singular transformations is actually its only Polish group topology. △ Less

Submitted 21 January, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: Reworked notation to make it more coherent. Comments welcome!

$\mathrm{L}^1$ full groups of flows

Authors: François Le Maître, Konstantin Slutsky

Abstract: We introduce the concept of an $\mathrm{L}^{1}$ full group associated with a measure-preserving action of a Polish normed group on a standard probability space. These groups carry a natural Polish group topology induced by an $\mathrm{L}^1$ norm. Our construction generalizes $\mathrm{L}^{1}$ full groups of actions of discrete groups, which have been studied recently by the first author. We show… ▽ More We introduce the concept of an $\mathrm{L}^{1}$ full group associated with a measure-preserving action of a Polish normed group on a standard probability space. These groups carry a natural Polish group topology induced by an $\mathrm{L}^1$ norm. Our construction generalizes $\mathrm{L}^{1}$ full groups of actions of discrete groups, which have been studied recently by the first author. We show that under minor assumptions on the actions, topological derived subgroups of $\mathrm{L}^{1}$ full groups are topologically simple and -- when the acting group is locally compact and amenable -- are whirly amenable and generically two-generated. $\mathrm{L}^{1}$ full groups of actions of compactly generated locally compact Polish groups are shown to remember the $\mathrm{L}^{1}$ orbit equivalence class of the action. For measure-preserving actions of the real line (also often called measure-preserving flows), the topological derived subgroup of an $\mathrm{L}^{1}$ full groups is shown to coincide with the kernel of the index map, which implies that $\mathrm{L}^{1}$ full groups of free measure-preserving flows are topologically finitely generated if and only if the flow admits finitely many ergodic components. We also prove a reconstruction-type result: the $\mathrm{L}^{1}$ full group completely characterizes the associated ergodic flow up to flip Kakutani equivalence. Finally, we study the coarse geometry of the $\mathrm{L}^{1}$ full groups. The $\mathrm{L}^{1}$ norm on the derived subgroup of the $\mathrm{L}^{1}$ full group of an aperiodic action of a locally compact amenable group is proved to be maximal in the sense of C. Rosendal. For measure-preserving flows, this holds for the $\mathrm{L}^{1}$ norm on all of the $\mathrm{L}^{1}$ full group. △ Less

Submitted 16 April, 2025; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: Accepted for publication in Memoirs of the EMS. Additional appendices on $\mathrm L^0$ and $\mathrm{L}^1$ spaces; chapter 2 revamped so that it is more independent from previous litterature; added an index. Many fixes thanks to referee comments. 145 pages

Property (T) for Roelcke precompact Polish groups (after Ibarlucía, building on work of Ben Yaacov and Tsankov)

Authors: François Le Maître

Abstract: We present a recent result of Ibarlucía stating that every Roelcke precompact Polish group has Kazhdan's property (T). This striking theorem builds on the characterization of Roelcke precompact Polish groups as automorphism groups of $\aleph_0$-categorical metric structures due to Ben Yaacov and Tsankov. We introduce the underlying concepts coming from model theory, and we outline Ibarlucía's proo… ▽ More We present a recent result of Ibarlucía stating that every Roelcke precompact Polish group has Kazhdan's property (T). This striking theorem builds on the characterization of Roelcke precompact Polish groups as automorphism groups of $\aleph_0$-categorical metric structures due to Ben Yaacov and Tsankov. We introduce the underlying concepts coming from model theory, and we outline Ibarlucía's proof in the (already new!) particular case of the group of measure-preserving transformations of a standard probability space. △ Less

Submitted 16 June, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 61 pages, Bourbaki seminar. In french

On dense totipotent free subgroups in full groups

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

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… ▽ More 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. △ Less

Submitted 15 October, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 22 pages. A figure added as well as a few extra details in the proof of the main theorem. Some small typos corrected. To appear in Geometry & Topology

MSC Class: 37A20; 37B05; 22F50; 22F10

Journal ref: Geom. Topol. 27 (2023) 2297-2318

Dense locally finite subgroups of Automorphism Groups of Ultraextensive Spaces

Authors: Mahmood Etedadialiabadi, Su Gao, François Le Maître, Julien Melleray

Abstract: We verify a conjecture of Vershik by showing that Hall's universal countable locally finite group can be embedded as a dense subgroup in the isometry group of the Urysohn space and in the automorphism group of the random graph. In fact, we show the same for all automorphism groups of known infinite ultraextensive spaces. These include, in addition, the isometry group of the rational Urysohn space,… ▽ More We verify a conjecture of Vershik by showing that Hall's universal countable locally finite group can be embedded as a dense subgroup in the isometry group of the Urysohn space and in the automorphism group of the random graph. In fact, we show the same for all automorphism groups of known infinite ultraextensive spaces. These include, in addition, the isometry group of the rational Urysohn space, the isometry group of the ultrametric Urysohn spaces, and the automorphism group of the universal $K_n$-free graph for all $n\geq 3$. Furthermore, we show that finite group actions on finite metric spaces or finite relational structures form a Fraïssé class, where Hall's group appears as the acting group of the Fraïssé limit. We also embed continuum many non-isomorphic countable universal locally finite groups into the isometry groups of various Urysohn spaces, and show that all dense countable subgroups of these groups are mixed identity free (MIF). Finally, we give a characterization of the isomorphism type of the isometry group of the Urysohn $Δ$-metric spaces in terms of the distance value set $Δ$. △ Less

Submitted 1 May, 2020; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: 37 pages

MSC Class: Primary 03C13; 03C55; Secondary 20E06; 20E26

A characterization of high transitivity for groups acting on trees

Authors: Pierre Fima, François Le Maître, Soyoung Moon, Yves Stalder

Abstract: We establish a sharp sufficient condition for groups acting on trees to be highly transitive when the action on the tree is minimal of general type. This gives new examples of highly transitive groups, including icc non-solvable Baumslag-Solitar groups, thus answering a question of Hull and Osin. We establish a sharp sufficient condition for groups acting on trees to be highly transitive when the action on the tree is minimal of general type. This gives new examples of highly transitive groups, including icc non-solvable Baumslag-Solitar groups, thus answering a question of Hull and Osin. △ Less

Submitted 2 September, 2022; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 63 pages

MSC Class: 20B07 (Primary); 05C05 (Secondary)

Journal ref: Discrete Analysis, 2022:8, 63 pp

Quantitative measure equivalence between amenable groups

Authors: Thiebout Delabie, Juhani Koivisto, François Le Maître, Romain Tessera

Abstract: We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups, which extends the classical setting of $\mathrm L^p$ measure equivalence. In this paper, our main focus will be on amenable groups, for which we prove both rigidity and flexibility results. On the rigidity side, we prove a general monotonicity property satisfied by the isoperimetric… ▽ More We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups, which extends the classical setting of $\mathrm L^p$ measure equivalence. In this paper, our main focus will be on amenable groups, for which we prove both rigidity and flexibility results. On the rigidity side, we prove a general monotonicity property satisfied by the isoperimetric profile, which implies in particular its invariance under $\mathrm L^1$ measure equivalence. This yields explicit "lower bounds" on how integrable a measure coupling between two amenable groups can be. This result also has an unexpected application to geometric group theory: the isoperimetric profile turns out to be monotonous under coarse embedding between amenable groups. This has various applications, among which the existence of an uncountable family of $3$-solvable groups which pairwise do not coarsely embed into one another. On the flexibility side, we construct explicit orbit equivalences between amenable groups with prescribed integrability conditions. Our main tool is a new notion of Følner tiling sequences. We show in a number of instances that the bounds derived from the isoperimetric profile are sharp up to a logarithmic factor. We also deduce from this study that two important quasi-isometry invariants are not preserved under $\mathrm L^1$ orbit equivalence: the asymptotic dimension and finite presentability. △ Less

Submitted 15 April, 2022; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: The numbering was incorrect; fixed the statement of Cor.3.4 (incorrectly numbered 4.4 in previous version)

On a measurable analogue of small topological full groups II

Authors: François Le Maître

Abstract: We pursue the study of $\mathrm L^1$ full groups of graphings and of the closures of their derived groups, which we call derived $\mathrm L^1$ full groups. Our main result shows that aperiodic probability measure-preserving actions of finitely generated groups have finite Rokhlin entropy if and only if their derived $\mathrm L^1$ full group has finite topological rank. We further show that a graph… ▽ More We pursue the study of $\mathrm L^1$ full groups of graphings and of the closures of their derived groups, which we call derived $\mathrm L^1$ full groups. Our main result shows that aperiodic probability measure-preserving actions of finitely generated groups have finite Rokhlin entropy if and only if their derived $\mathrm L^1$ full group has finite topological rank. We further show that a graphing is amenable if and only if its $\mathrm L^1$ full group is, and explain why various examples of (derived) $\mathrm L^1$ full groups fit very well into Rosendal's geometric framework for Polish groups. As an application, we obtain that every abstract group isomorphism between $\mathrm L^1$ full groups of amenable ergodic graphings must be a quasi-isometry for their respective $\mathrm L^1$ metrics. We finally show that $\mathrm L^1$ full groups of rank one transformations have topological rank 2. △ Less

Submitted 23 September, 2021; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: Answers question 5.5 from previous version thanks to referee's comment. Various typos fixed. To appear in Ann. Inst. Fourier

Homogeneous actions on Urysohn spaces

Authors: Pierre Fima, François Le Maître, Julien Melleray, Soyoung Moon

Abstract: We show that many countable groups acting on trees, including free products of infinite countable groups and surface groups, are isomorphic to dense subgroups of isometry groups of bounded Urysohn spaces. This extends previous results of the first and last author with Y. Stalder on dense subgroups of the automorphism group of the random graph. In the unbounded case, we also show that every free pr… ▽ More We show that many countable groups acting on trees, including free products of infinite countable groups and surface groups, are isomorphic to dense subgroups of isometry groups of bounded Urysohn spaces. This extends previous results of the first and last author with Y. Stalder on dense subgroups of the automorphism group of the random graph. In the unbounded case, we also show that every free product of infinite countable groups arises as a dense subgroup of the isometry group of the rational Urysohn space. △ Less

Submitted 18 January, 2021; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: Final version, to appear in Colloquium Mathematicum

MSC Class: Primary 03E15 20E06; Secondary 20B22

Bounded normal generation is not equivalent to topological bounded normal generation

Authors: Philip A. Dowerk, François Le Maître

Abstract: We show that some derived $\mathrm{L}^1$ full groups provide examples of non simple Polish groups with the topological bounded normal generation property. In particular, it follows that there are Polish groups with the topological bounded normal generation property but not the bounded normal generation property. We show that some derived $\mathrm{L}^1$ full groups provide examples of non simple Polish groups with the topological bounded normal generation property. In particular, it follows that there are Polish groups with the topological bounded normal generation property but not the bounded normal generation property. △ Less

Submitted 4 January, 2018; originally announced January 2018.

Comments: 11 pages

On a measurable analogue of small topological full groups

Authors: François Le Maître

Abstract: We initiate the study of a measurable analogue of small topological full groups that we call $\mathrm L^1$ full groups. These groups are endowed with a Polish group topology which admits a natural complete right invariant metric. We mostly focus on $\mathrm L^1$ full groups of measure-preserving $\mathbb Z$-actions which are actually a complete invariant of flip conjugacy. We prove that for ergo… ▽ More We initiate the study of a measurable analogue of small topological full groups that we call $\mathrm L^1$ full groups. These groups are endowed with a Polish group topology which admits a natural complete right invariant metric. We mostly focus on $\mathrm L^1$ full groups of measure-preserving $\mathbb Z$-actions which are actually a complete invariant of flip conjugacy. We prove that for ergodic actions the closure of the derived group is topologically simple although it can fail to be simple. We also show that the closure of the derived group is connected, and that for measure-preserving free actions of non-amenable groups the closure of the derived group and the $\mathrm L^1$ full group itself are never amenable. In the case of a measure-preserving ergodic $\mathbb Z$-action, the closure of the derived group is shown to be the kernel of the index map. If such an action is moreover by homeomorphism on the Cantor space, we show that the topological full group is dense in the $\mathrm L^1$ full group. Using Juschenko-Monod and Matui's results on topological full groups, we conclude that $\mathrm L^1$ full groups of ergodic $\mathbb Z$-actions are amenable as topological groups, and that they are topologically finitely generated if and only if the $\mathbb Z$-action has finite entropy. △ Less

Submitted 7 May, 2018; v1 submitted 26 August, 2016; originally announced August 2016.

Comments: Final version; to appear in Advances in Mathematics

Orbit full groups for locally compact groups

Authors: Alessandro Carderi, François Le Maître

Abstract: We show that the topological rank of an orbit full group generated by an ergodic, probability measure-preserving free action of a non-discrete unimodular locally compact Polish group is two. For this, we use the existence of a cross section and show that for a locally compact Polish group, the full group generated by any dense subgroup is dense in the orbit full group of the action of the group.… ▽ More We show that the topological rank of an orbit full group generated by an ergodic, probability measure-preserving free action of a non-discrete unimodular locally compact Polish group is two. For this, we use the existence of a cross section and show that for a locally compact Polish group, the full group generated by any dense subgroup is dense in the orbit full group of the action of the group. We prove that the orbit full group of a free action of a locally compact Polish group is extremely amenable if and only if the acting group is amenable, using the fact that the full group generates the von Neumann algebra of the action. △ Less

Submitted 29 January, 2016; originally announced January 2016.

Comments: 31 pages. Comments welcome!

On strongly just infinite profinite branch groups

Authors: François Le Maître, Phillip Wesolek

Abstract: For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact groups enjoying the last condition are called strongly just infinite. For strongly just infinite profinite branch groups with mild additional assumptions, we ver… ▽ More For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact groups enjoying the last condition are called strongly just infinite. For strongly just infinite profinite branch groups with mild additional assumptions, we verify the invariant automatic continuity property and the locally compact automatic continuity property. Examples are then presented, including the profinite completion of the first Grigorchuk group. As an application, we show that many Burger-Mozes universal simple groups enjoy several automatic continuity properties. △ Less

Submitted 31 January, 2016; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: Typos and a minor error corrected

Highly faithful actions and dense free subgroups in full groups

Authors: François Le Maître

Abstract: In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been obtained by a Baire category argument. Our proof is completely explicit: we use our previous construction of topological generators for full groups and observe t… ▽ More In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been obtained by a Baire category argument. Our proof is completely explicit: we use our previous construction of topological generators for full groups and observe that these generators induce a totally non free action. We then twist this construction so that the action is moreover amenable onto almost every orbit and highly faithful. △ Less

Submitted 9 March, 2017; v1 submitted 11 September, 2015; originally announced September 2015.

Comments: New version incorporating referee's comments. To appear in Groups, Geometry and Dynamics

Infinitesimal generators and quasi non-archimedean topological groups

Authors: Tsachik Gelander, François Le Maître

Abstract: We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We generalize a theorem of Schreier and Ulam by showing that any separable connected compact group is infinitesimally $2$-generated. Inspired by a result of Kechris, we… ▽ More We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We generalize a theorem of Schreier and Ulam by showing that any separable connected compact group is infinitesimally $2$-generated. Inspired by a result of Kechris, we introduce the notion of a quasi non-archimedean group. We observe that full groups are quasi non-archimedean, and that every continuous homomorphism from an infinitesimally finitely generated group into a quasi non-archimedean group is trivial. We prove that a locally compact group is quasi non-archimedean if and only if it is totally disconnected, and provide various examples which show that the picture is much richer for Polish groups. In particular, we get an example of a Polish group which is infinitesimally $1$-generated but totally disconnected, strengthening Stevens' negative answer to Problem 160 from the Scottish book. △ Less

Submitted 14 March, 2016; v1 submitted 3 May, 2015; originally announced May 2015.

Comments: Changed terminology and reworked the introduction; added the existence of an infinitesimally 1-generated totally disconnected Polish group. Comments welcome!

Connected Polish groups with ample generics

Authors: Adriane Kaïchouh, François Le Maître

Abstract: In this paper, we give the first examples of connected Polish groups that have ample generics, answering a question of Kechris and Rosendal. We show that any Polish group with ample generics embeds into a connected Polish group with ample generics and that full groups of type III hyperfinite ergodic equivalence relations have ample generics. We also sketch a proof of the following result: the full… ▽ More In this paper, we give the first examples of connected Polish groups that have ample generics, answering a question of Kechris and Rosendal. We show that any Polish group with ample generics embeds into a connected Polish group with ample generics and that full groups of type III hyperfinite ergodic equivalence relations have ample generics. We also sketch a proof of the following result: the full group of any type III ergodic equivalence relation has topological rank 2. △ Less

Submitted 19 March, 2015; v1 submitted 14 March, 2015; originally announced March 2015.

Comments: New version mentioning the results Malicki obtained independently and simultaneously https://arxiv.boxedpaper.com/abs/1503.03919, which also answer Kechris and Rosendal's question in a different way. Comments welcome!

MSC Class: 03E15; 22A05 (Primary); 37A20; 37B05 (Secondary)

More Polish full groups

Authors: Alessandro Carderi, François Le Maître

Abstract: We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the uniform topology. However, there are many new examples, such as orbit full groups associated to measure preserving actions of locally compact groups. In fact, we sho… ▽ More We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the uniform topology. However, there are many new examples, such as orbit full groups associated to measure preserving actions of locally compact groups. In fact, we show that such full groups are complete invariants of orbit equivalence. We give various characterizations of the existence of a dense conjugacy class for orbit full groups, and we show that the ergodic ones actually have a unique Polish group topology. Furthermore, we characterize ergodic full groups of countable pmp equivalence relations as those admitting non-trivial continuous character representations. △ Less

Submitted 21 November, 2014; originally announced November 2014.

Comments: Comments welcome!

On full groups of non ergodic probability measure preserving equivalence relations

Authors: François Le Maître

Abstract: We give a formula relating the topological rank of the full group of an aperiodic pmp equivalence relation to the cost of its ergodic components. Furthermore, we obtain examples of full groups having a dense free subgroup whose rank is equal to the topological rank of the full group, using a Baire category argument. We then study the automatic continuity property for full groups of aperiodic equiv… ▽ More We give a formula relating the topological rank of the full group of an aperiodic pmp equivalence relation to the cost of its ergodic components. Furthermore, we obtain examples of full groups having a dense free subgroup whose rank is equal to the topological rank of the full group, using a Baire category argument. We then study the automatic continuity property for full groups of aperiodic equivalence relations, and find a connected metric for which they have the automatic continuity property. This allows us to give an algebraic characterization of aperiodicity for pmp equivalence relations, namely the non-existence of homomorphisms from their full groups into totally disconnected separable groups. A simple proof of the extreme amenability of full groups of hyperfinite pmp equivalence relations is also given, generalizing to the non ergodic case a result of Giordano and Pestov. △ Less

Submitted 11 March, 2015; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: New version incorporating referee's comments, to appear in Ergodic Theory and Dynamical Systems

The number of topological generators for full groups of ergodic equivalence relations

Authors: François Le Maître

Abstract: We completely elucidate the relationship between two invariants associated with an ergodic probability measure-preserving (pmp) equivalence relation, namely its cost and the minimal number of topological generators of its full group. It follows that for any free pmp ergodic action of the free group on $n$ generators, the minimal number of topological generators for the full group of the action is… ▽ More We completely elucidate the relationship between two invariants associated with an ergodic probability measure-preserving (pmp) equivalence relation, namely its cost and the minimal number of topological generators of its full group. It follows that for any free pmp ergodic action of the free group on $n$ generators, the minimal number of topological generators for the full group of the action is $n+1$, answering a question of Kechris. △ Less

Submitted 6 August, 2017; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: The numbering of the results is now the same as in the published version

Journal ref: Invent. Math. 198, Nr. 2 (2014), pp. 261-268