Virtual fibering conjecture

Virtual fibering conjecture
Name	Virtual fibering conjecture
Field	Topology
Proposed	1980s
Proposed by	William Thurston
Status	Proven (Agol, 2012)
Subjects	3-manifolds, hyperbolic geometry, group theory

Virtual fibering conjecture The Virtual fibering conjecture asserted that every closed, irreducible, atoroidal 3-manifold with infinite fundamental group has a finite cover which fibers over the circle. Originating in the work of William Thurston, the conjecture connected geometric topology, hyperbolic geometry, and group theory through the study of 3-manifolds, hyperbolic 3-manifolds, and fundamental groups. A proof announced by Ian Agol in 2012, building on work of Daniel Wise, Jeremy Kahn, Vladimir Markovic, Mark Feighn, and others, resolved a central question in low-dimensional topology and had broad consequences across Geometric Group Theory, Knot Theory, and the study of Hyperbolic Geometry.

History

The conjecture traces to lectures and conjectures of William Thurston in the 1980s relating to the Geometrization Conjecture and the behavior of 3-manifolds under finite covers, informed by examples such as fibered knot complements like the figure-eight knot. Influential milestones include the proof of the Hyperbolization Theorem for Haken manifolds by William Jaco, Peter Shalen, Klaus Johannson, and the full resolution of Geometrization by Grigori Perelman. Work on separability properties for surface subgroups by Gilbert Baumslag, Michail Gromov, and results on residual finiteness by Hyman Bass set algebraic groundwork. From the 1990s through the 2000s, contributions by Daniel Wise on cubulated groups, by Jeremy Kahn and Vladimir Markovic on immersed surfaces in closed hyperbolic 3-manifolds, and by Ian Agol culminated in a proof combining the Surface Subgroup Theorem and special cube complex techniques.

Statement

In modern terms the assertion was: every closed, irreducible, atoroidal 3-manifold M with infinite π1(M) admits a finite-sheeted cover M' that is a fiber bundle over S1 with fiber a closed surface. This statement sits alongside related statements by John Stallings about fibering and by William Thurston concerning the relation between pseudo-Anosov homeomorphisms and hyperbolic structures. The proven form often appears as: closed hyperbolic 3-manifolds are virtually fibered, entwining results of Ian Agol with virtual Haken results of Daniel Wise and earlier virtual properties studied by Peter Scott and G. Peter Scott.

Background and motivation

Motivation came from attempts to classify 3-manifolds via finite covers and to relate dynamical systems on surfaces to 3-dimensional geometry through fibrations by Thurston norm and pseudo-Anosov dynamics studied by William Thurston and John Stallings. Fibered 3-manifolds admit monodromy automorphisms of surfaces tied to the Mapping Class Group and to Teichmüller Theory results of William Thurston and Yair Minsky. Virtual fibering promised to turn questions about arbitrary closed hyperbolic 3-manifolds into questions about surface bundles, leveraging techniques from Knot Theory, Foliation Theory as developed by Dennis Sullivan, and subgroup separability methods originating with Marshall Hall Jr. and Peter Scott.

Key results and partial proofs

Important partial results included the Virtual Haken Theorem proved by Ian Agol building on Wise’s work on special cube complexes and on separability theorems by Daniel Wise, Francesco Costantino, and others. The Surface Subgroup Theorem of Kahn and Markovic produced many immersed quasifuchsian surface subgroups in closed hyperbolic 3-manifolds, a key ingredient. Earlier work by Agol, Wise, Danciger, Guillermo Porti, and Franz Leicht resolved cases for arithmetic hyperbolic manifolds and for manifolds with nontrivial JSJ decompositions studied by Johannson and Jaco-Shalen. The combined strategy produced Agol’s 2012 proof that closed hyperbolic 3-manifolds are virtually fibered.

Methods and techniques

Central techniques include cubulation of groups and special cube complexes introduced by Daniel Wise, residual finiteness and subgroup separability tools from Marshall Hall Jr. and Peter Scott, and geometric constructions of immersed surfaces from Jeremy Kahn and Vladimir Markovic. Agol’s proof used the machinery of right-angled Artin groups and their virtual retractions studied by Frédéric Haglund and Dani Wise, together with the theory of L2-invariants and homological growth concepts explored by Igor L. Lück. Tools from Teichmüller Theory, Pseudo-Anosov mapping class dynamics, and the Thurston norm linked topological structure to geometric and group-theoretic properties.

Consequences and applications

The proof implied that many open problems reduce to questions about surface bundles and mapping class groups such as those treated by Benson Farb, Dan Margalit, and Flux Conjecture research. It influenced classification in Knot Theory by implying virtual properties for knot complements like those studied by Riley and Rolfsen. In Geometric Group Theory it led to advances in the understanding of subgroup separability, coherence, and virtual properties of 3-manifold groups, impacting work by Misha Kapovich, Lee Mosher, and Boris Okun. Connections to arithmetic aspects studied by Gopal Prasad and Alan Reid also emerged in the context of arithmetic hyperbolic manifolds.

Related conjectures and open problems

Related questions include the Virtual Haken Conjecture (resolved alongside virtual fibering), the Virtual Betti Number Conjecture studied by D. Fried, the Virtual Specialness program of Daniel Wise, and open problems about effective bounds on degrees of covering related to work by Marc Lackenby and Benson Farb. Further open problems concern algorithmic detection of fibrations linking to computational topology work by Jeffrey Weeks and bounds for homological growth as conjectured by Kazhdan-type spectral problems explored by W. T. Gowers and Curtis McMullen.

Category:Conjectures in topology