Showing 1–50 of 66 results for author: Tessera, R

Balls in groups: volume, structure and growth

Authors: Romain Tessera, Matthew Tointon

Abstract: We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with finite symmetric generating set $S$ containing the identity and $|S^n|\le cn^{d+1}|S|$ for some positive integer $n$ then there exist normal subgroups… ▽ More We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with finite symmetric generating set $S$ containing the identity and $|S^n|\le cn^{d+1}|S|$ for some positive integer $n$ then there exist normal subgroups $H\leΓ\le G$ such that $H\subseteq S^n$, such that $Γ/H$ is $d$-nilpotent (i.e. has a central series of length $d$ with cyclic factors), and such that $[G:Γ]\le g(d)$, where $g(d)$ denotes the maximum order of a finite subgroup of $GL_d(\mathbb{Z})$. The bounds on both the nilpotence and index are sharp; the previous best bounds were $O(d)$ on the nilpotence, and an ineffective function of $d$ on the index. In fact, we obtain this as a small part of a much more detailed fine-scale description of the structure of $G$. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs: percolation theory, random walks, structure of finite groups, scaling limits of finite vertex-transitive graphs.... We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors. △ Less

Submitted 18 March, 2024; v1 submitted 4 March, 2024; originally announced March 2024.

Comments: 94 pages, 1 figure. V2: Added Remark 1.20

Coarse separation and large-scale geometry of wreath products

Authors: Oussama Bensaid, Anthony Genevois, Romain Tessera

Abstract: In this article, we introduce and study a natural notion of coarse separation for metric spaces, with an emphasis on coarse separation by subspaces of polynomial or subexponential growth. For instance, we show that symmetric spaces of non-compact type different from $\mathbb{H}_\mathbb{R}^2$ and thick Euclidean buildings of rank $\geq 2$ cannot be coarsely separated by subspaces of subexponential… ▽ More In this article, we introduce and study a natural notion of coarse separation for metric spaces, with an emphasis on coarse separation by subspaces of polynomial or subexponential growth. For instance, we show that symmetric spaces of non-compact type different from $\mathbb{H}_\mathbb{R}^2$ and thick Euclidean buildings of rank $\geq 2$ cannot be coarsely separated by subspaces of subexponential growth; and that a connected nilpotent Lie group of growth degree $D \geq 2$ cannot be coarsely separated by a subspace of polynomial degree $\leq D-2$. We apply these results to the large-scale geometry of amalgamated free products and wreath products. The latter application is based on an Embedding Theorem that generalises previous work of the last two authors, and which is of independent interest. We also discuss some further applications to the distorsion of coarse embeddings between certain metric spaces. △ Less

Submitted 17 April, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: 53 pages, 8 figures. Comments are welcome!

Report number: MPIM-Bonn-2024 MSC Class: 20F65; 20F69

Lamplighter-like geometry of groups

Authors: Anthony Genevois, Romain Tessera

Abstract: In this article, we introduce halo products as a natural generalisation of wreath products. They also encompass lampshuffler groups $\mathrm{FSym}(H) \rtimes H$ and lampcloner groups $\mathrm{FGL}(H) \rtimes H$, as well as many possible variations based for instance on braid groups, Thompson's groups, map** class groups, automorphisms of free groups. We build a geometric framework that allows us… ▽ More In this article, we introduce halo products as a natural generalisation of wreath products. They also encompass lampshuffler groups $\mathrm{FSym}(H) \rtimes H$ and lampcloner groups $\mathrm{FGL}(H) \rtimes H$, as well as many possible variations based for instance on braid groups, Thompson's groups, map** class groups, automorphisms of free groups. We build a geometric framework that allows us to study the large-scale geometry of halo groups, providing refined invariants distinguishing various halo groups up to quasi-isometry. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 83 pages, 8 figures. Comments are welcome!

MSC Class: 20F65; 20F69

Folding median graphs

Authors: Anthony Genevois, Yassine Guerch, Romain Tessera

Abstract: Extending Stallings' foldings of trees, we show in this article that every parallel-preserving map between median graphs factors as an isometric embedding through a sequence of elementary transformations which we call foldings and swellings. This new construction proposes a unified point of view on Beeker and Lazarovich's work on folding pocsets and on Ben-Zvi, Kropholler, and Lyman's work on fold… ▽ More Extending Stallings' foldings of trees, we show in this article that every parallel-preserving map between median graphs factors as an isometric embedding through a sequence of elementary transformations which we call foldings and swellings. This new construction proposes a unified point of view on Beeker and Lazarovich's work on folding pocsets and on Ben-Zvi, Kropholler, and Lyman's work on folding nonpositively curved cube complexes. △ Less

Submitted 29 November, 2023; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: 45 pages, 5 figures. Comments are welcome!

MSC Class: 20F65; 20F67; 05C25

Small doubling implies small tripling at large scales

Authors: Romain Tessera, Matthew Tointon

Abstract: We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge 2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously known only under the stronger assumption that $|S^{2n+1}|\le K|S^n|$. We prove similar results for locally compact groups and vertex-transitive graphs. We indica… ▽ More We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge 2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously known only under the stronger assumption that $|S^{2n+1}|\le K|S^n|$. We prove similar results for locally compact groups and vertex-transitive graphs. We indicate some results in the structure theory of vertex-transitive graphs of polynomial growth whose hypotheses can be weakened as a result. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 5 pages

Asymptotic dimension for covers with controlled growth

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) $\mathbb H^n\to\mathbb H^{n-1}\times Y$ for $n\geq 3$, or $(T_3)^n \to (T_3)^{n-1}\times Y$ whenever $Y$ is a bounded degree graph with subexponential growth, where $T_3$ is the $3$-regular tree. We also resolve a quest… ▽ More We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) $\mathbb H^n\to\mathbb H^{n-1}\times Y$ for $n\geq 3$, or $(T_3)^n \to (T_3)^{n-1}\times Y$ whenever $Y$ is a bounded degree graph with subexponential growth, where $T_3$ is the $3$-regular tree. We also resolve a question of Benjamini-Schramm-Timár, proving that there is no regular map $\mathbb H^2 \to T_3 \times Y$ whenever $Y$ is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever $Y$ has subexponential growth. Finally, we show that there is no regular map $F^n\to \mathbb Z\wr F^{n-1}$ where $F$ is the free group on two generators. To prove these results, we introduce and study generalizations of asymptotic dimension which allow unbounded covers with controlled growth. For bounded degree graphs, these invariants are monotone with respect to regular maps (hence coarse embeddings). △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 39 pages

MSC Class: 51F30; 20F69

Coarse fixed point properties

Authors: Romain Tessera, Jeroen Winkel

