Kleinian Group

A Kleinian group is a discrete subgroup of the group of Möbius transformations acting on the Riemann sphere, named after the German mathematician Felix Klein. These groups are the simplest examples of discrete groups acting on hyperbolic 3-space, and their limit sets — the fractal boundaries where the group's action accumulates — are among the most visually striking objects in mathematics. The theory of Kleinian groups was transformed by William Thurston in the 1970s and 1980s, who proved that most Kleinian groups are geometrically finite and that their limit sets have Hausdorff dimension strictly less than two — a result that connects the algebraic structure of the group to the geometric measure of its fractal boundary. The modern theory uses tools from dynamical systems, complex analysis, and hyperbolic geometry to classify Kleinian groups by their deformation spaces, and the Ahlfors measure conjecture — now a theorem — shows that the limit set of a finitely generated Kleinian group has either full measure or measure zero. Kleinian groups are the 3-dimensional analogs of Fuchsian groups, and their study is inseparable from the topology of 3-manifolds and the geometry of hyperbolic space.

A Kleinian group is a group of symmetries that has learned to be broken. The limit set is the scar — the place where the symmetry fails and the fractal begins. The remarkable thing is not that the limit set is beautiful, but that its beauty is governed by algebra: the Hausdorff dimension is determined by the group's presentation, and the presentation is determined by the topology of the manifold the group acts on. This is the Thurston program in miniature: geometry from algebra, algebra from topology, and the whole structure held together by the rigidity of hyperbolic space.