Thurston's train tracks

Thurston's train tracks
Name	Thurston's train tracks
Introduced	1970s
Inventor	William Thurston
Field	Topology, Geometric Group Theory, Low-dimensional Topology

Thurston's train tracks are combinatorial objects introduced by William Thurston to study mapping classes, measured laminations, and surface topology. They provide finite, piecewise-linear models for measured foliations, geodesic laminations, and the action of mapping class group elements on surface structure. Train tracks connect techniques from knot theory, Teichmüller theory, and geometric group theory and underpin major results in the classification of surface homeomorphisms and the study of pseudo-Anosov dynamics.

Introduction

Thurston's train tracks were introduced by William Thurston in the context of the classification theorem for surface homeomorphisms alongside work by Fathi, Laudenbach, and Poénaru. They arose from earlier combinatorial methods used by Haken and Dehn and were developed in parallel with advances by Nielsen, Kerckhoff, and Penner. Train tracks provide a bridge between combinatorial topology used in Hatcher's studies and analytic approaches in Wolpert's work on moduli spaces. Their influence extends to algorithmic problems addressed by Bestvina, Handel, and Papadopoulos.

Definitions and Basic Properties

A train track on a surface is an embedded 1-complex satisfying smoothness and switch conditions first formalized by Thurston and elaborated by Penner and Harer. Edges called branches meet at switches; tangency and conservation (switch conditions) mirror transverse measures in measured foliation theory as in Kerckhoff's variational principles. Weight systems on branches give projective measured laminations related to Masur's ergodic results and to invariant measured laminations in Fathi–Laudenbach–Poénaru frameworks. Carrying maps and splitting/ folding moves connect to combinatorial moves studied by Mosher and Bestvina.

Construction and Examples

Standard constructions include maximal recurrent train tracks on punctured surfaces as in Penner–Harer's combinatorial complexes and Bestvina–Handel train tracks for automorphisms of free groups. Examples derive from geodesic laminations in hyperbolic surfaces chosen by Thurston's earthquake theorem and by explicit polygonal models used by Minsky and McMullen. Concrete train tracks appear in the study of pseudo-Anosov representatives constructed via Thurston's construction and in the Nielsen–Thurston classification where periodic, reducible, and pseudo-Anosov types are realized. Algorithms for producing train tracks from measured foliations were refined by Mosher, Bestvina, and Handel.

Applications to Surface Homeomorphisms and Measured Foliations

Train tracks encode invariant measured laminations for mapping classes in the mapping class group and realize Thurston's stretch factors (dilatations) associated to pseudo-Anosov maps originally studied by Thurston and quantified by Fried and McMullen. They provide combinatorial proofs of rigidity phenomena connected to Ivanov's rigidity theorems and to counting problems addressed by Rivin and Mirzakhani. Train tracks enter the study of Teichmüller geodesics examined by Masur and Veech and appear in entropy computations linked to Fathi and Smillie.

Train Track Maps and Automorphisms of Free Groups

Bestvina–Handel train track maps give a combinatorial framework for analyzing Out(F_n) and automorphisms of free groups following work by Bestvina, Feighn, and Handel. Relative train track theory parallels Thurston's original theory and interfaces with Culler–Vogtmann's Outer Space and with stability results by Brinkmann and Bridson. Train track maps produce invariant laminations in free group automorphism dynamics akin to stable/unstable laminations for pseudo-Anosov maps and are central to proofs of the Tits alternative for Out(F_n) by Bestvina and Feighn.

Relationship with Teichmüller Theory and Hyperbolic Geometry

Train tracks parametrize regions in Thurston's boundary of Teichmüller space and provide coordinates for measured lamination spaces central to Thurston's compactification. They relate to earthquake coordinates developed by Kerckhoff and to extremal length techniques by Maskit and Gardiner. In hyperbolic geometry, train tracks model pleated surfaces studied by Epstein and Marden and connect to convex core bending laminations in the work of Bonahon and Sullivan. Connections to the Weil–Petersson geometry of moduli spaces have been explored by Wolpert and Mirzakhani.

Variations, Generalizations, and Recent Developments

Generalizations include folded surface train tracks in geometric group theory contexts by Mosher and Kapovich and lamination currents in the sense of Bonahon and Otal. Algorithmic and computational advances involve work by Rivin, Bell, and Hass on recognition problems and by Algom-Kfir and Bestvina on translation lengths in Outer Space. Recent research links train track techniques to cluster algebra structures studied by Fomin, Zelevinsky, and Gekhtman and to quantum Teichmüller theory appearing in work by Kashaev and Chekhov. Ongoing developments connect train tracks with dynamics on character varieties examined by Goldman and with categorical approaches influenced by Kontsevich.

Category:Low-dimensional topology