In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty or toroidal boundary such that π_1(N) is virtually RFRS, then N is virtually fibered. We give a largely self-contained proof of Agol's theorem using complexities of sutured manifolds.
展开▼