Hyperbolicity of the curve graph: the proof from The Book

In this post I’ll talk about a lovely paper by Sebastian Hensel, Piotr Przytycki and Richard Webb. They show that all curve graphs are 17-hyperbolic. Hyperbolicity of curve graphs is a very very very useful* property because mapping class groups act nicely on them, so you can prove all sorts of things using this action.
The proofs available before HPW were quite complicated and relied on Teichmüller theory, so I was quite amazed to see that this could be proven in 6 self-contained pages. And, as the authors pointed out to me: “Well, there’s one page of introduction and one page of references.”

This post is an illustrated guide to the proof. I won’t define arc/curve complexes here, but I plan to write a BI soon. The more loudly you complain, the sooner I will actually do.

Ok, let’s start. First of all, as it turns out it’s more convenient to deal with arc graphs instead of curve graphs.

Reduction to the arc graph. (Really, just skip this 😀 ) Here’s a very quick sketch of how to deduce hyperbolicity of curve graphs once we know it for arc graphs, which for the moment we assume we do.
If we are dealing with a (complicated) surface with boundary then the idea we can use is that one can construct a path in the curve complex starting from a path \gamma in the arc complex by considering curves disjoint from the arcs appearing along \gamma (it will be clearer later how to exploit this, if you don’t know how to do it already). I’ll be honest, just this one time: There is a subtle issue I’m sweeping under the carpet here, but I would like not to make the post too technical…
Anyway, suppose instead that your surface, S, is closed. If you call S' the surface obtained by adding a boundary component, then you have a boundary-forgetting map. This map is Lipschitz, this is immediate, and has a section, constructed as follows. Choose a hyperbolic metric on S and realise all (homotopy classes of) curves as geodesics. Now you can take a puncture outside the union of all such (countably many) geodesics. Using the two properties it’s not hard to see that the curve graph of S must be hyperbolic as well. The details are in section 5 of the paper.

Unicorns! Ok, let’s now take an arc graph. The strategy to show it’s hyperbolic is to prove that, as David puts it, “it smells hyperbolic”**, i.e. that there exists a family of preferred paths with nice properties (you may wish to take a look at this post 🙂 ). The most important property that this family should satisfy is that triangles of preferred paths should be slim. The other properties you need (in simplified form) are that a preferred path is a geodesic if the endpoints have distance at most 1 and that a subpath of a preferred path is a preferred path.
HPW called the nice paths they constructed unicorn paths (!). They were initially called one-corner paths, but then Piotr realised that one-corner and unicorn are almost the same word in Polish, and that unicorn would be a much more awesome name.
And now, here are the paths. You have to start with two arcs in minimal position, a and b, and it’s convenient to fix preferred endpoints, \alpha and \beta. We can assume that a,b intersect minimally. The arcs appearing along the path from a to b, the unicorn arcs, have a rather simple form: You travel along a until you reach some intersection point, \pi, and then you go to \beta.

unicorn

Not all intersection points work, because the procedure described above might not give an embedded arc (look at \tau, for example).
Let us also include a and b in the collection of unicorn arcs. So, given a,b you have finitely many arcs, and there is a natural order on them: You write c<c' if the common subpath of c and a is longer than the common subpath of c' and a. The idea is that you are describing a path from a to b, so the paths more closely resembling a should appear first.
Now, we have to check that we actually described a path, i.e. that if c' is the successor of c then c,c' can be realised disjointly.
The recipe to construct the successor is simple. Let \pi be the intersection point defining c, and let b' be the subpath of c from \pi to \beta. Just travel along a after \pi until you hit b' in some point \pi'. Then it’s not hard to convince yourself that \pi' defines c'.

unicornsucc

The picture also illustrates how to realise c,c' disjointly.

Slim unicorns! And here is the cool part. Unicorn triangles are 1-slim, i.e. given a,b,d and a unicorn arc c, defined by \pi\in a\cap b, on the unicorn path P(a,b) from a to b there is a point on P(a,d)\cup P(b,d) at distance at most 1 from c. The proof is very easy, just travel along d until you hit c, then go to \alpha or \beta, whichever you can reach avoiding \pi.

unicornslim

The picture hopefully clearly illustrates that the unicorn arc c' we just constructed can be realised disjointly from c.
The authors told me that the initial argument for 1-slimness of triangles was based on their dismantlability, you may wish to take a look at this paper.

The technical bit. You need one more property to show that arc graphs are hyperbolic and unicorn paths are close to geodesics, that is to say that a subpath of a unicorn path is a unicorn path. Well, this is not actually true, sometimes you can have a subpath of a unicorn path of length 2 connecting points at distance 1 in the arc graph. But that’s the only bad thing that can happen, and this is good enough for us.
Stare at the recipe I told you about earlier to construct the successor. Done? It might now seem to you that if you have two unicorn arcs c_1,c_2 constructed from a,b, the recipe will give you exactly the same successor of c_1 regardless of whether you work “between a and b” or “between c_1 and c_2.” So… what’s the problem? The problem is that c_1,c_2 might not be in minimal position! 😦
So you have to understand when they don’t intersect minimally (Sublemma 3.6 in the paper). You can reduce to the case a=c_1 and c_2 the predecessor of b, once again because of the recipe for the successor. The predecessor of b is the unicorn arc travelling as little as possible along a, so you just have to find the first intersection point \pi of a,b along a.

unicornbigon

(Yes, there’s a reason why I’ve drawn the picture in that weird way, see below 😉 )
Let me recall that two arcs are in minimal position if there are no bigons or half bigons:

minimal1

Now, there cannot be a bigon between a and c_2, for otherwise you can easily convince yourself that there would be one between a and b. Similarly, you can only have a half-bigon if \pi appears on it:

minimal2

So, if there is a half-bigon, then it must look like this:

unicornbigon2

So, you have a very good control on what can go wrong. I won’t go into details but I hope that you’ll find it reasonable to believe that it’s possible to deal with this problem.

And that’s the end 🙂

Let me add the comment that Lemma 3.4, which I didn’t go into, is there just to get a better constant at the end, but without it you can prove, say, 19-hyperbolicity.
The lemma says that given 3 unicorn paths forming a triangle you can find a triple of points on them at pairwise distance at most 1. If you allow yourself to substitute 1 with 3, this follows from what we already know. In fact, suppose you start at a and move towards b. At first, you’ll be 1-close to P(a,c), and at some point you’ll be 1-close to P(b,c). When the switch happens, you have the 3 points you’re looking for. Btw, analysing this idea gives you a way of finding your candidate points at pairwise distance 1.

*David Hume was next to me when I wrote this and said “I have a paper that relies on that, so I’m not going to argue.”
** David suggested I add “I would like to thank David for being so quotable.”

Advertisements
This entry was posted in guessing geodesics, hyperbolicity of complexes. Bookmark the permalink.

3 Responses to Hyperbolicity of the curve graph: the proof from The Book

  1. Pingback: An even shorter proof that curve graphs are hyperbolic | Alex Sisto

  2. Hi Alex,

    I’ve already started to learn about curves complex. My advisor told me about your blog and I find it really really helpful. May I ask you a silly question about this post? You define inequality in this way:

    “You write c<c' if the common subpath of c and a is longer than the common subpath of c' and a."

    But in the recipe below the common subpath of c' and a is longer than the common subpath of c and a. Is it just a change of convention?

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s