Geometry of the complex of curves I: Hyperbolicity

The Complex of Curves on a Surface is a simplicial complex whose vertices are homotopy classes of simple closed curves, and whose simplices are sets of homotopy classes which can be realized disjointly. It is not hard to see that the complex is finite-dimensional, but locally infinite. It was introduced by Harvey as an analogy, in the context of Teichmuller space, for Tits buildings for symmetric spaces, and has been studied by Harer and Ivanov as a tool for understanding mapping class groups of surfaces. In this paper we prove that, endowed with a natural metric, the complex is hyperbolic in the sense of Gromov. In a certain sense this hyperbolicity is an explanation of why the Teichmuller space has some negative-curvature properties in spite of not being itself hyperbolic: Hyperbolicity in the Teichmuller space fails most obviously in the regions corresponding to surfaces where some curve is extremely short. The complex of curves exactly encodes the intersection patterns of this family of regions (it is the "nerve" of the family), and we show that its hyperbolicity means that the Teichmuller space is "relatively hyperbolic" with respect to this family. A similar relative hyperbolicity result is proved for the mapping class group of a surface. We also show that the action of pseudo-Anosov mapping classes on the complex is hyperbolic, with a uniform bound on translation distance.

[1]  S. Kerckhoff.  Simplicial systems for interval exchange maps and measured foliations , 1985, Ergodic Theory and Dynamical Systems.

[2]  Yair N. Minsky,et al.  Geometry of the complex of curves II: Hierarchical structure , 1998 .

[3]  朴 俊植,et al.  On harmonic maps , 1989 .

[4]  H. Masur.  Interval Exchange Transformations and Measured Foliations , 1982 .

[5]  The Nielsen Realization Problem , 1983 .

[6]  H. Short,et al.  Notes on word hyperbolic groups , 1991 .

[7]  N. V. Ivanov.  Complexes of curves and the Teichmüller modular group , 1987 .

[8]  Y. Minsky.  Teichmüller geodesics and ends of hyperbolic 3-manifolds , 1993 .

[9]  Martin R. Bridson,et al.  Geodesics and curvature in metric simplicial complexes , 1991 .

[10]  Séminaire Orsay,et al.  Travaux de Thurston sur les surfaces : Séminaire Orsay , 1979 .

[11]  Steven A. Bleiler,et al.  Automorphisms of Surfaces after Nielsen and Thurston , 1988 .

[12]  A. Manning,et al.  Ergodic theory, symbolic dynamics, and hyperbolic spaces , 1991 .

[13]  S. Wolpert.  Geodesic length functions and the Nielsen problem , 1987 .

[14]  Y. Minsky.  A geometric approach to the complex of curves , 1996 .

[15]  Extremal length estimates and product regions in Teichm , 1994, math/9407222.

[16]  Steven P. Kerckho,et al.  The Nielsen realization problem , 1983 .

[17]  J. Harer,et al.  Combinatorics of Train Tracks. , 1991 .

[18]  Related Topics,et al.  Riemann surfaces and related topics : proceedings of the 1978 Stony Brook conference , 1981 .

[19]  S. Wolpert.  The hyperbolic metric and the geometry of the universal curve , 1990 .

[20]  R. Penner.  Bounds on least dilatations , 1991 .

[21]  A. Hatcher.  Measured lamination spaces for surfaces, from the topological viewpoint , 1988 .

[22]  Benson Farb,et al.  Relatively Hyperbolic Groups , 1998 .

[23]  L. Bers.  An extremal problem for quasiconformal mappings and a theorem by Thurston , 1978 .

[24]  É. Ghys,et al.  Sur Les Groupes Hyperboliques D'Apres Mikhael Gromov , 1990 .

[25]  W. J. Harvey,et al.  Boundary Structure of The Modular Group , 1981 .

[26]  J. Harer.  The second homology group of the mapping class group of an orientable surface , 1983 .

[27]  L. Keen.  COLLARS ON RIEMANN SURFACES , 1974 .

[28]  John Harer,et al.  Stability of the homology of the mapping class groups of orientable surfaces , 1985 .

[29]  N. V. Ivanov.  Complexes of curves and Teichmüller spaces , 1991 .

[30]  Nikolai V. Ivanov,et al.  Automorphism of complexes of curves and of Teichmuller spaces : Interna , 1997 .

[31]  P. Buser,et al.  Geometry and Spectra of Compact Riemann Surfaces , 1992 .

[32]  Athanase Papadopoulos,et al.  Géométrie et théorie des groupes: les groupes hyperboliques de Gromov , 1990 .

[33]  S. Kerckhoff.  The asymptotic geometry of teichmuller space , 1980 .

[34]  A. Haefliger,et al.  Group theory from a geometrical viewpoint , 1991 .

[35]  Werner Ballmann,et al.  Lectures on Spaces of Nonpositive Curvature , 1995 .

[36]  H. Masur.  The extension of the Weil-Petersson metric to the boundary of Teichmuller space , 1976 .

[37]  Y. Minsky.  Harmonic maps, length, and energy in Teichmüller space , 1992 .

[38]  Y. Minsky.  Quasi-projections in Teichmüller space. , 1994 .

[39]  L. Ahlfors.  Conformal Invariants: Topics in Geometric Function Theory , 1973 .

[40]  J. Harer.  The virtual cohomological dimension of the mapping class group of an orientable surface , 1986 .

[41]  H. Masur.  On a class of geodesics in Teichmiuller space , 1975 .

[42]  W. Thurston.  On the geometry and dynamics of diffeomorphisms of surfaces , 1988 .

[43]  F. Gardiner.  Teichmüller Theory and Quadratic Differentials , 1987 .