Abstract: We investigate fixed point properties for isometric actions of topological groups on a wide class of metric spaces, with a particular emphasis on Hilbert spaces. Instead of requiring the action to be continuous, we assume that it is ``controlled", i.e. compatible with respect to some natural left-invariant coarse structure. For locally compact groups, we prove that these coarse fixed point propert… ▽ More We investigate fixed point properties for isometric actions of topological groups on a wide class of metric spaces, with a particular emphasis on Hilbert spaces. Instead of requiring the action to be continuous, we assume that it is ``controlled", i.e. compatible with respect to some natural left-invariant coarse structure. For locally compact groups, we prove that these coarse fixed point properties are equivalent to the usual ones, defined for continuous actions. We deduce generalisations of two results of Gromov originally stated for discrete groups. For Polish groups with bounded geometry (in the sense of Rosendal), we prove a version of Serre's theorem on the stability of coarse property FH under central extensions. As an application we prove that the group $\text{Homeo}^+_{\mathbb Z}(\mathbb R)$ has property FH. Finally, we characterise geometric property (T) for sequences of finite Cayley graphs in terms of coarse property FH of a certain group. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: 37

Geometric amenability in totally disconnected locally compact groups

Authors: Romain Tessera, Matthew Tointon

Abstract: We give a short geometric proof of a result of Soardi & Woess and Salvatori that a quasitransitive graph is amenable if and only if its automorphism group is amenable and unimodular. We also strengthen one direction of that result by showing that if a compactly generated totally disconnected locally compact group admits a proper Lipschitz action on a bounded-degree amenable graph then that group i… ▽ More We give a short geometric proof of a result of Soardi & Woess and Salvatori that a quasitransitive graph is amenable if and only if its automorphism group is amenable and unimodular. We also strengthen one direction of that result by showing that if a compactly generated totally disconnected locally compact group admits a proper Lipschitz action on a bounded-degree amenable graph then that group is amenable and unimodular. We pass via the notion of geometric amenability of a locally compact group, which has previously been studied by the second author and is defined by analogy with amenability, only using right Folner sets instead of left Folner sets. We also introduce a notion of uniform geometric non-amenability of a locally compact group, and relate this notion in various ways to actions of that group on graphs and to its modular homomorphism. △ Less

Submitted 15 June, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 18 pages. This version of the article has been accepted for publication, after peer review, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s00209-023-03264-z

Twin-width VII: groups

Authors: Édouard Bonnet, Colin Geniet, Romain Tessera, Stéphan Thomassé

Abstract: Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-… ▽ More Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits. The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work. △ Less

Submitted 15 July, 2022; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: 33 pages, 7 figures

MSC Class: 05C25 (Primary) 20F65; 05C30 (Secondary) ACM Class: G.2.2

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

A note on morphisms to wreath products

Authors: Anthony Genevois, Romain Tessera

Abstract: Given a morphism $\varphi : G \to A \wr B$ from a finitely presented group $G$ to a wreath product $A \wr B$, we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free subgroup and $\varphi$ factors through an acylindrically hyperbolic quotient of $G$. As direct applications, we classify the finitely presented subgroups in… ▽ More Given a morphism $\varphi : G \to A \wr B$ from a finitely presented group $G$ to a wreath product $A \wr B$, we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free subgroup and $\varphi$ factors through an acylindrically hyperbolic quotient of $G$. As direct applications, we classify the finitely presented subgroups in $A \wr B$ up to isomorphism and we deduce that a group having a wreath product $(\text{non-trivial}) \wr (\text{infinite})$ as a quotient must be SQ-universal (extending theorems of Baumslag and Cornulier-Kar). Finally, we exploit our theorem in order to describe the structure of the automorphism groups of several families of wreath products, highlighting an interesting connection with the Kaplansky conjecture on units in group rings. △ Less

Submitted 3 October, 2022; v1 submitted 19 October, 2021; originally announced October 2021.

Comments: 20 pages, 2 figures. Comments are welcome!

MSC Class: 20F65; 20F67

Measure-scaling quasi-isometries

Authors: Anthony Genevois, Romain Tessera

Abstract: A measure-scaling quasi-isometry between two connected graphs is a quasi-isometry that is quasi-$κ$-to-one in a natural sense for some $κ>0$. For non-amenable graphs, all quasi-isometries are quasi-$κ$-to-one for any $κ>0$, while for amenable ones there exists at most one possible such $κ$. For an amenable graph $X$, we show that the set of possible $κ$ forms a subgroup of $\mathbb{R}_{>0}$ that w… ▽ More A measure-scaling quasi-isometry between two connected graphs is a quasi-isometry that is quasi-$κ$-to-one in a natural sense for some $κ>0$. For non-amenable graphs, all quasi-isometries are quasi-$κ$-to-one for any $κ>0$, while for amenable ones there exists at most one possible such $κ$. For an amenable graph $X$, we show that the set of possible $κ$ forms a subgroup of $\mathbb{R}_{>0}$ that we call the (measure-)scaling group of $X$. This group is invariant under measure-scaling quasi-isometries. In the context of Cayley graphs, this implies for instance that two uniform lattices in a given locally compact group have same scaling groups. We compute the scaling group in a number of cases. For instance it is all of $\mathbb{R}_{>0}$ for lattices in Carnot groups, SOL or solvable Baumslag Solitar groups, but is a (strict) subgroup $\mathbb{Q}_{>0}$ for lamplighter groups over finitely presented amenable groups. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 19 pages, 1 figure. Comments are welcome

MSC Class: 20F65; 20F69

Asymptotic geometry of lamplighters over one-ended groups

Authors: Anthony Genevois, Romain Tessera

Abstract: This article is dedicated to the asymptotic geometry of wreath products $F\wr H := \left( \bigoplus_H F \right) \rtimes H$ where $F$ is a finite group and $H$ a one-ended finitely presented group. Our main result is a complete classification of these groups up to quasi-isometry. More precisely, given two finite groups $F_1,F_2$ and two finitely presented one-ended groups $H_1,H_2$, we show that… ▽ More This article is dedicated to the asymptotic geometry of wreath products $F\wr H := \left( \bigoplus_H F \right) \rtimes H$ where $F$ is a finite group and $H$ a one-ended finitely presented group. Our main result is a complete classification of these groups up to quasi-isometry. More precisely, given two finite groups $F_1,F_2$ and two finitely presented one-ended groups $H_1,H_2$, we show that $F_1 \wr H_1$ and $F_2 \wr H_2$ are quasi-isometric if and only if either (i) $H_1,H_2$ are non-amenable quasi-isometric groups and $|F_1|,|F_2|$ have the same prime divisors, or (ii) $H_1,H_2$ are amenable, $|F_1|=k^{n_1}$ and $|F_2|=k^{n_2}$ for some $k,n_1,n_2 \geq 1$, and there exists a quasi-$(n_2/n_1)$-to-one quasi-isometry $H_1 \to H_2$. The article also contains algebraic information on groups quasi-isometric to such wreath products. This can be seen as far reaching extension of a celebrated work of Eskin-Fisher-Whyte who treated the case of $H=\mathbb{Z}$. Our approach is however fundamentally different, as it crucially exploits the assumption that $H$ is one-ended. Our central tool is a new geometric interpretation of lamplighter groups involving natural families of quasi-median spaces. △ Less

