Past exam of the mathematics course of the University of Cambridge 2007 ii Paper 4 12G Solution Created 2026-09-24 Updated 2026-10-14
A Kleinian group is a discrete subgroup of , acting as orientation-preserving hyperbolic isometries of and as Möbius transformations of its boundary sphere. Its limit set consists of the accumulation points on the boundary of an orbit with ; it is independent of that interior base point and is closed. A nonidentity parabolic transformation is conjugate to , . Its iterates on the upper half-space tend to its unique fixed boundary point, infinity in these coordinates. Consequently every parabolic fixed point belongs to the limit set.
The displayed matrix has determinant one, trace two, and is not the identity because . Its fixed-point equation is , so it has exactly the double fixed point . It is therefore parabolic, and its fixed point is .
The determinant-one Gaussian-integer matrices form a subgroup of . They are discrete because their entries lie in a discrete lattice: a matrix sufficiently near the identity has every entry equal to the corresponding identity entry. Passing through the quotient by preserves discreteness, so their Möbius transformations form a Kleinian group.
For , and , set . This gives the Gaussian-integer parabolic constructionAll entries lie in , the determinant is one, and its parabolic fixed point is . The points with nonzero are dense in the finite complex plane, and their closure on the sphere includes infinity. Since the limit set is closed and contains all these parabolic fixed points, the limit set is the whole Riemann sphere.