In a seminal paper, Stallings introduced folding of morphisms of graphs. One consequence of folding is the representation of finitely-generated subgroups of a finite-rank free group as immersions of finite graphs. Stallings's methods allow one to construct this representation algorithmically, giving effective, algorithmic answers and proofs to classical questions about subgroups of free groups. Recently Dani--Levcovitz used Stallings-like methods to study subgroups of right-angled Coxeter groups, which act geometrically on CAT(0) cube complexes. In this paper we extend their techniques to fundamental groups of non-positively curved cube complexes.
We describe a higher dimensional analogue of the Stallings folding sequence for group actions on CAT(0) cube complexes. We use it to give a characterization of quasiconvex subgroups of hyperbolic groups which act properly co-compactly on CAT(0) cube complexes via finiteness properties of their hyperplane stabilizers.
These notes grew out of two lectures I have given on CAT(0) cube complexes. I've tried to keep the material elementary and self-contained in order to keep the material easily accessible and to provide an elementary introduction on the topic for advanced bachelor students or early master students with little to no previous knowledge on geometric group theory or CAT(0) geometry.
We introduce a $\mathbb{Z}$-valued cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. We motivate its relevance by showing that every cross-ratio preserving bijection of Roller boundaries uniquely extends to a cubical isomorphism. Our results are strikingly general and even apply to infinite dimensional, locally infinite cube complexes with trivial automorphism group.
We develop the foundations of the theory of relatively geometric actions of relatively hyperbolic groups on CAT(0) cube complexes, a notion introduced in our previous work [5]. In the relatively geometric setting we prove: full relatively quasi-convex subgroups are convex compact; an analog of Agol's Theorem; and a version of Haglund--Wise's Canonical Completion and Retraction.
Given a CAT(0) cube complex X, we show that if Aut(X) $\neq$ Isom(X) then there exists a full subcomplex of X which decomposes as a product with $\mathbb{R}^n$. As applications, we prove that if X is $δ$-hyperbolic, cocompact and 1-ended, then Aut(X) $=$ Isom(X) unless X is quasi-isometric to $\mathbb{H}^2$, and extend the rank-rigidity result of Caprace-Sageev to any lattice $ Γ\leq$ Isom(X).
We explain how to adapt a construction of M. Sageev's to construct a proper action on a CAT(0) cube complex starting from a proper action on a wall space, and use this to deduce that if G is a group containing an amenable subgroup H of super-polynomial growth and G acts properly on a space with walls then there are arbitrarily large families of walls in the wall space which pairwise cross.
In this paper, we study the geometry of cone-offs of CAT(0) cube complexes over a family of combinatorially convex subcomplexes, with an emphasis on their Gromov-hyperbolicity. A first application gives a direct cubical proof of the characterization of the (strong) relative hyperbolicity of right-angled Coxeter groups, which is a particular case of a result due to Behrstock, Caprace and Hagen. A second application gives the acylindrical hyperbolicity of $C'(1/4)-T(4)$ small cancellation quotients of free products.
The main technical result of this paper is to characterize the contracting isometries of a CAT(0) cube complex without any assumption on its local finiteness. Afterwards, we introduce the combinatorial boundary of a CAT(0) cube complex, and we show that contracting isometries are strongly related to isolated points at infinity, when the complex is locally finite. This boundary turns out to appear naturally in the context of Guba and Sapir's diagram groups, and we apply our main criterion to determine precisely when an element of a diagram group induces a contracting isometry on the associated …
We discuss a problem posed by Gersten: Is every automatic group which does not contain Z+Z subgroup, hyperbolic? To study this question, we define the notion of "n-tracks of length n", which is a structure like Z+Z, and prove its existence in the non-hyperbolic automatic groups with mild conditions. As an application, we show that if a group acts effectively, cellularly, properly discontinuously and cocompactly on a CAT(0) cube complex and its quotient is "weakly special", then the above question is answered affirmatively.
We provide geometric conditions on a pair of hyperplanes of a CAT(0) cube complex that imply divergence bounds for the cube complex. As an application, we classify all right-angled Coxeter groups with quadratic divergence and show right-angled Coxeter groups cannot exhibit a divergence function between quadratic and cubic. This generalizes a theorem of Dani-Thomas that addressed the class of 2-dimensional right-angled Coxeter groups. As another application, we provide an inductive graph theoretic criteria on a right-angled Coxeter group's defining graph which allows us to recognize arbitrary i…
The Roller boundary is a well-known compactification of a CAT(0) cube complex X. When X is locally finite, essential, irreducible, non-Euclidean and admits a cocompact action by a group G, Nevo-Sageev show that a subset, B(X), of the Roller boundary is the realization of the Poisson boundary and that the action of G on B(X) is minimal and strongly proximal. Additionally, these authors show B(X) satisfies many other desirable dynamical and topological properties. In this article we give several equivalent characterizations for when B(X) is equal to the entire Roller boundary. As an application …
In this short note, we show that a group acting geometrically on a CAT(0) cube complex with virtually abelian hyperplane-stabilisers must decompose virtually as a free product of free abelian groups and surface groups.
We show that an automorphism of an arbitrary CAT(0) cube complex either has a fixed point or preserves some combinatorial axis. It follows that when a group contains a distorted cyclic subgroup, it admits no proper action on a discrete space with walls.
We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube complexes. We derive a number of other consequences for CAT(0) cube complexes, including a purely geometric proof of the Tits Alternative, an existence result for regular elements in (possibly non-uniform) lattices acting on cube complexes, and a characterization of products of trees in terms of bounded cohomology.
We provide a necessary and sufficient condition on a finite flag simplicial complex, L, for which there exists a unique CAT(0) cube complex whose vertex links are all isomorphic to L. We then find new examples of such CAT(0) cube complexes and prove that their automorphism groups are virtually simple. The latter uses a result, which we prove in the appendix, about the simplicity of certain subgroups of the automorphism group of a rank-one CAT(0) cube complex. This result generalizes previous results by Tits and by Haglund and Paulin.
In this article, we associate to isometries of CAT(0) cube complexes specific subspaces, referred to as \emph{median sets}, which play a similar role as minimising sets of semisimple isometries in CAT(0) spaces. Various applications are deduced, including a cubulation of centralisers, a splitting theorem, a proof that Dehn twists in mapping class groups must be elliptic for every action on a CAT(0) cube complex, a cubical version of the flat torus theorem, and a structural theorem about polycyclic groups acting on CAT(0) cube complexes.
We correct Theorem 3.10 of "The simplicial boundary of a CAT(0) cube complex" in the infinite-dimensional case. No correction is needed in the finite-dimensional case.
Rips and Sela introduced the notion of globally stable cylinders and asked if all Gromov hyperbolic groups admit such. We prove that hyperbolic cubulated groups admit globally stable cylinders.
In this article, we state and prove a general criterion which prevents some groups from acting properly on finite-dimensional CAT(0) cube complexes. As an application, we show that, for every non-trivial finite group $F$, the lamplighter group $F \wr \mathbb{F}_2$ over a free group does not act properly on a finite-dimensional CAT(0) cube complex (although it acts properly on a infinite-dimensional CAT(0) cube complex). We also deduce from this general criterion that, roughly speaking, given a group $G$ acting on a CAT(0) cube complex of finite dimension and an infinite torsion subgroup $L \le…
In this paper we prove that the asymptotic dimension of a finite-dimensional CAT(0) cube complex is bounded above by the dimension. To achieve this we prove a controlled colouring theorem for the complex. We also show that every CAT(0) cube complex is a contractive retraction of an infinite dimensional cube. As an example of the dimension theorem we obtain bounds on the asymptotic dimension of small cancellation groups.
This paper is a survey dedicated to the following question: given a group acting on some CAT(0) cube complex, how to exploit this action to determine whether or not the group is Gromov / relatively / acylindrically hyperbolic? As much as possible, the different criteria we mention are illustrated by applications. We also propose a model for universal acylindrical actions of cubulable groups and give a few applications to Morse, stable and hyperbolically embedded subgroups.
We show that groups satisfying Kazhdan's property (T) have no unbounded actions on finite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(-1) Riemannian manifold which is not homotopy equivalent to any finite dimensional, locally CAT(0) cube complex.
We show under weak hypotheses that $\partial X$, the Roller boundary of a finite dimensional CAT(0) cube complex $X$ is the Furstenberg-Poisson boundary of a sufficiently nice random walk on an acting group $Γ$. In particular, we show that if $Γ$ admits a nonelementary proper action on $X$, and $μ$ is a generating probability measure of finite entropy and finite first logarithmic moment, then there is a $μ$-stationary measure on $\partial X$ making it the Furstenberg-Poisson boundary for the $μ$-random walk on $Γ$. We also show that the support is contained in the closure of the regular points…
We give a generalized and self-contained account of Haglund-Paulin's wallspaces and Sageev's construction of the CAT(0) cube complex dual to a wallspace. We examine criteria on a wallspace leading to finiteness properties of its dual cube complex. Our discussion is aimed at readers wishing to apply these methods to produce actions of groups on cube complexes and understand their nature. We develop the wallspace ideas in a level of generality that facilitates their application. Our main result describes the structure of dual cube complexes arising from relatively hyperbolic groups. Let H_1,...,…
We study the acylindrical hyperbolicity of groups acting by isometries on CAT(0) cube complexes, and obtain simple criteria formulated in terms of stabilisers for the action. Namely, we show that a group acting essentially and non-elementarily on a finite dimensional irreducible CAT(0) cube complex is acylindrically hyperbolic if there exist two hyperplanes whose stabilisers intersect along a finite subgroup. We also give further conditions on the geometry of the complex so that the result holds if we only require the existence of a single pair of points whose stabilisers intersect along a fin…
The question which motivates the article is the following: given a group acting on a CAT(0) cube complex, how can we prove that it is acylindrically hyperbolic? Keeping this goal in mind, we show a weak acylindricity of the action on the contact graph associated to a CAT(0) cube complex, and we prove a characterisation of WPD contracting isometries of CAT(0) cube complexes. As a first consequence, we find alternative arguments to show several criteria which were proved by Indira Chatterji and Alexandre Martin. Next, we show that if a group acts essentially and acylindrically on the hyperplanes…
Random walks on spaces with hyperbolic properties tend to sublinearly track geodesic rays which point in certain hyperbolic-like directions. Qing-Rafi-Tiozzo recently introduced the sublinearly Morse boundary and proved that this boundary is a quasi-isometry invariant which captures a notion of generic direction in a broad context. In this article, we develop the geometric foundations of sublinear Morseness in the mapping class group and Teichmüller space. We prove that their sublinearly Morse boundaries are visibility spaces and admit continuous equivariant injections into the boundary of the…
We prove that if $G = G_1\times\dots\times G_n$ acts essentially, properly and cocompactly on a CAT(0) cube complex X, then the cube complex splits as a product. We use this theorem to give various examples of groups for which the minimal dimension of a cube complex the group acts on is strictly larger than that of the minimal dimension of a CAT(0) space upon which the group acts.
We construct a finitely generated 2-dimensional group that acts properly on a locally finite CAT(0) cube complex but does not act properly on a finite dimensional CAT(0) cube complex.
In [4], Dunwoody defined resolutions for finitely presented group actions on simplicial trees, that is, an action of the group on a tree with smaller edge and vertex stabilizers. He, moreover, proved that the size of the resolution is bounded by a constant depending only on the group. Extending Dunwoody's definition of patterns we construct resolutions for group actions on a general finite dimensional CAT(0) cube complex. In dimension two, we bound the number of hyperplanes of this resolution. We apply this result for surfaces and 3-manifolds to bound collections of codimension-1 submanifolds.
We consider diagram groups as defined by V. Guba and M. Sapir. A diagram group G acts on the associated cube complex K by isometries. It is known that if a cube complex L is of a finite dimension then every isometry g of L is semi-simple, i.e. its translation length is realized. It was conjectured by D. S. Farley that in the case of a diagram group G the action of G on the associated cube complex K is by semisimple isometries even when K has an infinite dimension. In this paper we give a counterexample to Farley Conjecture and we show that R. Thompson's group F, considered as a diagram group, …
We show that every $n$-quasiflat in a $n$-dimensional $CAT(0)$ cube complex is at finite Hausdorff distance from a finite union of $n$-dimensional orthants. Then we introduce a class of cube complexes, called {\em weakly special} cube complexes and show that quasi-isometries between their universal coverings preserve top dimensional flats. We use this to establish several quasi-isometry invariants for right-angled Artin groups. Some of our arguments also extend to $CAT(0)$ spaces of finite geometric dimension. In particular, we give a short proof of the fact that a top dimensional quasiflat in…
We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions for which these results apply include the standard actions of right-angled Artin groups on their associated CAT(0) cube complexes. In particular, every non-trivial element of a right-angled Artin group has stable commutator length at least 1/24. These results make use of some ne…
We show that group actions on irreducible ${\rm CAT(0)}$ cube complexes with no free faces are uniquely determined by their $\ell^1$ length function. Actions are allowed to be non-proper and non-cocompact, as long as they are minimal and have no finite orbit in the visual boundary. This is, to our knowledge, the first length-spectrum rigidity result in a setting of non-positive curvature (with the exception of some particular cases in dimension 2 and symmetric spaces). As our main tool, we develop a notion of cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. Inspired by result…
For random groups in the Gromov density model at $d<3/14$, we construct walls in the Cayley complex $X$ which give rise to a non-trivial action by isometries on a CAT(0) cube complex. This extends results of Ollivier-Wise and Mackay-Przytycki at densities $d<1/5$ and $d<5/24$, respectively. We are able to overcome one of the main combinatorial challenges remaining from the work of Mackay-Przytycki, and we give a construction that plausibly works at any density $d<1/4$.
For each d we construct CAT(0) cube complexes on which Cremona groups rank d act by isometries. From these actions we deduce new and old group theoretical and dynamical results about Cremona groups. In particular, we study the dynamical behaviour of the irreducible components of exceptional loci, we prove regularization theorems, we find new constraints on the degree growth for non-regularizable birational transformations, and we show that the centralizer of certain birational transformations is small.
We deduce from Sageev's results that whenever a group acts locally elliptically on a finite dimensional CAT(0) cube complex, then it must fix a point. As an application, we give an example of a group G such that G does not have property (T), but G and all its finitely generated subgroups can not act without a fixed point on a finite dimensional CAT(0) cube complex, answering a question by Barnhill and Chatterji.
If $G$ is a group acting geometrically on a CAT(0) cube complex $X$ and if $g \in G$ is an infinite-order element, we show that exactly one of the following situations occurs: (i) $g$ defines a rank-one isometry of $X$; (ii) the stable centraliser $SC_G(g)= \{ h \in G \mid \exists n \geq 1, [h,g^n]=1 \}$ of $g$ is not virtually cyclic; (iii) $\mathrm{Fix}_Y(g^n)$ is finite for every $n \geq 1$ and the sequence $(\mathrm{Fix}_Y(g^n))$ takes infinitely many values, where $Y$ is a cubical component of the Roller boundary of $X$ which contains an endpoint of an axis of $g$. We also show that (iii)…
Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set, together with a pairwise-disjoint collection of subcomplexes corresponding, in the appropriate sense, to elements of P. As a special case of this result is a new proof, in the cubical case, of a Theorem of Hruska--Kleiner regarding Tits boundaries of relatively hyperbolic CAT(0) spaces. Second, we relate the existence of cut-points in asymptotic cones of a cub…
We define a bounded cohomology class, called the {\em median class}, in the second bounded cohomology -- with appropriate coefficients --of the automorphism group of a finite dimensional CAT(0) cube complex X. The median class of X behaves naturally with respect to taking products and appropriate subcomplexes and defines in turn the {\em median class of an action} by automorphisms of X. We show that the median class of a non-elementary action by automorphisms does not vanish and we show to which extent it does vanish if the action is elementary. We obtain as a corollary a superrigidity result …
Let $G$ be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex $X$ without fixed points at infinity. We show that for any finite collection of simultaneously inessential subgroups $\{H_1, \ldots, H_k\}$ in $G$, there exists an element $g$ of infinite order such that $\forall i$, $\langle H_i, g\rangle \cong H_i * \langle g\rangle$. We apply this to show that any group, acting faithfully and geometrically on a non-Euclidean possibly reducible CAT(0) cube complex, has property $P_{naive}$ i.e. given any finite list $\{g_1, \ldots, g_k\}…
A group is tubular if it acts on a tree with $\mathbb{Z}^2$ vertex stabilizers and $\mathbb{Z}$ edge stabilizers. We prove that a tubular group is virtually special if and only if it acts freely on a locally finite CAT(0) cube complex. Furthermore, we prove that if a tubular group acts freely on a finite dimensional CAT(0) cube complex, then it virtually acts freely on a three dimensional CAT(0) cube complex.