Submitted 12 May, 2021; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: 58 pages, 7 figures. Comments are welcome

MSC Class: 20F65; 20F69; 20F67

Poincaré profiles of Lie groups and a coarse geometric dichotomy

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: Poincaré profiles are a family of analytically defined coarse invariants, which can be used as obstructions to the existence of coarse embeddings between metric spaces. In this paper we calculate the Poincaré profiles of all connected unimodular Lie groups, Baumslag-Solitar groups and Thurston geometries, demonstrating two substantially different types of behaviour. In the case of Lie groups, we o… ▽ More Poincaré profiles are a family of analytically defined coarse invariants, which can be used as obstructions to the existence of coarse embeddings between metric spaces. In this paper we calculate the Poincaré profiles of all connected unimodular Lie groups, Baumslag-Solitar groups and Thurston geometries, demonstrating two substantially different types of behaviour. In the case of Lie groups, we obtain a dichotomy which extends both the dichotomy separating rank one and higher rank semisimple Lie groups and the dichotomy separating connected solvable unimodular Lie groups of polynomial and exponential growth. We provide equivalent algebraic, quasi-isometric and coarse geometric formulations of this dichotomy. Our results have many consequences for coarse embeddings, for instance we deduce that for groups of the form $N\times S$, where $N$ is a connected nilpotent Lie group, and $S$ is a simple Lie group of real rank 1, both the growth exponent of $N$, and the Ahlfors-regular conformal dimension of $S$ are non-decreasing under coarse embeddings. These results are new even in the quasi-isometric setting and give obstructions to quasi-isometric embeddings which in many cases are stronger than those previously obtained by Buyalo-Schroeder. △ Less

Submitted 28 September, 2022; v1 submitted 5 November, 2020; originally announced November 2020.

Comments: 58 pages. v3: version accepted for publication in Geometric and Functional Analysis

MSC Class: 20F65; 51F30; 22E15

On coarse embeddings of amenable groups into hyperbolic graphs

Authors: Romain Tessera

Abstract: In this note we prove that if a finitely generated amenable group admits a regular map to a direct product of a hyperbolic space and a euclidean space, then it must be virtually nilpotent. We deduce that an amenable group regularly embeds into a hyperbolic group if and only if it is virtually nilpotent, answering a question of Hume and Sisto. We describe an application to Lorentz geometry due to C… ▽ More In this note we prove that if a finitely generated amenable group admits a regular map to a direct product of a hyperbolic space and a euclidean space, then it must be virtually nilpotent. We deduce that an amenable group regularly embeds into a hyperbolic group if and only if it is virtually nilpotent, answering a question of Hume and Sisto. We describe an application to Lorentz geometry due to Charles Frances. △ Less

Submitted 26 April, 2024; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 9 pp

MSC Class: 20F65; 20F67; 20F18

Explicit universal minimal constants for polynomial growth of groups

Authors: Russell Lyons, Avinoam Mann, Romain Tessera, Matthew Tointon

Abstract: Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the res… ▽ More Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the result ineffective. In the present paper we prove the optimal bound on the degree of polynomial growth without making any losses elsewhere. As a consequence, we show that there exist explicit positive numbers $\varepsilon_d$ such that in any group with growth at least a polynomial of degree $d$, the growth is at least $\varepsilon_dn^d$. We indicate some applications in probability; in particular, we show that the gap at $1$ for the critical probability for Bernoulli site percolation on a Cayley graph, recently proven to exist by Panagiotis and Severo, is at least $\exp\bigl\{-\exp\bigl\{17 \exp\{100 \cdot 8^{100}\}\bigr\}\bigr\}$. △ Less

Submitted 19 March, 2022; v1 submitted 11 October, 2020; originally announced October 2020.

Comments: 6 pp; v2 changed title and added to introduction; v3 added two authors, totally rewritten, now 12 pp, improved results; v4, 17 pp., now includes explicit gap in percolation

MSC Class: 20F18; 20F65; 20F69; 60B15

Cone-equivalent nilpotent groups with different Dehn functions

Authors: Claudio Llosa Isenrich, Gabriel Pallier, Romain Tessera

Abstract: For every $k\geqslant 3$, we exhibit a simply connected $k$-nilpotent Lie group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of its associated Carnot graded group $\mathsf{gr}(N_k)$ behaves like $n^{k+1}$. This property and its consequences allow us to reveal three new phenomena. First, since those groups have uniform lattices, this provides the first examples of pairs of… ▽ More For every $k\geqslant 3$, we exhibit a simply connected $k$-nilpotent Lie group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of its associated Carnot graded group $\mathsf{gr}(N_k)$ behaves like $n^{k+1}$. This property and its consequences allow us to reveal three new phenomena. First, since those groups have uniform lattices, this provides the first examples of pairs of finitely presented groups with bilipschitz asymptotic cones but with different Dehn functions. The second surprising feature of these groups is that for every even integer $k \geqslant 4$ the centralized Dehn function of $N_k$ behaves like $n^{k-1}$ and so has a different exponent than the Dehn function. This answers a question of Young. Finally, we turn our attention to sublinear bilipschitz equivalences (SBE). Introduced by Cornulier, these are maps between metric spaces inducing bi-Lipschitz homeomorphisms between their asymptotic cones. These can be seen as weakenings of quasiisometries where the additive error is replaced by a sublinearly growing function $v$. We show that a $v$-SBE between $N_k$ and $\mathsf{gr}(N_k)$ must satisfy $v(n)\succcurlyeq n^{1/(2k + 2)}$, strengthening the fact that those two groups are not quasiisometric. This is the first instance where an explicit lower bound is provided for a pair of SBE groups. △ Less

Submitted 23 August, 2023; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 64 pages.v3: final version, minor corrections and improvements to the exposition

MSC Class: 20F69; 20F18 (Primary); 20F65; 20F05; 51F30; 22E25; 57T10 (Secondary)

Journal ref: Proc. Lond. Math. Soc. (3) 126 (2023), no.2, 704-789

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)

