You are currently browsing the monthly archive for March 2012.
Ian gave his second and third talks this afternoon, completing his (quite detailed) sketch of the proof of the Virtual Haken Theorem. Recall that after work of Kahn-Markovic, Wise, Haglund-Wise and Bergeron-Wise, the proof reduces to showing the following:
Theorem (Agol): Let G be a hyperbolic group acting properly discontinuously and cocompactly on a CAT(0) cube complex X. Then there is a finite index subgroup G’ so that X/G’ is special; in other words, G is virtually special.
Today Jason Manning gave a talk on a vital ingredient in the proof of Agol’s theorem, which is a result in geometric group theory. The theorem is a joint project of Agol-Groves-Manning, and generalizes some earlier work they did a few years ago. Jason referred to the main theorem during his talk as the “Goal Theorem” (I guess it was the goal of his lecture), but I’m going to call it the Weak Separation Theorem, since that is a somewhat more descriptive name. The statement of the theorem is as follows.
Weak Separation Theorem (Agol-Groves-Manning): Let G be a hyperbolic group, let H be a subgroup of G which is quasiconvex, and isomorphic to the fundamental group of a virtually special NPC cube complex, and let g be an element of G which is not contained in H. Then there is a surjection so that
- is hyperbolic;
- is finite; and
- is not contained in .
In the remainder of this post I will try to explain the proof of this theorem, to the extent that I understand it. Basically, this amounts to my summarizing Manning’s talk (or the part of it that I managed to get down in my notes); again, any errors, foolishness, silly blog post titles etc. are due to me.
I am in Paris attending a workshop at the IHP where Ian Agol has just given the first of three talks outlining his proof of the Virtual Haken Conjecture and Virtual Fibration Conjecture in 3-manifold topology (hat tip to Henry Wilton at the Low Dimensional Topology blog from whom I first learned about Ian’s announcement last week). I think it is no
under overstatement to say that this marks the end of an era in 3-manifold topology, since the proof ties up just about every loose end left over on the list of problems in 3-manifold topology from Thurston’s famous Bulletin article (with the exception of problem 23 — to show that volumes of closed hyperbolic 3-manifolds are not rationally related — which is very close to some famous open problems in number theory). The purpose of this blog post is to say what the Virtual Haken Conjecture is, and some of the background that goes into Ian’s argument. I hope to follow this up with more details in another post (after Agol gives talks 2 and 3 this coming Wednesday). Needless to say this post has been written in a bit of a hurry, and I have probably messed up some crucial details; but if that caveat is not enough to dissuade you, then read on.