Cubical small-cancellation theory and large-dimensional hyperbolic groups
Repository URI
Repository DOI
Change log
Authors
Abstract
Given a finitely presented group Q and a compact special cube complex X with nonelementary hyperbolic fundamental group, we produce a non-elementary, torsion-free, cocompactly cubulated hyperbolic group Γ that surjects onto Q, with kernel isomorphic to a quotient of G = π_1X and such that max{cd(G),2} ≥ cd(Γ) ≥ cd(G)−1. Separately, we show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a C(9) cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of many quotients of square complexes admitting such cubical presentations. When the cubical presentations satisfy a condition analogous to requiring that the relators in a group presentation are not proper powers, we conclude that the corresponding coned-off space is aspherical.