Sharp relations between volume growth, isoperimetry and escape probability in vertex-transitive graphs

Authors: Romain Tessera, Matthew Tointon

Abstract: We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius $r$ before returning to its starting point. In particular, this shows that if the ball of radius $r$ has size slightly greater than quadratic in $r$ then this probability is bounded from below. On the other hand, we show that if the ball of radius $r$ has volume slightly les… ▽ More We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius $r$ before returning to its starting point. In particular, this shows that if the ball of radius $r$ has size slightly greater than quadratic in $r$ then this probability is bounded from below. On the other hand, we show that if the ball of radius $r$ has volume slightly less than cubic in $r$ then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also imply the existence of a gap at $0$ for escape probabilities: there exists a universal constant $c>0$ such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least $c$ of esca** to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generalise our results to give a sharp finitary version of the characterisation of $p$-parabolic vertex-transitive graphs, prove a number of sharp isoperimetric inequalities for vertex-transitive graphs, and prove a locality result for the escape probability of the random walk on a vertex-transitive graph that can be seen as an analogue of Schramm's locality conjecture for the critical percolation probability. △ Less

Submitted 1 July, 2024; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: 36 pages

A finitary structure theorem for vertex-transitive graphs of polynomial growth

Authors: Romain Tessera, Matthew Tointon

Abstract: We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with… ▽ More We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with fibres of small diameter on which the action of Aut(G) is virtually abelian with vertex stabilisers of bounded size. We also show that G has moderate growth in the sense of Diaconis and Saloff-Coste, which is known to imply that the mixing and relaxation times of the lazy random walk on G are quadratic in the diameter. These results extend results of Breuillard and the second author for finite Cayley graphs of large diameter. Finally, given a connected, locally finite vertex-transitive graph G exhibiting polynomial growth at a single, sufficiently large scale, we describe its growth at subsequent scales, extending a result of Tao and an earlier result of our own for Cayley graphs. In forthcoming work we will give further applications. △ Less

Submitted 2 February, 2021; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: 26 pages. Minor proof-reading corrections. Final version to appear in Combinatorica

Residually free groups do not admit a uniform polynomial isoperimetric function

Authors: Claudio Llosa Isenrich, Romain Tessera

Abstract: We show that there is no uniform polynomial isoperimetric function for finitely presented subgroups of direct products of free groups, by producing a sequence of subgroups $G_r\leq F_2^{(1)} \times \dots \times F_2^{(r)}$ of direct products of 2-generated free groups with Dehn functions bounded below by $n^{r}$. The groups $G_r$ are obtained from the examples of non-coabelian subdirect products of… ▽ More We show that there is no uniform polynomial isoperimetric function for finitely presented subgroups of direct products of free groups, by producing a sequence of subgroups $G_r\leq F_2^{(1)} \times \dots \times F_2^{(r)}$ of direct products of 2-generated free groups with Dehn functions bounded below by $n^{r}$. The groups $G_r$ are obtained from the examples of non-coabelian subdirect products of free groups constructed by Bridson, Howie, Miller and Short. As a consequence we obtain that residually free groups do not admit a uniform polynomial isoperimetric function. △ Less

Submitted 27 February, 2020; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 9 pages, v2: Improvements to the exposition and minor corrections. Final accepted version, to appear in the Proceedings of the American Mathematical Society

MSC Class: 20F65 (Primary); 20F05; 20F69 (Secondary)

On the Dehn functions of Kähler groups

Authors: Claudio Llosa Isenrich, Romain Tessera

Abstract: We address the problem of which functions can arise as Dehn functions of Kähler groups. We explain why there are examples of Kähler groups with linear, quadratic, and exponential Dehn function. We then proceed to show that there is an example of a Kähler group which has Dehn function bounded below by a cubic function and above by $n^6$. As a consequence we obtain that for a compact Kähler manifold… ▽ More We address the problem of which functions can arise as Dehn functions of Kähler groups. We explain why there are examples of Kähler groups with linear, quadratic, and exponential Dehn function. We then proceed to show that there is an example of a Kähler group which has Dehn function bounded below by a cubic function and above by $n^6$. As a consequence we obtain that for a compact Kähler manifold having non-positive holomorphic bisectional curvature does not imply having quadratic Dehn function. △ Less

Submitted 7 June, 2019; v1 submitted 10 July, 2018; originally announced July 2018.

Comments: 15 pages, V2: Minor corrections and improvements to the exposition. Final accepted version, to appear in Groups, Geometry, and Dynamics

MSC Class: 32J27; 20F65

Scaling limits of Cayley graphs with polynomially growing balls

Authors: Romain Tessera, Matthew Tointon

Abstract: Benjamini, Finucane and the first author have shown that if (G_n,S_n) is a sequence of Cayley graphs such that |S_n^n|=O(n^D|S_n|), then the sequence (G_n,d_{S_n}/n) is relatively compact for the Gromov-Hausdorff topology and every cluster point is a connected nilpotent Lie group equipped with a left-invariant sub-Finsler metric. In this paper we show that the dimension of such a cluster point is… ▽ More Benjamini, Finucane and the first author have shown that if (G_n,S_n) is a sequence of Cayley graphs such that |S_n^n|=O(n^D|S_n|), then the sequence (G_n,d_{S_n}/n) is relatively compact for the Gromov-Hausdorff topology and every cluster point is a connected nilpotent Lie group equipped with a left-invariant sub-Finsler metric. In this paper we show that the dimension of such a cluster point is bounded by D, and that, under the stronger bound |S_n^n|=O(n^D), the homogeneous dimension of a cluster point is bounded by D. Our approach is roughly to use a well-known structure theorem for approximate groups due to Breuillard, Green and Tao to replace S_n^n with a coset nilprogression of bounded rank, and then to use results about nilprogressions from a previous paper of ours to study the ultralimits of such coset nilprogressions. As an application we bound the dimension of the scaling limit of a sequence of vertex-transitive graphs of large diameter. We also recover and effectivise parts of an argument of Tao concerning the further growth of single set S satisfying the bound |S^n| < Mn^D|S|. △ Less

Submitted 13 June, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

Comments: 37 pages. This version contains updated references to the companion paper arXiv:1612.05152 to reflect some organisational changes we made to that paper

On the vanishing of reduced 1-cohomology for Banach representations

Authors: Yves Cornulier, Romain Tessera

