Hyperbolic group
In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a word hyperbolic group or Gromov hyperbolic group, is a finitely generated group equipped with a word metric satisfying certain properties abstracted from classical hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by Mikhail Gromov (1987). The inspiration came from various existing mathematical theories: hyperbolic geometry but also lowdimensional topology (in particular the results of Max Dehn concerning the fundamental group of a hyperbolic Riemann surface, and more complex phenomena in threedimensional topology), and combinatorial group theory. In a very influential (over 1000 citations [1]) chapter from 1987, Gromov proposed a wideranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others.
Algebraic structure → Group theory Group theory 



Infinite dimensional Lie group

Definition
Let be a finitely generated group, and be its Cayley graph with respect to some finite set of generators. The set is endowed with its graph metric (in which edges are of length one and the distance between two vertices is the minimal number of edges in a path connecting them) which turns it into a length space. The group is then said to be hyperbolic if is a hyperbolic space in the sense of Gromov. Shortly, this means that there exists a such that any geodesic triangle in is thin, as illustrated in the figure on the right (the space is then said to be hyperbolic).
A priori this definition depends on the choice of a finite generating set . That this is not the case follows from the two following facts:
 the Cayley graphs corresponding to two finite generating sets are always quasiisometric one to the other;
 any geodesic space which is quasiisometric to a geodesic Gromovhyperbolic space is itself Gromovhyperbolic.
Thus we can legitimately speak of a finitely generated group being hyperbolic without referring to a generating set. On the other hand, a space which is quasiisometric to a hyperbolic space is itself hyperbolic for some but the latter depends on both the original and on the quasiisometry, thus it does not make sense to speak of being hyperbolic.
Remarks
The SvarcMilnor lemma[2] states that if a group acting properly discontinuously and with compact quotient (such an action is often called geometric) on a proper length space , then it is finitely generated, and any Cayley graph for is quasiisometric to . Thus a group is (finitely generated and) hyperbolic if and only if it has a geometric action on a proper hyperbolic space.
If is a subgroup with finite index (i.e., the set is finite), then the inclusion induces a quasiisometry on the vertices of any (locally finite) Cayley graph of into any (ditto) Cayley graph of . Thus is hyperbolic if and only if itself is. More generally if two groups are commensurable, then one is hyperbolic if and only if the other is.
Examples
Elementary hyperbolic groups
The simplest examples of hyperbolic groups are finite groups (whose Cayley graphs are of finite diameter hence hyperbolic with equal to this diameter).
Another very simple example is given by infinite cyclic group (with the generating set triangles are line segments, hence the Cayley graph is hyperbolic). It follows also that any group which is virtually cyclic (contains a copy of of finite index) is also hyperbolic, for example the infinite dihedral group.
Members in this class of groups are often called elementary hyperbolic groups (the terminology is adapted from that of actions on the hyperbolic plane).
Free groups and groups acting on trees
Let be a finite set and be the free group with generating set . Then the Cayley graph of with respect to is a locally finite tree and hence a 0hyperbolic space. Thus is an hyperbolic group.
More generally we see that any group which acts properly discontinuously on a locally finite tree (in this context this means exactly that the stabilizers in of the vertices are finite) is hyperbolic. Indeed, this follows from the fact that has an invariant subtree on which it acts with compact quotient, and the Svarc—Milnor lemma. Such groups are in fact virtually free (i.e. contain a finitely generated free subgroup of finite index), which gives another proof of their hyperbolicity.
An interesting example is the modular group : it acts on the tree given by the 1skeleton of the associated tessellation of the hyperbolic plane and it has a finite index free subgroup (on two generators) of index 6 (for example the set of matrices in which reduce to the identity modulo 2 is such a group). Note an interesting feature of this example: it acts properly discontinuously on a hyperbolic space (the hyperbolic plane) but the action is not cocompact (and indeed is not quasiisometric to the hyperbolic plane).
Fuchsian groups
Generalising the example of the modular group a Fuchsian group is a group admitting a properly discontinuous action on the hyperbolic plane (equivalently, a discrete subgroup of ). The hyperbolic plane is a hyperbolic space and hence the Svarc—Milnor lemma tells us that cocompact Fuchsian groups are hyperbolic.
Examples of such are the fundamental groups of closed surfaces of negative Euler characteristic. Indeed, these surfaces can be obtained as quotients of the hyperbolic plane, as implied by the Poincaré—Koebe Uniformisation theorem.
Another family of examples of cocompact Fuchsian groups is given by triangle groups: all but finitely many are hyperbolic.
Negative curvature
Generalising the example of closed surfaces, the fundamental groups of compact Riemannian manifolds with strictly negative sectional curvature are hyperbolic. For example, cocompact lattices in the orthogonal or unitary group of a form of signature are hyperbolic.
A further generalisation is given by groups admitting a geometric action on a CAT(k) space.[3] There exists examples which are not commensurable to any of the previous constructions (for instance groups acting geometrically on hyperbolic buildings).
Small cancellation groups
Groups having presentations which satisfy small cancellation conditions are hyperbolic. This gives a source of examples which do not have a geometric origin as the ones given above. In fact one of the motivations for the initial development of hyperbolic groups was to give a more geometric interpretation of small cancellation.
Random groups
In some sense, "most" finitely presented groups with large defining relations are hyperbolic. For a quantitative statement of what this means see Random group.
Nonexamples
 The simplest example of a group which is not hyperbolic is the free rank 2 abelian group . Indeed, it is quasiisometric to the Euclidean plane which is easily seen not to be hyperbolic (for example because of the existence of homotheties).
 More generally, any group which contains as a subgroup is not hyperbolic.[4][5] In particular, lattices in higher rank semisimple Lie groups and the fundamental groups of nontrivial knot complements fall into this category and therefore are not hyperbolic. This is also the case for mapping class groups of closed hyperbolic surfaces.
 The Baumslag–Solitar groups B(m,n) and any group that contains a subgroup isomorphic to some B(m,n) fail to be hyperbolic (since B(1,1) = , this generalizes the previous example).
 A nonuniform lattice in a rank 1 simple Lie group is hyperbolic if and only if the group is isogenous to (equivalently the associated symmetric space is the hyperbolic plane). An example of this is given by hyperbolic knot groups. Another is the Bianchi groups, for example .
