Hyperbolic group Created 2026-09-24 Updated 2026-09-24
Let be a -quasi-isometry to a tree. The image under of every geodesic segment in is a -quasigeodesic in . By the Morse lemma for quasi-geodesics, it lies within a constant of the tree geodesic with the same endpoints.
Consider a geodesic triangle in . A point on one side maps within of the corresponding side of the comparison triangle in . Every geodesic triangle in a tree is -thin, so that comparison side is contained in the other two sides. Those two tree sides are in turn within of the images of the other two sides of the original triangle. Hence some point on one of those sides satisfies
The lower quasi-isometry inequality gives
Thus is Gromov-hyperbolic metric space with .
The hyperbolic plane is a geodesic Gromov-hyperbolic metric space for some universal constant . It is not a quasi-tree. Indeed, for every , choose two points on opposite sides of a large closed metric ball centred at the midpoint of their joining geodesic. The complement of that ball in is path connected, so the endpoints can be joined by a continuous path that stays more than from the midpoint. Thus fails the bottleneck property, whereas part (b) shows that every quasi-tree satisfies it.