Abstract: A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial reduced first cohomology has a finite-dimensional subrepresentation. More recently Shalom showed that such a property is inherited by cocompact lattices and stable under coarse equivalence among amenable countable discrete groups. We give a new geometric proof of Delorme's theorem which extends t… ▽ More A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial reduced first cohomology has a finite-dimensional subrepresentation. More recently Shalom showed that such a property is inherited by cocompact lattices and stable under coarse equivalence among amenable countable discrete groups. We give a new geometric proof of Delorme's theorem which extends to a larger class of groups, including solvable $p$-adic algebraic groups, and finitely generated solvable groups with finite Prüfer rank. Moreover all our results apply to isometric representations in a large class of Banach spaces, including reflexive Banach spaces. As applications, we obtain an ergodic theorem in for integrable cocycles, as well as a new proof of Bourgain's Theorem that the 3-regular tree does not embed quasi-isometrically into any superreflexive Banach space. △ Less

Submitted 15 November, 2017; originally announced November 2017.

Comments: 44 pages, no figure

MSC Class: 43A65 (primary); 20F16; 22D10; 22D12; 37A30; 46B99 (secondary)

Journal ref: Annales de l'Institut Fourier, Tome 70 (2020) no. 5, pp. 1951-2003

Poincaré profiles of groups and spaces

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: We introduce a spectrum of monotone coarse invariants for metric measure spaces called Poincaré profiles. The two extremes of this spectrum determine the growth of the space, and the separation profile as defined by Benjamini--Schramm--Timár. In this paper we focus on properties of the Poincaré profiles of groups with polynomial growth, and of hyperbolic spaces, where we deduce a connection betwee… ▽ More We introduce a spectrum of monotone coarse invariants for metric measure spaces called Poincaré profiles. The two extremes of this spectrum determine the growth of the space, and the separation profile as defined by Benjamini--Schramm--Timár. In this paper we focus on properties of the Poincaré profiles of groups with polynomial growth, and of hyperbolic spaces, where we deduce a connection between these profiles and conformal dimension. As applications, we use these invariants to show the non-existence of coarse embeddings in a variety of examples. △ Less

Submitted 17 June, 2019; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: 55 pages. To appear in Revista Matemática Iberoamericana

MSC Class: 20F65; 20F67; 20F18

Journal ref: Rev. Mat. Iberoam. 36 (2020), no. 6, 1835-1886

Gromov's random monsters do not act non-elementarily on hyperbolic spaces

Authors: Dominik Gruber, Alessandro Sisto, Romain Tessera

Abstract: We show that Gromov's monster groups arising from i.i.d. labelings of expander graphs do not admit non-elementary actions on geodesic hyperbolic spaces. The proof relies on comparing properties of random walks on randomly labeled graphs and on groups acting non-elementarily on hyperbolic spaces. We show that Gromov's monster groups arising from i.i.d. labelings of expander graphs do not admit non-elementary actions on geodesic hyperbolic spaces. The proof relies on comparing properties of random walks on randomly labeled graphs and on groups acting non-elementarily on hyperbolic spaces. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 6 pages

Locally compact groups with every isometric action bounded or proper

Authors: Romain Tessera, Alain Valette

Abstract: A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine isometric actions on $L^p$-spaces. We explore properties PL and $BP_{L^p}$ and prove that they are equivalent for some interesting classes of groups: abelian group… ▽ More A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine isometric actions on $L^p$-spaces. We explore properties PL and $BP_{L^p}$ and prove that they are equivalent for some interesting classes of groups: abelian groups, amenable almost connected Lie groups, amenable linear algebraic groups over a local field of characteristic 0. The appendix by Corina Ciobotaru provides new examples of groups with property PL, including non-linear ones. △ Less

Submitted 2 May, 2017; originally announced May 2017.

Comments: 29 pages; with an appendix by Corina Ciobotaru

MSC Class: 22

Properness of nilprogressions and the persistence of polynomial growth of given degree

Authors: Romain Tessera, Matthew Tointon

Abstract: We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry… ▽ More We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1\in S$ and $|S^n|\le Mn^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|\ll_{M,D}r^D$ for every $r\ge n$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step. △ Less

Submitted 6 November, 2018; v1 submitted 15 December, 2016; originally announced December 2016.

Comments: 38 pages. Published version

Journal ref: Discrete Analysis 2018:17, 38 pp

First Passage percolation on a hyperbolic graph admits bi-infinite geodesics

Authors: Itai Benjamini, Romain Tessera

Abstract: Given an infinite connected graph, a way to randomly perturb its metric is to assign random i.i.d. lengths to the edges. An open question attributed to Furstenberg is whether there exists a two-sided infinite geodesic in first passage percolation on Z^2, and more generally on Z^n for n>1. Although the answer is generally conjectured to be negative, we give a positive answer for graphs satisfying s… ▽ More Given an infinite connected graph, a way to randomly perturb its metric is to assign random i.i.d. lengths to the edges. An open question attributed to Furstenberg is whether there exists a two-sided infinite geodesic in first passage percolation on Z^2, and more generally on Z^n for n>1. Although the answer is generally conjectured to be negative, we give a positive answer for graphs satisfying some negative curvature assumption. Assuming only strict positivity and finite expectation of the random lengths, we prove that if a graph X has bounded degree and contains a Morse geodesic (e.g. is non-elementary Gromov hyperbolic), then almost surely, there exists a bi-infinite geodesic in first passage percolation on X. △ Less

Submitted 17 November, 2016; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 9 pp

MSC Class: 82B43; 51F99; 97K50

Admitting a coarse embedding is not preserved under group extensions

Authors: Goulnara Arzhantseva, Romain Tessera

Abstract: We construct a finitely generated group which is an extension of two finitely generated groups coarsely embeddable into Hilbert space but which itself does not coarsely embed into Hilbert space. Our construction also provides a new infinite monster group: the first example of a finitely generated group that does not coarsely embed into Hilbert space and yet does not contain a weakly embedded expan… ▽ More We construct a finitely generated group which is an extension of two finitely generated groups coarsely embeddable into Hilbert space but which itself does not coarsely embed into Hilbert space. Our construction also provides a new infinite monster group: the first example of a finitely generated group that does not coarsely embed into Hilbert space and yet does not contain a weakly embedded expander. △ Less

Submitted 3 October, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 15 pages; Proposition 3.3(v1) was modified following a comment of D. Sawicki; Theorem 2(v3) is new and gives an extension of finitely generated groups

MSC Class: 46B85; 20F69; 22D10; 20E22

Local-to-global rigidity of Bruhat-Tits buildings

Authors: Mikael de la Salle, Romain Tessera