Properties
Algebraic properties
 Hyperbolic groups satisfy the Tits alternative: they are either virtually solvable (this possibility is satisfied only by elementary hyperbolic groups) or they have a subgroup isomorphic to a nonabelian free group.
 Nonelementary hyperbolic groups are not simple in a very strong sense: if is nonelementary hyperbolic then there exists an infinite subgroup such that and are both infinite.
 It is not known whether there exists an hyperbolic group which is not residually finite.
Geometric properties
 Nonelementary (infinite and not virtually cyclic) hyperbolic groups have always exponential growth rate (this is a consequence of the Tits alternative).
 Hyperbolic groups satisfy a linear isoperimetric inequality.[6] In fact this is a characterisation of hyperbolicity.
Homological properties
 Hyperbolic groups are always finitely presented. In fact one can explicitly construct a complex (the Rips complex) which is contractible and on which the group acts geometrically[7] so it is of type F. When the group is torsionfree the action is free, showing that the group has finite cohomological dimension.
 In 2002, I. Mineyev showed that hyperbolic groups are exactly those finitely generated groups for which the comparison map between the bounded cohomology and ordinary cohomology is surjective in all degrees, or equivalently, in degree 2.[8]
Algorithmic properties
 Hyperbolic groups have a solvable word problem. They are biautomatic and automatic.[9] Indeed, they are strongly geodesically automatic, that is, there is an automatic structure on the group, where the language accepted by the word acceptor is the set of all geodesic words.
 It was shown in 2010 that hyperbolic groups have a decidable marked isomorphism problem.[10] It is notable that this means that the isomorphism problem, orbit problems (in particular the conjugacy problem) and Whitehead's problem are all decidable.
 Cannon and Swenson have shown that hyperbolic groups with a 2sphere at infinity have a natural subdivision rule.[11] This is related to Cannon's conjecture.
