LLMpediaThe first transparent, open encyclopedia generated by LLMs

Thurston compactification

Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Parent: Howard Masur Hop 6 terminal

This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.

Thurston compactification
NameThurston compactification
FieldTopology, Geometric topology, Teichmüller theory
Introduced byWilliam Thurston
Year1976

Thurston compactification is a compactification of Teichmüller space of a compact oriented surface by adjoining a boundary naturally identified with projective classes of measured geodesic laminations. It was introduced by William Thurston as part of a program connecting hyperbolic geometry, mapping class group dynamics, and low-dimensional topology. The construction provides a geometric and dynamical framework linking Fuchsian group actions, Kleinian group deformation theory, and the classification of surface diffeomorphisms.

Background and motivation

Thurston developed the compactification to study degenerations of hyperbolic structures on a surface and to give a geometric proof of the Nielsen–Thurston classification of surface homeomorphisms, relating pseudo-Anosov homeomorphisms to measured laminations. Influences include work of Augmented Teichmüller space concepts from Osborne Teichmüller foundations, connections to Kobayashi metric phenomena, and analogies with the Bers compactification of deformation spaces associated to Riemann surface theory and Kleinian group limits.

Construction of the compactification

Start from the space of marked hyperbolic metrics on a surface S, modeled by Teichmüller space T(S), and consider the length function sending a metric to the collection of lengths of closed geodesics representing conjugacy classes in the surface group π1(S). Embed T(S) into the projective space of nonnegative functions on the set of free homotopy classes of closed curves; this parallels embeddings used in the theories of Fuchsian group length spectra and Markov partition representations. The closure of the image yields a compact space whose added boundary points are projective classes of measured geodesic laminations, paralleling constructions in Geodesic flow compactifications and considerations from Ergodic theory on moduli spaces.

Topology and boundary description

The topology is given by convergence of length spectra up to scaling, so sequences in T(S) leaving every compact set converge projectively to measured laminations when normalized length functions converge. Boundary points correspond to projective measured laminations; the identification uses intersection numbers with simple closed curves and extends notions developed by Thurston and earlier by work on geodesic currents and Bonahon's currents formalism. The resulting compactification is homeomorphic to a closed ball when S is a once-punctured torus or four-punctured sphere, reflecting classical examples in Fenchel–Nielsen coordinates and special symmetry cases studied by Maskit.

Action of the mapping class group

The mapping class group Mod(S) acts continuously on the compactified space by changing markings; this extends the natural action on T(S) and preserves the boundary of projective measured laminations. The action encodes Nielsen–Thurston classification types: periodic elements have finite-orbit points, reducible elements fix multicurves, and pseudo-Anosov homeomorphisms act with north–south dynamics on the boundary, exhibiting attracting and repelling projective measured laminations as in Thurston’s original proofs. The dynamics relate to spectral properties studied in Fried and the structural theory of Out(F_n) analogues.

Relations to measured laminations and projective laminations

Measured laminations form the linear cone whose projectivization is the Thurston boundary; these structures are closely linked to the notion of intersection number with simple closed curves and to earthquake maps introduced by Wolpert and Kerckhoff. The space of measured laminations ML(S) and its projective version PML(S) play roles analogous to boundary spheres in hyperbolic space compactifications and connect with foliations appearing in Gabai and Oertel decomposition theorems. The boundary’s combinatorial structure is reflected in train track coordinates developed by Penner and Harer and in shearing coordinates related to Bonahon’s work.

Applications and consequences

Thurston compactification underpins proofs of the Nielsen–Thurston classification theorem and provides tools for understanding degeneration phenomena in Kleinian group deformation spaces used in the Thurston hyperbolization theorem and subsequent advances by Marden and Bromberg. It informs compactification strategies in Moduli space theory, influences the study of length spectrum rigidity problems addressed by Otal and Croke, and contributes to dynamics on character varieties investigated by Goldman and Fock–Goncharov theory. In geometric group theory, the compactification motivates boundary constructions for Out(F_n) and parallels with Currents lead to rigidity and growth results used in work by Bestvina and Feighn.

Examples and special cases

Classical low-complexity surfaces illustrate the compactification concretely: for the once-punctured torus and four-punctured sphere the boundary is a circle identified with projective measured foliations studied by Thurston and Series; for genus-two surfaces phenomena examined by McMullen and Hubbard show richer stratifications. In the punctured sphere with many punctures connections to Braids and Mapping class group subgroups appear, while for surfaces admitting affine structures links to Veech groups and Teichmüller geodesic flow examples clarify boundary dynamics. Special degenerations correspond to pinching multicurves studied by Wolpert and illustrated in Masur’s compactness results.

Category:Teichmüller theory