arXiv subjects

Damien Gaboriau

Publications and source records attributed to Damien Gaboriau.

At least 19 recordsLinked to original sources

arXiv2026

One-ended spanning subforests and treeability of groups

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical 3-manifold is either amenable or has strong ergodic dimension 2. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e. one-ended spanning subforests.

math.GR↗

arXiv2025

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

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.

math.GR↗

arXiv2024

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

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.

math.GR↗

arXiv2024

Perfect kernel and dynamics: from Bass-Serre theory to hyperbolic groups

We introduce several approaches to studying the Cantor-Bendixson decomposition of and the dynamics on the (topological) space of subgroups for various families of countable groups. In particular, we uncover the perfect kernel and the Cantor-Bendixson rank of the space of subgroups of many new groups, including for instance infinitely ended groups, limit groups, hyperbolic 3-manifold groups and many graphs of groups. We also study the topological dynamics of the conjugation action on the perfect kernel, establishing the conditions for topological transitivity and higher topological transitivity. As an application, we obtain many new examples of groups in the class A of Glasner and Monod, i.e. admitting faithful transitive amenable actions. This includes for example right-angled Artin groups, limit groups, finitely presented C'(1/6) small cancellation groups, random groups at density d<1/6, and more generally all virtually compact special groups.

math.GR↗

arXiv2022

On homology torsion growth

We prove new vanishing results on the growth of higher torsion homologies for suitable arithmetic lattices, Artin groups and mapping class groups. The growth is understood along Farber sequences, in particular, along residual chains. For principal congruence subgroups, we also obtain strong asymptotic bounds for the torsion growth. As a central tool, we introduce a quantitative homotopical method called effective rebuilding. This constructs small classifying spaces of finite index subgroups, at the same time controlling the complexity of the homotopy. The method easily applies to free abelian groups and then extends recursively to a wide class of residually finite groups.

math.GT↗

arXiv2022

On the homology growth and the $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$

Let $n\ge 3$, and let $\mathrm{Out}(W_n)$ be the outer automorphism group of a free Coxeter group $W_n$ of rank $n$. We study the growth of the dimension of the homology groups (with coefficients in any field $\mathbb{K}$) along Farber sequences of finite-index subgroups of $\mathrm{Out}(W_n)$. We show that, in all degrees up to $\lfloor\frac{n}{2}\rfloor-1$, these Betti numbers grow sublinearly in the index of the subgroup. When $\mathbb{K}=\mathbb{Q}$, through Lück's approximation theorem, this implies that all $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$ vanish up to degree $\lfloor\frac{n}{2}\rfloor-1$. In contrast, in top dimension equal to $n-2$, an argument of Gaboriau and Noûs implies that the $\ell^2$-Betti number does not vanish. We also prove that the torsion growth of the integral homology is sublinear. Our proof of these results relies on a recent method introduced by Abért, Bergeron, Frączyk and Gaboriau. A key ingredient is to show that a version of the complex of partial bases of $W_n$ has the homotopy type of a bouquet of spheres of dimension $\lfloor\frac{n}{2}\rfloor-1$.

math.GR↗

arXiv2022

On the top-dimensional $\ell^2$-Betti numbers

The purpose of this note is to introduce a trick which relates the (non)-vanishing of the top-dimensional $\ell^2$-Betti numbers of actions with that of sub-actions. We provide three different types of applications: we prove that the $\ell^2$-Betti numbers of Aut($F_n$) and Out($F_n$) (and of their Torelli subgroups) do not vanish in degree equal to their virtual cohomological dimension, we prove that the subgroups of the 3-manifold groups have vanishing $\ell^2$-Betti numbers in degree 3 and 2 and we prove for instance that $F_2^d \times Z$ has ergodic dimension $d + 1$.

math.GR↗

arXiv2021

On dense totipotent free subgroups in full groups

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.

math.GR↗

arXiv2021

Non-standard limits of graphs and some orbit equivalence invariants

We consider probability measure preserving discrete groupoids, group actions and equivalence relations in the context of general probability spaces. We study for these objects the notions of cost, $β$-invariant and some higher-dimensional variants. We also propose various convergence results about $\ell^2$-Betti numbers and rank gradient for sequences of actions, groupoids or equivalence relations under weak finiteness assumptions. In particular we connect the combinatorial cost with the cost of the ultralimit equivalence relations. Finally a relative version of Stuck-Zimmer property is also considered.

math.GR↗

arXiv2017

Cost, $\ell^2$-Betti numbers and the sofic entropy of some algebraic actions

