In the mathematical subfield of 3-manifolds, the virtually fibered conjecture, formulated by American mathematician William Thurston, states that every closed, irreducible, atoroidal 3-manifold with infinite fundamental group has a finite cover which is a surface bundle over the circle.
A 3-manifold which has such a finite cover is said to virtually fiber. If M is a Seifert fiber space, then M virtually fibers if and only if the rational Euler number of the Seifert fibration or the (orbifold) Euler characteristic of the base space is zero.
The hypotheses of the conjecture are satisfied by hyperbolic 3-manifolds. In fact, given that the geometrization conjecture is now settled, the only case needed to be proven for the virtually fibered conjecture is that of hyperbolic 3-manifolds.
The original interest in the virtually fibered conjecture (as well as its weaker cousins, such as the virtually Haken conjecture) stemmed from the fact that any of these conjectures, combined with Thurston's hyperbolization theorem, would imply the geometrization conjecture. However, in practice all known attacks on the "virtual" conjecture take geometrization as a hypothesis, and rely on the geometric and group-theoretic properties of hyperbolic 3-manifolds.
The virtually fibered conjecture was not actually conjectured by Thurston. Rather, he posed it as a question, writing only that "[t]his dubious-sounding question seems to have a definite chance for a positive answer".[1]
The conjecture was finally settled in the affirmative in a series of papers from 2009 to 2012. In a posting on the ArXiv on 25 Aug 2009,[2] Daniel Wise implicitly implied (by referring to a then-unpublished longer manuscript) that he had proven the conjecture for the case where the 3-manifold is closed, hyperbolic, and Haken. This was followed by a survey article in Electronic Research Announcements in Mathematical Sciences.[3] Several other articles [4][5][6] have followed, including the aforementioned longer manuscript by Wise.[7] In March 2012, during a conference at Institut Henri Poincaré in Paris, Ian Agol announced he could prove the virtually Haken conjecture for closed hyperbolic 3-manifolds .[8] Taken together with Daniel Wise's results, this implies the virtually fibered conjecture for all closed hyperbolic 3-manifolds.
See also
editNotes
edit- ^ Thurston 1982, p. 380.
- ^ Bergeron, Nicolas; Wise, Daniel T. (2012). "A boundary criterion for cubulation". American Journal of Mathematics. 134 (3): 843–859. arXiv:0908.3609. doi:10.1353/ajm.2012.0020. MR 2931226.
- ^ Wise, Daniel (2009). "Research announcement: The structure of groups with a quasiconvex hierarchy". Electronic Research Announcements in Mathematical Sciences. 16: 44–55. doi:10.3934/era.2009.16.44.
- ^ Haglund, Frédéric; Wise, Daniel (2012). "A combination theorem for special cube complexes". Annals of Mathematics. 176 (3): 1427–1482. doi:10.4007/annals.2012.176.3.2.
- ^ Christopher Hruska, G. C.; Wise, Daniel T. (2014). "Finiteness properties of cubulated groups". Compositio Mathematica. 150 (3): 453–506. arXiv:1209.1074. doi:10.1112/S0010437X13007112. S2CID 119341019.
- ^ Hsu, Tim; Wise, Daniel T. (2015). "Cubulating malnormal amalgams". Inventiones Mathematicae. 199 (2): 293–331. Bibcode:2015InMat.199..293H. doi:10.1007/s00222-014-0513-4. S2CID 122292998.
- ^ Wise, Daniel T. The structure of groups with a quasiconvex hierarchy (PDF).
- ^ Agol, Ian (2013). "The virtual Haken conjecture". Documenta Mathematica. 18. With an appendix by Ian Agol, Daniel Groves and Jason Manning: 1045–1087. arXiv:1204.2810. MR 3104553.
References
edit- Thurston, William P. (1982). "Three dimensional manifolds, Kleinian groups and hyperbolic geometry". Bulletin of the American Mathematical Society. 6 (3): 357–382. CiteSeerX 10.1.1.535.7618. doi:10.1090/S0273-0979-1982-15003-0.
- D. Gabai, On 3-manifold finitely covered by surface bundles, Low Dimensional Topology and Kleinian Groups (ed: D.B.A. Epstein), London Mathematical Society Lecture Note Series vol 112 (1986), p. 145-155.
- Agol, Ian (2008). "Criteria for virtual fibering". Journal of Topology. 1 (2): 269–284. arXiv:0707.4522. doi:10.1112/jtopol/jtn003. S2CID 3028314.