Virtual Haken conjecture

Virtual Haken conjecture
Name	Virtual Haken conjecture
Field	Topology, Geometric Topology
Proposed	1970s
Status	Resolved (2012)
Key results	Work of Ian Agol, Daniel Wise, William Thurston, Greg Kuperberg

Virtual Haken conjecture The Virtual Haken conjecture is a statement in 3-dimensional topology predicting that every compact, irreducible, orientable 3-manifold with infinite fundamental group has a finite-sheeted cover that is Haken. It connects the theories of Thurston's geometrization program, Heegaard splitting techniques, and the study of 3-manifold groups with advances in Geometric Group Theory, Hyperbolic geometry, and Low-dimensional topology.

Background and statement

The conjecture arose from observations about Haken manifolds made by Haken and the influence of Thurston's conjectures on hyperbolic structures for 3-manifolds, alongside work of John Milnor, Stallings, and Cameron Gordon on knot complements. It asserts that for any compact, orientable, irreducible 3-manifold M with infinite fundamental group π1(M), there exists a finite-index subgroup of π1(M) corresponding to a finite-sheeted cover of M that contains a properly embedded, two-sided, incompressible surface (a Haken surface). The statement ties into the classification of 3-manifolds developed by Weeks and formalized through the Geometrization Conjecture advocated by Thurston and proved by Perelman.

Historical development and partial results

Early partial results built on separability properties studied by Scott and on virtually fibered criteria by Neumann and Cooper. Progress included work on special classes of manifolds such as arithmetic manifolds by Milnor-inspired techniques and on graph manifolds by Fenley and Minsky. The role of subgroup separability (LERF) appeared in work of Gromov, Waldhausen, and Agol's earlier contributions. Stronger partial theorems were proven for finite-volume hyperbolic 3-manifolds by Kahn and Markovic on surface subgroup existence, and by Wise in the context of cube complexes and virtually special groups influenced by Bridson and Niblo.

A decisive advance occurred when Agol combined separability tools with Wise's theory to prove the conjecture for closed hyperbolic 3-manifolds, building on prior work of Wise on virtually special cube complexes and on geometric results by Canary, Farb, and McMullen. The culmination in 2012 resolved the conjecture in full generality for irreducible 3-manifolds of infinite fundamental group.

Techniques and key proofs

Key techniques involve cubulation of groups developed by Wise and by Sageev, employing the construction of CAT(0) cube complexes and the notion of virtually special groups introduced by Haglund and Wise. Agol's proof used the concept of residual finiteness and separability first explored by Scott and structural decomposition methods influenced by Hempel and Thurston. Tools from hyperbolic geometry due to Gromov, the surface subgroup theorem by Kahn and Markovic, and the malnormal special quotient theorem developed in the context of Relative hyperbolicity were combined with group actions on cube complexes studied by Haglund, Wise, and Hagen.

The proofs rely on producing finite covers where immersed incompressible surfaces lift to embedded surfaces, using subgroup separability results associated with virtually special groups and with virtually fibered criteria derived from Agol's virtual fibering theorem. Methods from Algebraic Topology such as covering space theory used by Hatcher and 3-manifold decomposition techniques like JSJ decomposition studied by Jaco and Shalen are central in arranging the reduction to hyperbolic pieces amenable to cubulation.

Consequences and applications

Resolution of the conjecture had immediate consequences across Low-dimensional topology, Geometric Group Theory, and the study of 3-manifold invariants. It implied virtual properties such as virtual fibering for many classes thanks to relations with work of Agol and Thurston on fibered manifolds, and it influenced computational approaches implemented by tools like those developed by Weeks and later by Weeks's software communities. The result affected the understanding of mapping class groups studied by Farb and Margalit, provided input into classification problems addressed by Thurston and Perelman, and clarified subgroup structure questions raised by Gromov and Serre.

In arithmetic topology, applications informed work of Elkies, Borel, and Reznikov on arithmetic hyperbolic manifolds. Knot theory benefited through stronger conclusions about knot complements studied by Gordon and Luecke.

Related conjectures and counterexamples

Related problems include the Virtual Fibering conjecture addressed by Agol and the Surface Subgroup conjecture advanced by Kahn and Markovic. Questions about subgroup separability (LERF) trace back to Waldhausen and Scott. Counterexamples and limitations appear in the study of non-geometric graph manifolds investigated by Bachman and Maillot, where different virtual properties fail without hyperbolicity. The landscape also touches on conjectures in Geometric Group Theory by Gromov and on problems about residual properties considered by Mal'cev and Holt.

Category:3-manifold topology