Cocompactly cubulated crystallographic groups
arXiv:1202.4462 · doi:10.1112/jlms/jdu017
Abstract
We prove that the simplicial boundary of a CAT(0) cube complex admitting a proper, cocompact action by a virtually $\integers^n$ group is isomorphic to the hyperoctahedral triangulation of , providing a class of groups for which the simplicial boundary of a -cocompact cube complex depends only on . We also use this result to show that the cocompactly cubulated crystallographic groups in dimension are precisely those that are \emph{hyperoctahedral}. We apply this result to answer a question of Wise on cocompactly cubulating virtually free abelian groups.
Several corrections