From Riches to RAAGs: Special Cube Complexes and the Virtual Haken Theorem (Part 1)

In this first of two talks, I shall introduce the Virtual Haken Conjecture and the major players involved in the proof announced by Ian Agol last year. These are the special cube complexes studied by Dani Wise and his collaborators, with a large supporting cast including the not-inconsiderable presence of Perelman’s Geometrization Theorem and the Surface Subgroup Theorem of Kahn and Markovic. I shall sketch how the VHC follows from Agol’s result that, in spite of the name, specialness is entirely generic among non-positively curved cube complexes.