curve complex

Let $S$ be a finite type connected oriented surface. More specifically, let $S=S\_\{g,b,n\}$ be a connected oriented surface of genus $g\backslash ge\; 0$ with $b\backslash ge\; 0$ boundary components and $n\backslash ge\; 0$ punctures.

The curve complex $C(S)$ is the simplicial complex defined as follows:Farb and Margalit, Ch. 4.1, p. 92

• The vertices are the free homotopy classes of essential (neither homotopically trivial nor peripheral) simple closed curves on $S$;
• If $c\_1,\; \backslash ldots,\; c\_n$ represent distinct vertices of $C(S)$, they span a simplex if and only if they can be homotoped to be pairwise disjoint.

For surfaces of small complexity (essentially the torus, punctured torus, and four-holed sphere), with the definition above the curve complex has infinitely many connected components. One can give an alternate and more useful definition by joining vertices if the corresponding curves have minimal intersection number. With this alternate definition, the resulting complex is isomorphic to the Farey graph.

If $S$ is a compact surface of genus $g$ with $b$ boundary components the dimension of $C(S)$ is equal to $\backslash xi(S)-1\; =\; 3g\; -\; 4\; +\; b$. In what follows, we will assume that $\backslash xi(S)\; \backslash ge\; 2$. The complex of curves is never locally finite (i.e. every vertex has infinitely many neighbors). A result of Harer {{Cite journal|last=Harer|first=John L.|date=1986-02-01|title=The virtual cohomological dimension of the mapping class group of an orientable surface|journal=Inventiones Mathematicae|language=en|volume=84|issue=1|pages=157–176|doi=10.1007/BF01388737|issn=0020-9910|bibcode=1986InMat..84..157H|s2cid=121871169}} asserts that $C(S)$ is in fact homotopically equivalent to a wedge sum of spheres.

The combinatorial distance on the 1-skeleton of $C(S)$ is related to the intersection number between simple closed curves on a surface, which is the smallest number of intersections of two curves in the isotopy classes. For example{{sfn|Schleimer|2006|loc=Lemma 1.21}}

: $d\_S\; (\backslash alpha,\; \backslash beta)\; \backslash le\; 2\; \backslash log\_2\; (i(\backslash alpha,\; \backslash beta))\; +\; 2$

for any two nondisjoint simple closed curves $\backslash alpha,\; \backslash beta$. One can compare in the other direction but the results are much more subtle (for example there is no uniform lower bound even for a given surface) and harder to prove.{{sfn|Bowditch|2006}}

It was proved by Masur and Minsky{{sfn|Masur|Minsky|1999}} that the complex of curves is a Gromov hyperbolic space. Later work by various authors gave alternate proofs of this fact and better information on the hyperbolicity.{{sfn|Bowditch|2006}}{{cite journal | last=Aougab | first=Tarik | title=Uniform hyperbolicity of the graphs of curves | journal=Geom. Topol. | volume=17 | issue=5 | date=2013 | pages=2855–2875 | mr=3190300 | doi=10.2140/gt.2013.17.2855| arxiv=1212.3160 | s2cid=55100877 }}

The mapping class group of $S$ acts on the complex $C(S)$ in the natural way: it acts on the vertices by $\backslash phi\backslash cdot\backslash alpha\; =\; \backslash phi\_*\backslash alpha$ and this extends to an action on the full complex. This action allows to prove many interesting properties of the mapping class groups.{{sfn|Ivanov|1992|loc=Chapter 7}}

While the mapping class group itself is not a hyperbolic group, the fact that $C(S)$ is hyperbolic still has implications for its structure and geometry.{{cite journal | last=Manganas | first=Johanna | title=Uniform uniform exponential growth of subgroups of the mapping class group | journal=Geom. Funct. Anal. | volume=19 | date=2010 | issue=5 | pages=1468–1480 | doi=10.1007/s00039-009-0038-y | arxiv=0805.0133 | mr=2585580| s2cid=15662174 }}{{cite journal | last1=Dahmani|first1=François|last2=Guirardel|first2=Vincent|last3=Osin|first3=Denis|title=Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces|journal=Memoirs of the American Mathematical Society |year=2017 |volume=245 |issue=1156 |doi=10.1090/memo/1156 |arxiv=1111.7048|s2cid=119137328 }}

There is a natural map from Teichmüller space to the curve complex, which takes a marked hyperbolic structures to the collection of closed curves realising the smallest possible length (the systole). It allows to read off certain geometric properties of the latter, in particular it explains the empirical fact that while Teichmüller space itself is not hyperbolic it retains certain features of hyperbolicity.

A simplex in $C(S)$ determines a "filling" of $S$ to a handlebody. Choosing two simplices in $C(S)$ thus determines a Heegaard splitting of a three-manifold,{{sfn|Hempel|2001}} with the additional data of an Heegaard diagram (a maximal system of disjoint simple closed curves bounding disks for each of the two handlebodies). Some properties of Heegaard splittings can be read very efficiently off the relative positions of the simplices:

