English

The simplicial boundary of a CAT(0) cube complex

Group Theory 2020-04-08 v5 Combinatorics

Abstract

For a CAT(0) cube complex X\mathbf X, we define a simplicial flag complex ΔX\partial_\Delta\mathbf X, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of X\mathbf X. We compare ΔX\partial_\Delta\mathbf X to the Roller, visual, and Tits boundaries of X\mathbf X and give conditions under which the natural CAT(1) metric on ΔX\partial_\Delta\mathbf X makes it (quasi)isometric to the Tits boundary. ΔX\partial_\Delta\mathbf X allows us to interpolate between studying geodesic rays in X\mathbf X and the geometry of its \emph{contact graph} ΓX\Gamma\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 X\mathbf X using ΔX\partial_\Delta\mathbf X. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on ΓX\Gamma\mathbf X and ΔX\partial_\Delta\mathbf X and state characterizations of cubulated groups with linear divergence in terms of ΓX\Gamma\mathbf X and ΔX\partial_\Delta\mathbf X.

Keywords

Cite

@article{arxiv.1201.0989,
  title  = {The simplicial boundary of a CAT(0) cube complex},
  author = {Mark F. Hagen},
  journal= {arXiv preprint arXiv:1201.0989},
  year   = {2020}
}

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)

R2 v1 2026-06-21T20:00:20.250Z