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.
| curve complex | |
|---|---|
| Name | Curve complex |
| Type | Simplicial complex |
| Introduced | 1980s |
| Introduced by | William Thurston |
| Related | Curve graph; Teichmüller space; Mapping class group |
curve complex
The curve complex is an infinite simplicial complex associated to a compact oriented surface, encoding isotopy classes of simple closed curves on the surface. It serves as a combinatorial and geometric invariant linking the study of mapping class groups, Teichmüller theory, and three-dimensional topology. The complex has deep connections to hyperbolic geometry, dynamics, and geometric group theory through influential works by several mathematicians and research institutions.
For a compact oriented surface S of genus g with n punctures, the vertices of the complex correspond to isotopy classes of essential nonperipheral simple closed curves on S; higher-dimensional simplices record collections of pairwise disjoint representatives. The complex is locally infinite and flag, and its 1-skeleton, often called the curve graph, has vertices joined when the corresponding curves can be realized disjointly. Important invariants include chromatic-type data, automorphism groups, and connectivity properties that depend on the pair (g,n). Combinatorial descriptions relate to pants decompositions studied by William Thurston and to train track coordinates introduced by Thurston and later developed by Penner and Harer. The mapping class group of S acts simplicially by permuting isotopy classes, giving a natural connection to algebraic properties of Mapping class group and to coarse geometry techniques developed at institutions like the Institute for Advanced Study.
The concept emerged in the 1980s in the orbit of William Thurston's revolutionary work on surface diffeomorphisms, measured foliations, and hyperbolic structures, and was formalized through contributions by Harvey, William J. and others. Major progress came from collaborations and independent advances by Howard Masur, Yair Minsky, John H. Conway, Jeffrey F. Brock, Richard Canary, Jeremy Kahn, Vaughan F. R. Jones (in related contexts), Alex Eskin, and Maryam Mirzakhani. Structural and hyperbolicity results were proven by Howard Masur and Yair Minsky, while automorphism and rigidity theorems were obtained by Nikolai V. Ivanov, Fedor V. Levitt, and John D. McCarthy. The interplay with three-manifold theory drew on concepts developed by William Thurston, William Jaco, and Peter Shalen.
Simplicial structure encodes multicurves and their disjointness relations; maximal simplices correspond to pants decompositions intimately connected with Dennis Sullivan's and Curtis T. McMullen's perspectives on moduli. Metrics on the 1-skeleton defined by graph distance yield a coarse geometry exploited in work by Masur and Minsky to define subsurface projections and hierarchy paths. The complex admits useful combinatorial objects such as curve surgery operations, intersection number bounds, and subsurface projection maps resembling train track splitting sequences introduced by R. C. Penner and Ken’ichi Ohshika. Rigidity phenomena link automorphisms of the complex to elements of Mapping class group, and Ivanov-type theorems relate simplicial automorphisms to homeomorphisms of the underlying surface.
Distance estimates in the curve complex reflect geometric behavior in Teichmüller space under the Teichmüller metric and in the Weil–Petersson geometry studied by Scott Wolpert and Jeffrey F. Brock. The Masur–Minsky distance formula compares curve complex projections to Teichmüller geodesics and to hierarchical structures, providing a bridge between combinatorial distances and Thurston's compactification via measured foliations. The mapping class group acts by isometries on the curve graph, and classification of mapping classes (periodic, reducible, pseudo-Anosov) manifests via translation lengths and axis-type structures in the complex, connecting to Nielsen–Thurston theory and results of Nikolai Ivanov and Benson Farb.
Masur and Minsky proved that the curve graph is Gromov-hyperbolic for nonsporadic surfaces, a landmark linking the complex to Gromov's theory of hyperbolic groups and coarse negative curvature. Hyperbolicity yields tools like thin triangles, boundary-at-infinity descriptions, and implications for quasi-geodesics and stability of hierarchy paths. Subsequent work by Ilya Kapovich, Christopher J. Leininger, Yair Minsky, and Saul Schleimer refined understanding of hyperbolicity constants, relative hyperbolicity phenomena, and relations to the boundary of Teichmüller space, connecting to results of Masur and Kathryn Mann on boundary dynamics.
The curve complex underpins proofs of rigidity, quasi-isometric classification, and algorithmic detection of surface phenomena, with applications to the study of 3-manifolds via Heegaard splittings and to the geometry of hyperbolic manifolds initiated by Thurston and expanded by Brock, Canary, and Minsky. Distance bounds in the curve complex control Heegaard distance, influence the existence of essential laminations studied by Oertel, and inform hierarchies and ending lamination theorems. Computational and algorithmic outcomes draw on work at centers such as Clay Mathematics Institute-supported projects and research by Jason A. Behrstock and Markovic.
Variants include the pants complex, arc complex, marking complex, and relative curve complexes adapted to surfaces with boundary or punctures; these were developed by R. C. Penner, Harer, Masur, and Minsky. Higher-dimensional analogues and complexes encoding multicurves, measured laminations, and sphere complexes for mapping class groups of manifolds extend the framework to connections with Out(F_n) studied by Karen Vogtmann and with the complex of free factors. Recent generalizations explore hierarchical hyperbolicity, contact with CAT(0) cube complexes studied by Michah Sageev, and relations to the theory of group actions on hyperbolic spaces pursued by Diana Davis and Mark Hagen.