Searcharxiv⌕ Search

arXiv subjects

Thiebout Delabie

Publications and source records attributed to Thiebout Delabie.

10 recordsLinked to original sources
arXiv2025

Measure equivalence and sofic approximations

We introduce a technique for producing a measure coupling between two sofic groups from a family of maps between their sofic approximations. We exploit this to construct measure couplings between pairs of groups with prescribed integrability conditions. As an application we show that solvable Baumslag-Solitar groups, Lamplighters and the group SOL are all exponentially measure equivalent to one another: in particular they are L^p measure equivalent for all p. This is in sharp contrast with the fact that these groups are in general not quasi-isometric to one another: indeed, for instance the lamplighter with lamp group Z/3Z is not quasi-isometric the lamplighter with lamp group Z/2Z.

math.GR↗
arXiv2025

On the stability of hyperbolicity under quantitative measure equivalence

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.

math.GR↗
arXiv2025

$L^p$ measure equivalence of nilpotent groups

We classify compactly generated locally compact groups of polynomial growth up to $L^p$ measure equivalence (ME) for all $p\leq 1$. To achieve this, we combine rigidity results (previously proved for discrete groups by Bowen and Austin) with new constructions of explicit orbit equivalences between simply connected nilpotent Lie groups. In particular, we prove that for every pair of simply connected nilpotent Lie groups there is an $L^p$ orbit equivalence for some $p>0$, where we can choose $p>1$ if and only if the groups have isomorphic asymptotic cones. We also prove analogous results for lattices in simply connected nilpotent Lie groups. This yields a strong converse of Austin's Theorem that two nilpotent groups which are $L^1$ ME have isomorphic Carnot graded groups. We also address the much harder problem of extending this classification to $L^p$ ME for $p>1$: we obtain the first rigidity results, providing examples of nilpotent groups with isomorphic Carnot graded groups (hence $L^1$ OE) which are not $L^p$ ME for some finite (explicit) $p$. For this we introduce a new technique, which consists of combining induction of cohomology and scaling limits via the use of a theorem of Cantrell. Finally, in the appendix, we extend theorems of Bowen, Austin and Cantrell on $L^1$ ME to locally compact groups.

math.GR↗
arXiv2022

Quantitative measure equivalence between amenable groups

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.

math.GR↗
arXiv2021

The Haagerup property and actions on von Neumann algebras

In Chapter 2 of "Groups with the Haagerup Property", Jolissaint gives on the one hand a characterization of the Haagerup property in terms of strongly mixing actions on standard probability spaces; on the other hand he gives a noncommutative analogue of this result in terms of actions on factors. In the recent paper "A new characterization of the Haagerup property by actions on infinite measure spaces", the authors give a characterization of the Haagerup property but this time dealing with $C_0$-actions on infinite measure spaces. Following the spirit of this section, we give a noncommutative analogue in terms of $C_0$-actions on von Neumann algebras. Next we discuss some natural questions which remained open around $C_0$-dynamical systems. In particular we give examples of $C_0$- dynamical systems for groups acting properly on trees. Finally, we give a positive answer to the question of the ergodicity of such systems for non-periodic groups.

math.GR↗
arXiv2020

A new characterization of the Haagerup property

The aim of the article is to provide a characterization of the Haagerup property for locally compact, second countable groups in terms of actions on $σ$-finite measure spaces. It is inspired by the very first definition of amenability, namely the existence of an invariant mean on the algebra of essentially bounded, measurable functions on the group.

math.GR↗
arXiv2018

Box spaces of the free group that neither contain expanders nor embed into a Hilbert space

We construct box spaces of a free group that do not coarsely embed into a Hilbert space, but do not contain coarsely embedded expanders. We do this by considering two sequences of subgroups of the free group: one which gives rise to a box space which forms an expander, and another which gives rise to a box space that can be coarsely embedded into a Hilbert space. We then take certain intersections of these subgroups, and prove that the corresponding box space contains generalized expanders. We show that there are no coarsely embedded expanders in the box space corresponding to our chosen sequence by proving that a box space that covers another box space of the same group that is coarsely embeddable into a Hilbert space cannot contain coarsely embedded expanders.

math.GR↗
arXiv2017

Coarse fundamental groups and box spaces

We use a coarse version of the fundamental group first introduced by Barcelo, Kramer, Laubenbacher and Weaver to show that box spaces of finitely presented groups detect the normal subgroups used to construct the box space, up to isomorphism. As a consequence we have that two finitely presented groups admit coarsely equivalent box spaces if and only if they are commensurable via normal subgroups. We also provide an example of two filtrations $(N_i)$ and $(M_i)$ of a free group $F$ such that $M_i>N_i$ for all $i$ with $[M_i:N_i]$ uniformly bounded, but with $\Box_{(N_i)}F$ not coarsely equivalent to $\Box_{(M_i)}F$. Finally, we give some applications of the main theorem for rank gradient and the first $\ell^2$ Betti number, and show that the main theorem can be used to construct infinitely many coarse equivalence classes of box spaces with various properties.

math.GR↗
arXiv2016

Full box spaces of free groups

In this paper we investigate full box spaces and coarse equivalences between them. We do this in two parts. In part one we compare the full box spaces of free groups on different numbers of generators. In particular the full box space of a free group $F_k$ is not coarsely equivalent to the full box space of a free group $F_d$, if $d\ge 8k+10$. In part two we compare $\Box_f\mathbb{Z}^n$ to the full box spaces of $2$-generated groups. In particular we prove that the full box space of $\mathbb{Z}^n$ is not coarsely equivalent to the full box space of any $2$-generated group, if $n\ge 3$.

math.GR↗