Worked solution: Agol's proof of the Virtual Haken conjecture via cube complexes (2012)
A Haken manifold is one you can cut open along a genuinely embedded surface that does not fold back on itself — like slicing a loaf of bread along one flat cut that goes all the way through cleanly. In the 1960s Waldhausen asked whether every hyperbolic 3-manifold has some finite cover admitting such a cut, even when the original manifold does not.
Agol's 2012 proof answers this by translating the question into a completely different world: nonpositively curved cube complexes, built by gluing unit cubes along their faces, whose combinatorics can be analysed with tools from geometric group theory rather than 3-manifold topology directly.
A closed 3-manifold is Haken if it contains an embedded -injective (incompressible) surface; Waldhausen asked in 1968 whether every closed aspherical 3-manifold has a finite-sheeted cover that is Haken — the Virtual Haken Conjecture. The question is subtler than finding an immersed surface: the surface must embed in some finite cover, i.e. the corresponding subgroup of must be separable (closed in the profinite topology) to be lifted to an embedding.
Agol's proof (arXiv:1204.2810) translates the problem into geometric group theory. Its engine is his Theorem 1.1: if a word-hyperbolic group acts properly and cocompactly on a CAT(0) cube complex , then has a finite-index subgroup acting specially — meaning the quotient cube complex is 'special' in the sense of Haglund–Wise (Step 4). Cubes, walls, and hyperplanes replace surfaces and covering spaces as the objects of the argument.
The proof then has two halves: produce the cube complex for a hyperbolic 3-manifold group (Kahn–Markovic surfaces plus Sageev's construction, Steps 3–4), and prove the virtual-specialness theorem itself (Step 6). The final step converts virtual specialness back into topology: separability of the surface subgroup gives the embedded incompressible surface in a finite cover.
- Haken manifold
- A compact, orientable, irreducible 3-manifold containing an embedded, two-sided surface that is -injective (its inclusion introduces no extra loop relations); such manifolds are unusually tractable topologically.
- CAT(0) cube complex
- A simply connected space built by gluing unit Euclidean cubes of various dimensions along their faces so that the result has nonpositive curvature in a combinatorial sense; group actions on such complexes are a central tool of modern geometric group theory.