Abstract: A vertex-transitive graph X is called local-to-global rigid if there exists R such that every other graph whose balls of radius R are isometric to the balls of radius R in X is covered by X. Let $d\geq 4$. We show that the 1-skeleton of an affine Bruhat-Tits building of type $\widetilde A_{d-1}$ is local-to-global rigid if and only if the underlying field has characteristic 0. For example the Bruh… ▽ More A vertex-transitive graph X is called local-to-global rigid if there exists R such that every other graph whose balls of radius R are isometric to the balls of radius R in X is covered by X. Let $d\geq 4$. We show that the 1-skeleton of an affine Bruhat-Tits building of type $\widetilde A_{d-1}$ is local-to-global rigid if and only if the underlying field has characteristic 0. For example the Bruhat-Tits building of $SL(d,F_p((t)))$ is not local-to-global rigid, while the Bruhat-Tits building of $SL(d,Q_p)$ is local-to-global rigid. △ Less

Submitted 9 December, 2015; originally announced December 2015.

Comments: 11 pages

Journal ref: Illinois J. Math. 60 (2016), no. 3-4, 641-654

Characterizing a vertex-transitive graph by a large ball

Authors: Mikael de la Salle, Romain Tessera

Abstract: It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpoten… ▽ More It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpotent groups. By contrast, we exhibit various examples of Cayley graphs of finitely presented groups (e.g. SL(4,Z)) which fail to have this property, answering a question of Benjamini, Ellis, and Georgakopoulos. Answering a question of Cornulier, we also construct a continuum of non pairwise isometric large-scale simply connected locally finite vertex-transitive graphs. This question was motivated by the fact that large-scale simply connected Cayley graphs are precisely Cayley graphs of finitely presented groups and therefore have countably many isometric classes. △ Less

Submitted 17 February, 2019; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: v1: 38 pages. With an Appendix by Jean-Claude Sikorav v2: 48 pages. Several improvements in the presentation. To appear in Journal of Topology

Journal ref: J. Topol. 12 (2019), no. 3, 704-742

First passage percolation on nilpotent Cayley graphs and beyond

Authors: Itai Benjamini, Romain Tessera

Abstract: Our main result is an extension of Pansu's theorem to random metrics, where the edges of the Cayley are i.i.d. random variable with some finite exponential moment. Based on a previous work by the second author, the proof relies on Talagrand's concentration inequality, and on Pansu's theorem. Adapting a well-known argument for Z^d, we prove a sublinear estimate on the variance for virtually nilpote… ▽ More Our main result is an extension of Pansu's theorem to random metrics, where the edges of the Cayley are i.i.d. random variable with some finite exponential moment. Based on a previous work by the second author, the proof relies on Talagrand's concentration inequality, and on Pansu's theorem. Adapting a well-known argument for Z^d, we prove a sublinear estimate on the variance for virtually nilpotent groups which are not virtually isomorphic to Z. We further discuss the asymptotic cones of first-passage percolation on general infinite connected graphs: we prove that the asymptotic cones are a.e. deterministic if and only the volume growth is subexponential. △ Less

Submitted 12 May, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: The presentation has been improved: some geometric group theory background has been added to make it more friendly to probabilists. The proofs are now self-contained (instead of relying on some other work of the second author)

MSC Class: 46B85; 20F69; 22D10; 20E22

Speed of convergence in first passage percolation and geodesicity of the average distance

Authors: Romain Tessera

Abstract: We give an elementary proof that Talagrand's sub-Gaussian concentration inequality implies a limit shape theorem for first passage percolation on any Cayley graph of Z^d, with a bound on the speed of convergence that slightly improves Alexander's bounds. Our approach, which does not use the subadditive theorem, is based on proving that the average distance is close to being geodesic. Our key obser… ▽ More We give an elementary proof that Talagrand's sub-Gaussian concentration inequality implies a limit shape theorem for first passage percolation on any Cayley graph of Z^d, with a bound on the speed of convergence that slightly improves Alexander's bounds. Our approach, which does not use the subadditive theorem, is based on proving that the average distance is close to being geodesic. Our key observation, of independent interest, is that the problem of estimating the rate of convergence for the average distance is equivalent (in a precise sense) to estimating its "level of geodesicity". △ Less

Submitted 11 May, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: The proof of the main theorem contained a few mistakes that have been corrected. The presentation has also been improved

MSC Class: 60K35

Integrable measure equivalence and the central extension of surface groups

Authors: Kajal Das, Romain Tessera

Abstract: Let $Γ_g$ be a surface group of genus $g\geq 2$. It is known that the canonical central extension $\tildeΓ_g$ and the direct product $Γ_g\times \mathbb{Z}$ are quasi-isometric. It is also easy to see that they are measure equivalent. By contrast, in this paper, we prove that quasi-isometry and measure equivalence cannot be achieved "in a compatible way". More precisely, these two groups are not un… ▽ More Let $Γ_g$ be a surface group of genus $g\geq 2$. It is known that the canonical central extension $\tildeΓ_g$ and the direct product $Γ_g\times \mathbb{Z}$ are quasi-isometric. It is also easy to see that they are measure equivalent. By contrast, in this paper, we prove that quasi-isometry and measure equivalence cannot be achieved "in a compatible way". More precisely, these two groups are not uniform (nor even integrable) measure equivalent. In particular, they cannot act continuously, properly and cocompactly by isometries on the same proper metric space, or equivalently they are not uniform lattices in a same locally compact group. △ Less

Submitted 3 June, 2014; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 15 pages, no figures. In the previous version, we had overlooked a point in the proof of Theorem 1.1. This time we have strengthened this proof and we have added Theorem 1.3

MSC Class: Group Theory (math.GR); Metric Geometry (math.MG)

Relative expanders

Authors: Goulnara Arzhantseva, Romain Tessera

Abstract: We exhibit a finitely generated group $G$ and a sequence of finite index normal subgroups $N_n\trianglelefteq G$ such that for every finite generating subset $S\subseteq G$, the sequence of finite Cayley graphs $(G/N_n, S)$ does not coarsely embed into any $L^p$-space for $1\leqslant p<\infty$ (moreover, into any uniformly curved Banach space), and yet admits no weakly embedded expander. The reaso… ▽ More We exhibit a finitely generated group $G$ and a sequence of finite index normal subgroups $N_n\trianglelefteq G$ such that for every finite generating subset $S\subseteq G$, the sequence of finite Cayley graphs $(G/N_n, S)$ does not coarsely embed into any $L^p$-space for $1\leqslant p<\infty$ (moreover, into any uniformly curved Banach space), and yet admits no weakly embedded expander. The reason why our examples do not coarsely embed is a new phenomenon called relative expansion, which we define in terms of Poincaré inequalities. △ Less

Submitted 3 May, 2016; v1 submitted 6 February, 2014; originally announced February 2014.

Comments: 24 pages, new title, Theorem 1.3 is new, more details in proofs of Lemma 2.5 and Theorem 7.3, final revised version

MSC Class: 46B85; 20F69; 22D10; 20E22