Generalisations
Relatively hyperbolic groups
Relatively hyperbolic groups are a class generalising hyperbolic groups. Very roughly[12] is hyperbolic relative to a collection of subgroups if it admits a (not necessarily cocompact) properly discontinuous action on a proper hyperbolic space which is "nice" on the boundary of and such that the stabilisers in of points on the boundary are subgroups in . This is interesting when both and the action of on are not elementary (in particular is infinite: for example every group is hyperbolic relatively to itself via its action on a single point!).
Interesting examples in this class include in particular nonuniform lattices in rank 1 semisimple Lie groups, for example fundamental groups of noncompact hyperbolic manifolds of finite volume. Nonexamples are lattices in higherrank Lie groups and mapping class groups.
Acylindrically hyperbolic groups
An even more general notion is that of an acylindically hyperbolic group.[13] Acylindricity of an action of a group on a metric space is a weakening of proper discontinuity of the action.[14]
A group is said to be acylindrically hyperbolic if it admits a nonelementary acylindrical action on a (not necessarily proper) Gromovhyperbolic space. This notion includes mapping class groups via their actions on curve complexes. Lattices in higherrank Lie groups are (still!) not acylindrically hyperbolic.
CAT(0) groups
In another direction one can weaken the assumption about curvature in the examples above: a CAT(0) group is a group admitting a geometric action on a CAT(0) space. This includes Euclidean crystallographic groups and uniform lattices in higherrank Lie groups.
It is not known whether there exists a hyperbolic group which is not CAT(0).[15]
Notes
 Gromov, Mikhail (1987). "Hyperbolic Groups". In Gersten, S.M. (ed.). Essays in Group Theory. Mathematical Sciences Research Institute Publications, vol 8. New York, NY: Springer. pp. 75–263.
 Bowditch, 2006 & Theorem 3.6.
 for a proof that this includes the previous examples see https://lamington.wordpress.com/2012/10/17/uppercurvatureboundsandcatk/
 Ghys & de la Harpe 1990, Ch. 8, Th. 37.
 Bridson & Haefliger 1999, Chapter 3.Γ, Corollary 3.10..
 Bowditch 2006, (F4) in paragraph 6.11.2.
 Ghys & de la Harpe 1990, Chapitre 4.
 Mineyev 2002.
 Charney 1992.
 Dahmani & Guirardel 2011.
 Cannon & Swenson 1998.
 Bowditch 2012.
 Osin 2016.
 In some detail: it asks that for every there exist such that for every two points which are at least apart there are at most elements satisfying and .
 "Are all δhyperbolic groups CAT(0)?". Stack Exchange. February 10, 2015.
References
 Bridson, Martin R.; Haefliger, André (1999). Metric spaces of nonpositive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. 319. Berlin: SpringerVerlag. doi:10.1007/9783662124949. ISBN 3540643249. MR 1744486.
 Bowditch, Brian (2006). A course on geometric group theory (PDF). MSJ Memoirs. 16. Tokyo: Mathematical Society of Japan. doi:10.1142/e003. ISBN 4931469353. MR 2243589.
 Bowditch, Brian (2012). "Relatively hyperbolic groups" (PDF). International Journal of Algebra and Computation. 22 (3): 1250016, 66 pp. doi:10.1142/S0218196712500166. MR 2922380.
 Cannon, James W.; Swenson, Eric L. (1998). "Recognizing constant curvature discrete groups in dimension 3". Transactions of the American Mathematical Society. 350 (2): 809–849. doi:10.1090/S0002994798021072. MR 1458317.
 Charney, Ruth (1992). "Artin groups of finite type are biautomatic". Mathematische Annalen. 292 (4): 671–683. doi:10.1007/BF01444642. MR 1157320.
 Dahmani, François; Guirardel, Vincent (2011). "The isomorphism problem for all hyperbolic groups". Geometric and Functional Analysis. 21 (2): 223–300. arXiv:1002.2590. doi:10.1007/s0003901101200.
 Ghys, Étienne; de la Harpe, Pierre, eds. (1990). Sur les groupes hyperboliques d'après Mikhael Gromov [Hyperbolic groups in the theory of Mikhael Gromov]. Progress in Mathematics (in French). 83. Boston, MA: Birkhäuser Boston, Inc. doi:10.1007/9781468491678. ISBN 0817635084. MR 1086648.
 Gromov, Mikhail (1987). "Hyperbolic groups". In Gersten, Steve M. (ed.). Essays in group theory. Mathematical Sciences Research Institute Publications. 8. New York: Springer. pp. 75–263. doi:10.1007/9781461395867_3. ISBN 0387966188. MR 0919829.
 Mineyev, Igor (2002). "Bounded cohomology characterizes hyperbolic groups". Quarterly Journal of Mathematics. 53 (1): 59–73. doi:10.1093/qjmath/53.1.59. MR 1887670.
 Osin, Denis (2016). "Acylindrically hyperbolic groups". Transactions of the American Mathematical Society. 368 (2): 851–888. arXiv:1304.1246. doi:10.1090/tran/6343. MR 3430352.
Further reading
 Coornaert, Michel; Delzant, Thomas; Papadopoulos, Athanase (1990). Géométrie et théorie des groupes : les groupes hyperboliques de Gromov [Geometry and theory of groups: Gromov hyperbolic groups]. Lecture Notes in Mathematics (in French). 1441. Berlin: SpringerVerlag. doi:10.1007/BFb0084913. ISBN 3540529772. MR 1075994.
 Coornaert, Michel; Papadopoulos, Athanase (1993). Symbolic dynamics and hyperbolic groups. Lecture Notes in Mathematics. 1539. Berlin: SpringerVerlag. doi:10.1007/BFb0092577. ISBN 3540564993. MR 1222644.
 Hazewinkel, Michiel, ed. (2001) [1994], "Gromov hyperbolic space", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 9781556080104