A criterion for hyperbolicity

DOI10.1017/S0013091500020447MaRDI QIDQ4487698zbMATH OpenFDO

Authors Michael Batty

Publication date 22 June 2000

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0013091500020447

zbMATH Keywords

Cayley graphsDehn functionsfinitely generated groupsfinitely presented groupshyperbolic groupsisoperimetric inequalitiesthin combings

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67)

Review text

Let \(G\) be a finitely generated group, \(S\) a finite generating set for \(G\) and \(X\) the corresponding Cayley graph. Let \(P(X)\) be the set of finite paths in \(X\). For \(p\in P(X)\), \(i(p)\) denotes its initial vertex, \(t(p)\) its terminal vertex. The author defines a combing as a map \(\theta\colon G\to P(X)\) such that for all \(g\in G\), \(i(\theta(g))=1_G\) and \(t(\theta(g))=g\). He uses the following notations. If \(g_1\), \(g_2\) and \(g_3\) are elements of \(G\), then \(\Delta_0(g_1,g_2,g_3)\) denotes the triangle in \(X\) whose vertices are \(g_1\), \(g_2\) and \(g_3\) and whose edges are \(\theta(g_1,g_2)\), \(\theta(g_2,g_3)\) and \(\theta(g_3,g_1)\). For \(\delta\geq 0\), the combing \(\theta\) is said to be \(\delta\)-thin if for all \(g_1\), \(g_2\) and \(g_3\), the triangle \(\Delta_0(g_1,g_2,g_3)\) is \(\delta\)-thin (in the usual sense). The main result of this paper is the following Theorem. A finitely presented group is hyperbolic if and only if it admits a thin combing.

Recommendations

• scientific article; zbMATH DE number 67430
• Strongly geodesically automatic groups are hyperbolic
• Quasi-flats in semihyperbolic groups
• scientific article; zbMATH DE number 1284208
• Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov. (Geometry and group theory. The hyperbolic groups of Gromov)

Cites work

• A short proof that a subquadratic isoperimetric inequality implies a linear one
• EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY

Cited in

(2)

• scientific article; zbMATH DE number 67430 (Why is no real title available?)
• Integral criteria of hyperbolicity for graphs and groups

This page was built for publication: A criterion for hyperbolicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487698)