Hyperbolicity in non-metric cubical small-cancellation (Q6614903)

A cubical presentation is a higher dimensional generalisation of a classical group presentation in terms of generators and relators. A non-positively curved cube complex \(X\) serves as the generators while the relators are local isometries of non-positively curved cube complexes \(Y_{i} \hookrightarrow X\).\N\NIn the paper under review, the authors prove that, given a non-positively curved cube complex \(X\), the quotient of \(\pi_{1}X\) defined by a cubical presentation \(\langle X \mid Y_{1}, \ldots, Y_{s} \rangle\) satisfying sufficient non-metric cubical small-cancellation conditions is hyperbolic provided that \(\pi_{1}X\) is hyperbolic. More precisely, they prove Theorem 5.1: Let \(X^{\ast} = \langle X \mid Y_{1},\ldots, Y_{s} \rangle\) be a cubical presentation satisfying the \(C(p)\) cubical small cancellation condition for \(p \geq 14\), where \(X, Y_{1}, \ldots , Y_{s}\) are compact and \(\pi_{1}X\) is hyperbolic. Then \(\pi_{1}X^{\ast}\) is hyperbolic.\N\NThis result generalises the fact that finitely presented classical \(C(7)\) small-cancellation groups are hyperbolic.