Hyperbolic group Created 2026-09-24 Updated 2026-09-24
A finitely generated group is hyperbolic when one, equivalently every, Cayley graph for a finite generating set is a Gromov-hyperbolic metric space.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 133 4 a Solution Created 2026-09-24 Updated 2026-09-25
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 satisfiesThe lower quasi-isometry inequality givesThus is Gromov-hyperbolic metric space with .
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 133 4 c Solution Created 2026-09-24 Updated 2026-09-25
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.