Journal ref: Geometric and Functional Analysis (GAFA), 25 (2015), no. 2, 317-341

Geometric presentations of Lie groups and their Dehn functions

Authors: Yves Cornulier, Romain Tessera

Abstract: We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses algebraic groups over local fields, uses and extends Abels' theory of multiamalgams of graded Lie algebras, in order to provide workable presentations of these… ▽ More We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses algebraic groups over local fields, uses and extends Abels' theory of multiamalgams of graded Lie algebras, in order to provide workable presentations of these groups. △ Less

Submitted 25 November, 2016; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: 137 pages, a few figures. v1->v2: the paper has been thoroughly reorganized in order to be more readable. The numbering of theorems is therefore modified

MSC Class: Primary 17B70; 20F05; Secondary 08B25; 13N05; 17B56; 17B65; 19C09; 20F14; 20F69; 22D05; 22E15; 22E25; 57M07

Journal ref: Publ. Math. IHES 125(1) (2017), 79-219

On the space of left-orderings of virtually solvable groups

Authors: Cristóbal Rivas, Romain Tessera

Abstract: We show that the space of left-orderings of a countable virtually solvable group is either finite or homeomorphic to a Cantor set. We also provide an explicit description of the space of left-orderings of $SOL=\Z^2\rtimes_T\Z$. We show that the space of left-orderings of a countable virtually solvable group is either finite or homeomorphic to a Cantor set. We also provide an explicit description of the space of left-orderings of $SOL=\Z^2\rtimes_T\Z$. △ Less

Submitted 22 March, 2013; v1 submitted 14 September, 2012; originally announced September 2012.

Comments: 17 pages

MSC Class: 06F15; 20F60

Algebraically recurrent random walks on groups

Authors: Itai Benjamini, Hilary Finucane, Romain Tessera

Abstract: Initial steps are presented towards understanding which finitely generated groups are almost surely generated as semigroups by the path of a random walk on the group. Initial steps are presented towards understanding which finitely generated groups are almost surely generated as semigroups by the path of a random walk on the group. △ Less

Submitted 24 December, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

Comments: 9 pages

On the scaling limit of finite vertex transitive graphs with large diameter

Authors: Itai Benjamini, Hilary Finucane, Romain Tessera

Abstract: Let $(X_n)$ be an unbounded sequence of finite, connected, vertex transitive graphs such that $ |X_n | = o(diam(X_n)^q)$ for some $q>0$. We show that up to taking a subsequence, and after rescaling by the diameter, the sequence $(X_n)$ converges in the Gromov Hausdorff distance to a torus of dimension $<q$, equipped with some invariant Finsler metric. The proof relies on a recent quantitative vers… ▽ More Let $(X_n)$ be an unbounded sequence of finite, connected, vertex transitive graphs such that $ |X_n | = o(diam(X_n)^q)$ for some $q>0$. We show that up to taking a subsequence, and after rescaling by the diameter, the sequence $(X_n)$ converges in the Gromov Hausdorff distance to a torus of dimension $<q$, equipped with some invariant Finsler metric. The proof relies on a recent quantitative version of Gromov's theorem on groups with polynomial growth obtained by Breuillard, Green and Tao. If $X_n$ is only roughly transitive and $|X_n| = o\bigl({diam(X_n)^δ}\bigr)$ for $δ> 1$ sufficiently small, we prove, this time by elementary means, that $(X_n)$ converges to a circle. △ Less

Submitted 26 August, 2014; v1 submitted 26 March, 2012; originally announced March 2012.

Comments: Final version, to appear in Combinatorica

Dehn function and asymptotic cones of Abels' group

Authors: Yves Cornulier, Romain Tessera

Abstract: We prove that Abels' group over an arbitrary nondiscrete locally compact field has a quadratic Dehn function. As applications, we exhibit connected Lie groups and polycyclic groups whose asymptotic cones have uncountable abelian fundamental group. We also obtain, from the case of finite characteristic, uncountably many non-quasi-isometric finitely generated solvable groups, as well as peculiar exa… ▽ More We prove that Abels' group over an arbitrary nondiscrete locally compact field has a quadratic Dehn function. As applications, we exhibit connected Lie groups and polycyclic groups whose asymptotic cones have uncountable abelian fundamental group. We also obtain, from the case of finite characteristic, uncountably many non-quasi-isometric finitely generated solvable groups, as well as peculiar examples of fundamental groups of asymptotic cones. △ Less

Submitted 22 September, 2013; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 34 pages, no figure (v2: various corrections and minor improvements especially in the last section)

MSC Class: 20F65 (Primary) 20F69; 20F16; 20F05; 22D05; 51M25 (Secondary)

Journal ref: J. Topology 6(4) (2013), 982-1008

Amenable hyperbolic groups

Authors: Pierre-Emmanuel Caprace, Yves de Cornulier, Nicolas Monod, Romain Tessera

Abstract: We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of map** tori of discrete or continuous one-parameter groups of compacting automorphisms. We moreover give a description of all Gromov-hyperbolic locally compact groups with a cocompact amenable subgroup: modulo a compact normal subgroup, these tu… ▽ More We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of map** tori of discrete or continuous one-parameter groups of compacting automorphisms. We moreover give a description of all Gromov-hyperbolic locally compact groups with a cocompact amenable subgroup: modulo a compact normal subgroup, these turn out to be either rank one simple Lie groups, or automorphism groups of semi-regular trees acting doubly transitively on the set of ends. As an application, we show that the class of hyperbolic locally compact groups with a cusp-uniform non-uniform lattice, is very restricted. △ Less

Submitted 12 November, 2013; v1 submitted 16 February, 2012; originally announced February 2012.

Comments: 41 pages, no figure. v2: revised version (minor changes)

MSC Class: Primary 20F67; Secondary 05C63; 20E08; 22D05; 43A07; 53C30; 57S30

Journal ref: J. Eur. Math. Soc. 17 (2015), 2903-2947

Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

Authors: Daniel A. Ramras, Romain Tessera, Guoliang Yu

Abstract: Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of… ▽ More Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups. △ Less

Submitted 8 May, 2018; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: 57 pages. Version 5 contains an Addendum (to appear in Crelle) filling in a missing step in the proof of Proposition 6.11

MSC Class: 19D50 (Primary) 19G24; 20F69 (Secondary)

Journal ref: J. Reine Angew. Math. 694 (2014), 129-178

Uncertainty Principles in Finitely generated Shift-Invariant Spaces with additional invariance

Authors: Romain Tessera, Haichao Wang

