Hyperbolic group

Examples

Elementary hyperbolic groups

The simplest examples of hyperbolic groups are finite groups (whose Cayley graphs are of finite diameter, hence ${\displaystyle \delta }$-hyperbolic with ${\displaystyle \delta }$ equal to this diameter).

Another simple example is given by the infinite cyclic group ${\displaystyle \mathbb{Z}}$: the Cayley graph of ${\displaystyle \mathbb{Z}}$ with respect to the generating set ${\displaystyle \{\pm 1\}}$ is a line, so all triangles are line segments and the graph is ${\displaystyle 0}$-hyperbolic. It follows that any group which is virtually cyclic (contains a copy of ${\displaystyle \mathbb{Z}}$ 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 ${\displaystyle S=\{a_1,\dots ,a_n\}}$ be a finite set and ${\displaystyle F}$ be the free group with generating set ${\displaystyle S}$. Then the Cayley graph of ${\displaystyle F}$ with respect to ${\displaystyle S}$ is a locally finite tree and hence a 0-hyperbolic space. Thus ${\displaystyle F}$ is a hyperbolic group.

More generally we see that any group ${\displaystyle G}$ which acts properly discontinuously on a locally finite tree (in this context this means exactly that the stabilizers in ${\displaystyle G}$ of the vertices are finite) is hyperbolic. Indeed, this follows from the fact that ${\displaystyle G}$ 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 ${\displaystyle G={\mathrm{S}\mathrm{L}}_2(\mathbb{Z})}$: it acts on the tree given by the 1-skeleton 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 ${\displaystyle G}$ 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 ${\displaystyle G}$ is not quasi-isometric 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 ${\displaystyle {\mathrm{S}\mathrm{L}}_2(\mathbb{R})}$). The hyperbolic plane is a ${\displaystyle \delta }$-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 preserving a form of signature ${\displaystyle (n,1)}$ are hyperbolic.

A further generalisation is given by groups admitting a geometric action on a CAT(k) space, when ${\displaystyle k}$ is any negative number. There exist 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.

Non-examples

• The simplest example of a group which is not hyperbolic is the free rank 2 abelian group ${\displaystyle {\mathbb{Z}}^2}$. Indeed, it is quasi-isometric 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 ${\displaystyle {\mathbb{Z}}^2}$ as a subgroup is not hyperbolic. In particular, lattices in higher rank semisimple Lie groups and the fundamental groups ${\displaystyle {\pi }_1(S^3\setminus K)}$ 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) = ${\displaystyle {\mathbb{Z}}^2}$, this generalizes the previous example).
• A non-uniform lattice in a rank 1 simple Lie group is hyperbolic if and only if the group is isogenous to ${\displaystyle {\mathrm{S}\mathrm{L}}_2(\mathbb{R})}$ (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 ${\displaystyle {\mathrm{S}\mathrm{L}}_2(\sqrt{-1})}$.

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.
• Non-elementary hyperbolic groups are not simple in a very strong sense: if ${\displaystyle G}$ is non-elementary hyperbolic then there exists an infinite subgroup ${\displaystyle H◃G}$ such that ${\displaystyle H}$ and ${\displaystyle G/H}$ are both infinite.
• It is not known whether there exists a hyperbolic group which is not residually finite.

Geometric properties

• Non-elementary (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.

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 so it is of type F_∞. When the group is torsion-free 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.

Algorithmic properties

• Hyperbolic groups have a solvable word problem. They are biautomatic and automatic. 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. 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 2-sphere at infinity have a natural subdivision rule. This is related to Cannon's conjecture.

Generalisations

Relatively hyperbolic groups

Relatively hyperbolic groups are a class generalising hyperbolic groups. Very roughly ${\displaystyle G}$ is hyperbolic relative to a collection ${\displaystyle \mathcal{G}}$ of subgroups if it admits a (not necessarily cocompact) properly discontinuous action on a proper hyperbolic space ${\displaystyle X}$ which is "nice" on the boundary of ${\displaystyle X}$ and such that the stabilisers in ${\displaystyle G}$ of points on the boundary are subgroups in ${\displaystyle \mathcal{G}}$. This is interesting when both ${\displaystyle X}$ and the action of ${\displaystyle G}$ on ${\displaystyle X}$ are not elementary (in particular ${\displaystyle X}$ 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 non-uniform lattices in rank 1 semisimple Lie groups, for example fundamental groups of non-compact hyperbolic manifolds of finite volume. Non-examples are lattices in higher-rank Lie groups and mapping class groups.

Acylindrically hyperbolic groups

An even more general notion is that of an acylindrically hyperbolic group. Acylindricity of an action of a group ${\displaystyle G}$ on a metric space ${\displaystyle X}$ is a weakening of proper discontinuity of the action.

A group is said to be acylindrically hyperbolic if it admits a non-elementary acylindrical action on a (not necessarily proper) Gromov-hyperbolic space. This notion includes mapping class groups via their actions on curve complexes. Lattices in higher-rank 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 higher-rank Lie groups.

It is not known whether there exists a hyperbolic group which is not CAT(0).