arXiv++ Combinatorics

Browse math.CO papers from arXiv

The simplicial boundary of a CAT(0) cube complex

Published: 2012-01-04 | Updated: 2020-04-06
Comments: Lemma 3.18 was not stated correctly. This is fixed, and a minor adjustment to the beginning of the proof of Theorem 3.19 has been made as a result. Statements other than 3.18 do not need to change. I thank Abdul Zalloum for the correction. See also: arXiv:2004.01182 (this version differs from previous only by addition of the preceding link, at administrators' request)
Journal: Algebr. Geom. Topol. 13 (2013) 1299-1367

Abstract

For a CAT(0) cube complex $\mathbf X$, we define a simplicial flag complex $\partial_Δ\mathbf X$, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$. We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$, which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$.

BibTeX

Loading...