Abstract: We consider finitely generated shift-invariant spaces (SIS) with additional invariance in $L^2(\R^d)$. We prove that if the generators and their translates form a frame, then they must satisfy some stringent restrictions on their behavior at infinity. Part of this work (non-trivially) generalizes recent results obtained in the special case of a principal shift-invariant spaces in $L^2(\R)$ whose g… ▽ More We consider finitely generated shift-invariant spaces (SIS) with additional invariance in $L^2(\R^d)$. We prove that if the generators and their translates form a frame, then they must satisfy some stringent restrictions on their behavior at infinity. Part of this work (non-trivially) generalizes recent results obtained in the special case of a principal shift-invariant spaces in $L^2(\R)$ whose generator and its translates form a Riesz basis. △ Less

Submitted 25 September, 2012; v1 submitted 16 November, 2011; originally announced November 2011.

Comments: 12 pages

On the existence of Optimal Subspace Clustering Models

Authors: Akram Aldroubi, Romain Tessera

Abstract: Given a set of vectors $\F=\{f_1,\dots,f_m\}$ in a Hilbert space $\HH$, and given a family $\CC$ of closed subspaces of $\HH$, the {\it subspace clustering problem} consists in finding a union of subspaces in $\CC$ that best approximates (models) the data $\F$. This problem has applications and connections to many areas of mathematics, computer science and engineering such as the Generalized Pri… ▽ More Given a set of vectors $\F=\{f_1,\dots,f_m\}$ in a Hilbert space $\HH$, and given a family $\CC$ of closed subspaces of $\HH$, the {\it subspace clustering problem} consists in finding a union of subspaces in $\CC$ that best approximates (models) the data $\F$. This problem has applications and connections to many areas of mathematics, computer science and engineering such as the Generalized Principle Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of innovation. In this paper, we characterize families of subspaces $\CC$ for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an augmented set $\CC^+$. In infinite dimensions however, the characterization is in terms of a new but related notion of contact hull. As an application, the existence of best approximations from $π(G)$-invariant families $\CC$ of unitary representations of abelian groups is derived. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 13 pages

MSC Class: 68Q32; 46N10; 47N10

A notion of geometric complexity and its application to topological rigidity

Authors: Erik Guentner, Romain Tessera, Guoliang Yu

Abstract: We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we s… ▽ More We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we show that the class of FDC groups includes all countable subgroups of GL(n,K), for any field K, all elementary amenable groups, and is closed under taking subgroups, extensions, free amalgamated products, HNN extensions, and direct unions. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: 58 pages, 5 figures

MSC Class: 57-xx

Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

Authors: Tim Austin, Assaf Naor, Romain Tessera

Abstract: Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and \begin{equation}\label{eq:comp abs} \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(… ▽ More Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and \begin{equation}\label{eq:comp abs} \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(x,y)}{\log d_W(x,y)}\right)^{1/p}. \end{equation} We also show that any embedding into $X$ of a ball of radius $R\ge 4$ in $\H$ incurs bi-Lipschitz distortion that grows at least as a constant multiple of \begin{equation}\label{eq:dist abs} \left(\frac{\log R}{\log\log R}\right)^{1/p}. \end{equation} Both~\eqref{eq:comp abs} and~\eqref{eq:dist abs} are sharp up to the iterated logarithm terms. When $X$ is Hilbert space we obtain a representation-theoretic proof yielding bounds corresponding to~\eqref{eq:comp abs} and~\eqref{eq:dist abs} which are sharp up to a universal constant. △ Less

Submitted 23 July, 2010; originally announced July 2010.

The Howe-Moore property for real and p-adic groups

Authors: Raf Cluckers, Yves Cornulier, Nicolas Louvet, Romain Tessera, Alain Valette

Abstract: We consider in this paper a relative version of the Howe-Moore Property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or p-adic Lie groups, the pairs with the relative Howe-Moore Property with respect to a closed, normal subgroup. This involves, in on… ▽ More We consider in this paper a relative version of the Howe-Moore Property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or p-adic Lie groups, the pairs with the relative Howe-Moore Property with respect to a closed, normal subgroup. This involves, in one direction, structural results on locally compact groups all of whose proper closed characteristic subgroups are compact, and, in the other direction, some results about the vanishing at infinity of oscillatory integrals. △ Less

Submitted 7 March, 2010; originally announced March 2010.

Comments: 25 pages, no figure

MSC Class: Primary 22D10; Secondary 22D05; 22E35; 43A35

Journal ref: Math. Scand. 109(2) (2011) 201-224

Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups

Authors: Yves Cornulier, Romain Tessera

Abstract: We prove that groups in a certain class of metabelian locally compact groups, have quadratic Dehn function. As an application, we embed the solvable Baumslag-Solitar groups into finitely presented metabelian groups with quadratic Dehn function. Also, we prove that Baumslag's finitely presented metabelian groups, in which the lamplighter groups embed, have quadratic Dehn function. We prove that groups in a certain class of metabelian locally compact groups, have quadratic Dehn function. As an application, we embed the solvable Baumslag-Solitar groups into finitely presented metabelian groups with quadratic Dehn function. Also, we prove that Baumslag's finitely presented metabelian groups, in which the lamplighter groups embed, have quadratic Dehn function. △ Less

Submitted 23 January, 2011; v1 submitted 27 February, 2010; originally announced March 2010.

Comments: 13 pages, one figure. v1->v2: title has been changed; added application to Baumslag's group v2->v3 numerous corrections

MSC Class: 20F65 (primary); 20F69; 20F16; 53A10 (secondary)

Journal ref: Confluentes Math. 2(4), 431-443, 2010

A characterization of relative Kazhdan Property T for semidirect products with abelian groups

Authors: Yves Cornulier, Romain Tessera

Abstract: Let A be a locally compact abelian group, and H a locally compact group acting on A. Let G=HA be the semidirect product. We prove that the pair (G,A) has Kazhdan's Property T if and only if the only countably approximable H-invariant mean on the Borel subsets of the Pontryagin dual of A, supported at the neighbourhood of the trivial character, is the Dirac measure. Let A be a locally compact abelian group, and H a locally compact group acting on A. Let G=HA be the semidirect product. We prove that the pair (G,A) has Kazhdan's Property T if and only if the only countably approximable H-invariant mean on the Borel subsets of the Pontryagin dual of A, supported at the neighbourhood of the trivial character, is the Dirac measure. △ Less

Submitted 30 January, 2010; v1 submitted 17 November, 2009; originally announced November 2009.

Comments: 16 pages, no figure. v1->v2: The main result has been slightly restated because of a flaw in the original argument v2->v3 added Theorem 4 which provides a relative version

MSC Class: 43A05 (Primary); 22D10; 43A07; 43A25 (Secondary)

Journal ref: Ergod. Th. & Dynam. Sys. (2011), 31, 793-805