Abstract:In 1996, Gersten proved that finitely presented subgroups of a word hyperbolic group of integral cohomological dimension 2 are hyperbolic. We use isoperimetric inequalities over arbitrary rings to extend this result to any ring. In particular, we study the discrete isoperimetric function and show that its linearity is equivalent to hyperbolicity, which is also equivalent to it being subquadratic. We further use these ideas to obtain conditions for subgroups of higher rank hyperbolic groups to be again higher rank hyperbolic of the same rank. The appendix discusses the equivalence between isoperimetric inequalities and coning inequalities in the simplicial setting and the general setting, leading to combinatorial definitions of higher rank hyperbolicity in the setting of simplicial complexes and allowing us to give elementary definitions of higher rank hyperbolic groups.

Hyperbolic groups satisfy the Boone-Higman conjecture

Boone--Higman Embeddings for Contracting Self-Similar Groups

Embedding finitely presented self-similar groups into finitely presented simple groups

On the Boone--Higman Conjecture for groups acting on locally finite trees

Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

Rationality of the Gromov Boundary of Hyperbolic Groups

The generalised word problem in hyperbolic and relatively hyperbolic groups

Special cubulation of strict hyperbolization

Relatively hyperbolic groups with planar boundaries

Algebraically hyperbolic groups

Subgroups of bounded rank in hyperbolic 3‐manifold groups

Invariable generation of finite simple groups and rational homology of coset posets

Combinatorial Characterization of Sub-Hyperbolic Rational Maps

Subgroups of bounded rank in hyperbolic 3-manifold groups

A combinatorial take on hierarchical hyperbolicity and applications to quotients of mapping class groups

Triangles of Baumslag-Solitar Groups

The Rationality Problem for Finite Subgroups of GL_4(Q)

One-relator hierarchies

Rational cross-sections, bounded generation and orders on groups

On coarse embeddings of amenable groups into hyperbolic graphs