• the splitting is reducible if and only if it has a diagram represented by simplices which have a common vertex;
• the splitting is weakly reducible if and only if it has a diagram represented by simplices which are linked by an edge.

In general the minimal distance between simplices representing diagram for the splitting can give information on the topology and geometry (in the sense of the geometrisation conjecture of the manifold) and vice versa.{{sfn|Hempel|2001}} A guiding principle is that the minimal distance of a Heegaard splitting is a measure of the complexity of the manifold.{{cite journal | last1=Abrams | first1=Aaron | last2=Schleimer | first2=Saul | title=Distances of Heegaard splittings | journal=Geom. Topol. | volume=9 | date=2005 | pages=95–119 | mr=2115669 | doi=10.2140/gt.2005.9.95| arxiv=math/0306071 | s2cid=8546698 }}

As a special case of the philosophy of the previous paragraph, the geometry of the curve complex is an important tool to link combinatorial and geometric properties of hyperbolic 3-manifolds, and hence it is a useful tool in the study of Kleinian groups.{{cite book | last=Bowditch | first=Brian H. | chapter=Hyperbolic 3-manifolds and the geometry of the curve complex | title=European Congress of Mathematics | pages=103–115 | publisher=Eur. Math. Soc. | year=2005}} For example, it has been used in the proof of the ending lamination conjecture.{{Cite journal|last=Minsky|first=Yair|date=2010|title=The classification of Kleinian surface groups, I: models and bounds|url=http://annals.math.princeton.edu/2010/171-1/p01|journal=Annals of Mathematics|language=en-US|volume=171|issue=1|pages=1–107|doi=10.4007/annals.2010.171.1|issn=0003-486X|arxiv=math/0302208|s2cid=115634421}}{{Cite journal|last1=Brock|first1=Jeffrey|last2=Canary|first2=Richard|last3=Minsky|first3=Yair|date=2012|title=The classification of Kleinian surface groups, II: The Ending Lamination Conjecture|url=http://annals.math.princeton.edu/2012/176-1/p01|journal=Annals of Mathematics|language=en-US|volume=176|issue=3|pages=1–149|doi=10.4007/annals.2012.176.1.1|issn=0003-486X|arxiv=math/0412006|s2cid=119719908}}

A possible model for random 3-manifolds is to take random Heegaard splittings.{{cite journal | last1=Dunfield | first1=Nathan M. | last2=Thurston | first2=William P. | title=Finite covers of random 3-manifolds | journal=Invent. Math. | volume=166 | issue=3 | date=2006 | pages=457–521 | mr=2257389 | doi=10.1007/s00222-006-0001-6| arxiv=math/0502567 | bibcode=2006InMat.166..457D | s2cid=14446676 }} The proof that this model is hyperbolic almost surely (in a certain sense) uses the geometry of the complex of curves.{{cite journal | first=Joseph | last=Maher | title=Random Heegaard splittings | journal=Journal of Topology | volume=3 | issue=4 | pages=997–1025 | date=2010 | doi=10.1112/jtopol/jtq031| arxiv=0809.4881 | s2cid=14179122 }}

{{reflist}}

• Harvey, W. J. (1981). "Boundary Structure of the Modular Group". Riemann Surfaces and Related Topics. Proceedings of the 1978 Stony Brook Conference . 1981.
• {{cite journal | last=Bowditch | first=Brian H. | title=Intersection numbers and the hyperbolicity of the curve complex | journal=J. Reine Angew. Math. | volume=598 | date=2006 | pages=105–129 |mr=2270568 }}
• {{cite journal | last=Hempel | first=John | title=3-manifolds as viewed from the curve complex | journal=Topology | volume=40 | issue=3 | date=2001 | pages=631–657 | mr=1838999 | doi=10.1016/s0040-9383(00)00033-1| arxiv=math/9712220 | s2cid=16532184 }}
• {{cite book | last=Ivanov | first=Nikolai | author-link=Nikolai V. Ivanov | title=Subgroups of Teichmüller Modular Groups | publisher=American Math. Soc. | year=1992 }}
• {{cite journal | last1=Masur | first1=Howard A. | last2=Minsky | first2=Yair N. | title=Geometry of the complex of curves. I. Hyperbolicity | journal=Invent. Math. | volume=138 | issue=1 | year=1999 | pages=103–149| mr=1714338 | doi=10.1007/s002220050343| arxiv=math/9804098 | bibcode=1999InMat.138..103M | s2cid=16199015 }}
• {{cite web | title=Notes on the complex of curves | url=http://homepages.warwick.ac.uk/~masgar/Maths/notes.pdf | last=Schleimer | first=Saul | date=2006 }}
• Benson Farb and Dan Margalit, A primer on mapping class groups. Princeton Mathematical Series, 49. Princeton University Press, Princeton, NJ, 2012. {{ISBN|978-0-691-14794-9}}

Category:Topology

Category:Geometric group theory