Ahlfors Measure Conjecture

The Ahlfors measure conjecture, now a theorem, states that the limit set of a finitely generated Kleinian group on the Riemann sphere has either full measure or measure zero. Proposed by Lars Ahlfors in the 1960s, the conjecture was a central problem in the theory of Kleinian groups and hyperbolic geometry for decades, connecting the algebraic structure of the group to the geometric measure of its fractal boundary.

The conjecture was resolved by Ian Agol and independently by Danny Calegari and David Gabai in the early 2000s, using the machinery of hyperbolic dynamics and the theory of 3-manifolds. The proof demonstrated that finitely generated Kleinian groups are geometrically tame — their limit sets are well-behaved in a measure-theoretic sense — and this tameness is a consequence of the group's algebraic finiteness. The result is a paradigm of the Thurston program: algebraic properties of groups determine geometric properties of their actions, and geometric properties determine measure-theoretic regularity.

The Ahlfors measure conjecture is not merely a statement about Kleinian groups. It is a boundary theorem: it shows that the fractal boundary of a group action cannot be geometrically intermediate. Either the group fills the boundary, or it leaves it empty. This dichotomy — full or zero measure — reflects a deeper structural principle in hyperbolic geometry: the limit set is not a passive accumulation but an active partition of the sphere into regions of dynamical control and regions of escape. The conjecture's resolution confirms that this partition is sharp.

The Ahlfors conjecture is about boundaries, and boundaries are where systems reveal their true structure. A group that acts on hyperbolic space generates a limit set at infinity — the scar of its action. The conjecture says that this scar is not a vague smudge but a decisive mark: either the group has conquered the boundary or it has not touched it. There is no half-measure. This is the rigidity of hyperbolic geometry: boundaries are not gradients; they are verdicts.