A generalized axis theorem for cube complexes (Q2409804)

A \(\mathrm{CAT}(0)\) cube complex \(X\) is a cell complex that is a geodesic metric space satisfying the \(\mathrm{CAT}(0)\) comparison triangle condition, and each \(n\)-cell is isometric to \([0,1]^n\). A hyperplane in a cube complex \(X\) is the subset of points equidistant between two adjacent vertices. A connected \(\mathrm{CAT}(0)\) cube complex is a quasiline if it is quasiisometric to the real numbers. The combinatorial distance between two 0-cubes is the number of hyperplanes in \(X\) separating them. This defines the combinatorial metric on \(X\). It is shown: Theorem 4.3. Let \(G\) be virtually \(\mathbb Z^n\). Suppose \(G\) acts properly and without inversions on a \(\mathrm{CAT}(0)\) cube complex \(X\). Then \(G\) stabilizes a finite-dimensional subcomplex \(Y\subseteq X\) that is isometrically embedded in the combinatorial metric, and \(Y=\prod_{i=1}^m C_i\) where each \(C_i\) is a cubical quasiline and \(m\geq n\). Moreover, Stab\(_G(\lambda )\) is a codimension-1 subgroup for each hyperplane \(\lambda \) in \(Y\). Corollary 1.1. Let \(A\) be a finitely generated virtually abelian group acting properly on a \(\mathrm{CAT}(0)\) cube complex \(X\). Then \(A\) acts metrically properly on \(X\). Corollary 1.2. Let \(G\) be a finitely generated group acting properly on a \(\mathrm{CAT}(0)\) cube complex \(X\). Then virtually \(\mathbb Z^n\) subgroups are undistorted in \(G\).