Low Dimensional Topology

August 26, 2009

More on the Virtual Haken Conjecture and friends.

Nicolas Bergeron and Dani Wise posted an interesting preprint “A boundary criterion for cubulation” on the arXiv this morning. Using Kahn and Markovic, and work of Ian Agol, they show

Theorem 6.5. If quasi-fuchsian surface subgroups of the fundamental group of a hyperbolic 3-manifold M are separable, then M is virtually fibered.

This has also been proved by Ian using the same approach, see his Georgia slides. The idea is to apply a construction of Sageev to build a CAT(0)-cube complex from a large collection of quasi-fuchsian surface subgroups, and then apply a theorem of Haglund and Wise to get enough residual control over the fundamental group to apply Ian’s earlier work on virtual fibering.

Another aspect of [BW] was the implicit announcement by Wise of the following result

Theorem. Suppose M is a hyperbolic 3-manifold containing an embedded incompressible quasi-fuchsian surface. Then the fundamental group of M is subgroup separable.

In particular, [BW] refers to a 175 page(?!) preprint by Wise showing this, though it doesn’t seem to be on his webpage yet. If correct, this would be another major breakthrough in the study of the Virtual Haken Conjecture.



  1. Can you give a “big picture” summary of where things stand now? How far are we from proving virtual fibering (or virtual Haken)? It’s a stupid question, but do either of these imply the Borel conjecture?

    Comment by Daniel Moskovich — August 31, 2009 @ 8:49 am | Reply

    • That’s an excellent idea, I’ll do that in an upcoming post.

      As for the Borel conjecture in dimension 3, it follows from Perelman’s Geometrization Theorem, independent of the VHC.

      Comment by Nathan Dunfield — August 31, 2009 @ 8:56 am | Reply

  2. If you want the latest on the Borel conjecture, see the paper
    The Borel Conjecture for hyperbolic and CAT(0)-groups
    Authors: Arthur Bartels, Wolfgang Lueck
    at http://lanl.arxiv.org/PS_cache/arxiv/pdf/0901/0901.0442v1.pdf
    and the paper
    Survey on aspherical manifolds
    Authors: Wolfgang Lueck
    at http://lanl.arxiv.org/PS_cache/arxiv/pdf/0902/0902.2480v3.pdf

    Comment by Mayer A. Landau — September 2, 2009 @ 2:48 pm | Reply

  3. I just noticed (two weeks late) that the Bergeron & Wise withdrew their paper…

    Comment by Dave Futer — September 18, 2009 @ 3:49 pm | Reply

    • Yes, I noticed that too. As I understand it, they are still claiming the particular result Theorem 6.5 above; rather its a different part of the paper that had an error in it. Regardless, Ian also has a proof of Theorem 6.5, so…

      Comment by Nathan Dunfield — September 18, 2009 @ 3:57 pm | Reply

RSS feed for comments on this post. TrackBack URI

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

Blog at WordPress.com.

%d bloggers like this: