arXiv subjects
Publications and source records attributed to Anthony Genevois.
Recently, Lin and Shinder constructed non-trivial homomorphisms from Cremona groups of rank >2 to \mathbb{Z} using motivic techniques. In this short note we propose an alternative perspective from median geometry on their theorem.
In this article, we introduce a new family of groups, called Chambord groups and constructed from braided strand diagrams associated to specific semigroup presentations. It includes the asymptotically rigid mapping class groups previously studied by the authors such as the braided Higman-Thompson groups and the braided Houghton groups. Our main result shows that polycyclic subgroups in Chambord groups are virtually abelian and undistorted.
It is a theorem due to F. Haglund and D. Wise that reflection groups (aka Coxeter groups) virtually embed into right-angled reflection groups (aka right-angled Coxeter groups). In this article, we generalise this observation to rotation groups, which can be thought of as a common generalisation of Coxeter groups and graph products of groups. More precisely, we prove that rotation groups (aka periagroups) virtually embed into right-angled rotation groups (aka graph products of groups).
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.
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, mapping 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.
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.
We introduce Property (NL), which indicates that a group does not admit any (isometric) action on a hyperbolic space with loxodromic elements. In other words, such a group $G$ can only admit elliptic or horocyclic hyperbolic actions, and consequently its poset of hyperbolic structures $\mathcal{H}(G)$ is trivial. It turns out that many groups satisfy this property; and we initiate the formal study of this phenomenon. Of particular importance is the proof of a dynamical criterion in this paper that ensures that groups with rich actions on compact Hausdorff spaces have Property (NL). These include many Thompson-like groups, such as $V, T$ and even twisted Brin--Thompson groups, which implies that every finitely generated group quasi-isometrically embeds into a finitely generated simple group with Property (NL). We also study the stability of the property under group operations and explore connections to other fixed point properties. In the appendix (by Alessandro Sisto) we describe a construction of cobounded actions on hyperbolic spaces starting from non-cobounded ones that preserves various properties of the initial action.
Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.
In this article, we show that, for every $n \geq 2$, the pure virtual twin group $PVT_n$ can be naturally described as a symmetric diagram group, a family of groups introduced by V. Guba and M. Sapir and associated to semigroup presentations. Inspired by this observation, we prove that every finitely generated right-angled Artin group is a symmetric diagram group. This contrasts with the fact that not all right-angled Artin groups are planar diagram groups.
We exhibit a variety of groups that act properly and even cocompactly on median graphs (a.k.a. one-skeletons of CAT(0) cube complexes), with quasi-isometric groups that do not admit any proper action on a median graph. This answes a question of Niblo, Sageev and Wise. Our examples are all quasi-isometrically trivial central extensions of certain cubulated groups.
Given a graph $Γ$, the right-angled Artin group $A(Γ)$ is given by the presentation $\langle u \in V(Γ) \mid [u,v]=1, \ \{u,v\} \in E(Γ) \rangle$. The Embedding Problem in right-angled Artin groups asks, given two finite graphs $Φ,Ψ$, how to determine whether or not $A(Φ)$ is isomorphic to a subgroup of $A(Ψ)$. These are the notes of a mini-course given at the CIRM in April 2022, dedicated to a geometric point of view on this embedding problem, based on quasi-median graphs.
We show that plane Cremona groups over finite fields embed as dense subgroups into Neretin groups, i.e. groups of almost automorphisms of rooted trees. We also show that if the finite base field has even characteristic and contains at least 4 elements, then the permutations induced by birational transformations on rational points of regular projective surfaces are even. In a second part, we construct explicit locally compact CAT(0) cube complexes, on which Neretin groups act properly. This allows us to recover in a unified way various results on Neretin groups such as that they are of type $F_{\infty}$. We also prove a new fixed-point theorem for CAT(0) cube complexes without infinite cubes and use it to deduce a regularisation theorem for plane Cremona groups over finite fields.
Cactus groups and their pure subgroups appear in various fields of mathematics and are currently attracting attention from diverse mathematical communities. They share similarities with both right-angled Coxeter groups and braid groups. In this article, our goal is to highlight the tools offered by geometric group theory for the study of these groups. Among the new contributions made possible thanks to this geometric perspective, we describe an explicit and efficient solution to the conjugacy problem, and we prove that cactus groups are virtually cocompact special and acylindrically hyperbolic.
To every semigroup presentation $\mathcal{P}= \langle Σ\mid \mathcal{R} \rangle$ and every baseword $w \in Σ^+$ can be associated a diagram group $D(\mathcal{P},w)$, defined as the fundamental group of the so-called Squier complex $S(\mathcal{P},w)$. Roughly speaking, $D(\mathcal{P},w)$ encodes the lack of asphericity of $\mathcal{P}$. Examples of diagram groups include Thompson's group $F$, the lamplighter group $\mathbb{Z} \wr \mathbb{Z}$, the pure planar braid groups, and various right-angled Artin groups. This survey aims at summarising what is known about the family of diagram groups.
Given a morphism $φ: 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 $φ$ is a sufficiently large subgroup, then $\mathrm{ker}(φ)$ contains a non-abelian free subgroup and $φ$ 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.
In this article, we state and prove a general criterion allowing us to show that some groups are hyperbolically elementary, meaning that every isometric action of one of these groups on a Gromov-hyperbolic space either fixes a point at infinity or has bounded orbits. Also, we show how such a hyperbolic rigidity leads to fixed-point properties on finite-dimensional CAT(0) cube complexes. As an application, we prove that Thompson's group $V$ is hyperbolically elementary, and we deduce that it satisfies Property $(FW_{\infty})$, ie., every isometric action of $V$ on a finite-dimensional CAT(0) cube complex fixes a point. It provides the first example of a (finitely presented) group acting properly on an infinite-dimensional CAT(0) cube complex such that all its actions on finite-dimensional CAT(0) cube complexes have global fixed points.
Given a quasi-median graph $X$, the crossing graph $ΔX$ and the contact graph $ΓX$ are natural hyperbolic models of $X$. In this article, we show that the asymptotic translation length in $ΔX$ or $ΓX$ of an isometry of $X$ is always rational. Moreover, if $X$ is hyperbolic, these rational numbers can be written with denominators bounded above uniformly; this is not true in full generality. Finally, we show that, if the quasi-median graph $X$ is constructible in some sense, then there exists an algorithm computing the translation length of every computable isometry. Our results encompass contact graphs in CAT(0) cube complexes and extension graphs of right-angled Artin groups.
This article is dedicated to the study of the acylindrical hyperbolicity of automorphism groups of graph products of groups. Our main result is that, if $Γ$ is a finite graph which contains at least two vertices and is not a join and if $\mathcal{G}$ is a collection of finitely generated irreducible groups, then either $Γ\mathcal{G}$ is infinite dihedral or $\mathrm{Aut}(Γ\mathcal{G})$ is acylindrically hyperbolic. This theorem is new even for right-angled Artin groups and right-angled Coxeter groups. Various consequences are deduced from this statement and from the techniques used to prove it. For instance, we show that the automorphism groups of most graph products verify vastness properties such as being SQ-universal; we show that many automorphism groups of graph products do not satisfy Kazhdan's property (T); we solve the isomorphism problem between graph products in some cases; and we show that a graph product of coarse median groups, as defined by Bowditch, is coarse median itself.