In 1987, Ornstein and Weiss discovered that the Bernoulli $2$-shift over the rank two free group factors onto the seemingly larger Bernoulli $4$-shift. With the recent creation of an entropy theory for actions of sofic groups (in particular free groups), their example shows the surprising fact that entropy can increase under factor maps. In order to better understand this phenomenon, we study a natural generalization of the Ornstein--Weiss map for countable groups. We relate the increase in entropy to the cost and to the first $\ell^2$-Betti number of the group. More generally, we study coboundary maps arising from simplicial actions and, under certain assumptions, relate $\ell^2$-Betti numbers to the failure of the Juzvinski{\uı} addition formula. This work is built upon a study of entropy theory for algebraic actions. We prove that for actions on profinite groups via continuous group automorphisms, topological sofic entropy is equal to measure sofic entropy with respect to Haar measure whenever the homoclinic subgroup is dense. For algebraic actions of residually finite groups we find sufficient conditions for the sofic entropy to be equal to the supremum exponential growth rate of periodic points.

math.GR↗

arXiv2016

Sofic entropy, after Lewis Bowen, David Kerr and Hanfeng Li

The entropy in dynamical systems was introduced by A. Kolmogorov. Initially dedicated to iterations of one finite measure preserving transformation, the notion was gradually generalized so as to encompass amenable group actions and topological actions. L. Bowen (2008) succeeded in breaking the non-amenable frontier by introducing the sofic entropy. This invariant provides the same services as the classical entropy for the measured actions of the sofic groups (a class which contains the residually finite groups). In 2010, D. Kerr et H. Li established a topological version together with a variational principle.

math.GR↗

arXiv2016

Cocycle superrigidity for translation actions of product groups

Let $G$ be either a profinite or a connected compact group, and $Γ, Λ$ be finitely generated dense subgroups. Assuming that the left translation action of $Γ$ on $G$ is strongly ergodic, we prove that any cocycle for the left-right translation action of $Γ\timesΛ$ on $G$ with values in a countable group is virtually cohomologous to a group homomorphism. Moreover, we prove that the same holds if $G$ is a (not necessarily compact) connected simple Lie group provided that $Λ$ contains an infinite cyclic subgroup with compact closure. We derive several applications to OE - and W$^*$- superrigidity. In particular, we obtain the first examples of compact actions of $\mathbb F_2\times\mathbb F_2$ which are W$^*$-superrigid.

math.DS↗

arXiv2015

Approximations of standard equivalence relations and Bernoulli percolation at p\_u

The goal of this note is to announce certain results in orbit equivalence theory, especially concerning the approximation of p.m.p. standard equivalence relations by increasing sequence of sub-relations, with applications to the behavior of the Bernoulli percolation on graphs at the threshold pu. Résumé en Français. Approximations de relations d'équivalence standards et percolation de Bernoulli à p\_u.

math.GR↗

arXiv2010

What is Cost?

Two-page paper on the notion of cost of groups and measured equivalence relations to appear in the "What is?" series in the Notices of the AMS.

math.GR↗

arXiv2010

Relative Property (T) Actions and Trivial Outer Automorphism Groups

We show that every non-amenable free product of groups admits free ergodic probability measure preserving actions which have relative property (T) in the sense of S.-Popa \cite[Def. 4.1]{Pop06}. There are uncountably many such actions up to orbit equivalence and von Neumann equivalence, and they may be chosen to be conjugate to any prescribed action when restricted to the free factors. We exhibit also, for every non-amenable free product of groups, free ergodic probability measure preserving actions whose associated equivalence relation has trivial outer automorphisms group. This gives in particular the first examples of such actions for the free group on $2$ generators.

math.OA↗

arXiv2010

Orbit Equivalence and Measured Group Theory

We give a survey of various recent developments in orbit equivalence and measured group theory. This subject aims at studying infinite countable groups through their measure preserving actions.

math.GR↗

arXiv2009

A Measurable-Group-Theoretic Solution to von Neumann's Problem

We give a positive answer, in the measurable-group-theory context, to von Neumann's problem of knowing whether a non-amenable countable discrete group contains a non-cyclic free subgroup. We also get an embedding result of the free-group von Neumann factor into restricted wreath product factors.

math.GR↗

arXiv2009

Free products, Orbit Equivalence and Measure Equivalence Rigidity

We study the analogue in orbit equivalence of free product decomposition and free indecomposability for countable groups. We introduce the (orbit equivalence invariant) notion of freely indecomposable ({\FI}) standard probability measure preserving equivalence relations and establish a criterion to check it, namely non-hyperfiniteness and vanishing of the first $L^2$-Betti number. We obtain Bass-Serre rigidity results, \textit{i.e.} forms of uniqueness in free product decompositions of equivalence relations with ({\FI}) components. The main features of our work are weak algebraic assumptions and no ergodicity hypothesis for the components. We deduce, for instance, that a measure equivalence between two free products of non-amenable groups with vanishing first $\ell^2$-Betti numbers is induced by measure equivalences of the components. We also deduce new classification results in Orbit Equivalence and II$_1$ factors.

math.GR↗