Agol's theorem on hyperbolic cubulations

Abstract

Agol proved that hyperbolic cubulated groups are virtually special. The aim of these notes is to make the proof accessible to a wider audience; we retain the underlying ideas and constructions of Agol, but substantially change or add to many parts of the argument to give a more transparent and detailed account.

32 pages. v2: An expanded introduction, moderate changes to the argument in Section 9 and minor changes elsewhere. To appear in the Rocky Mountain Journal of Mathematics