Virtually fibered conjecture

Last updated

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.

Contents

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

Notes

  1. ↑ Thurston 1982, p. 380.
  2. ↑ 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.
  3. ↑ 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 .
  4. ↑ 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 .
  5. ↑ 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.
  6. ↑ 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.
  7. ↑ Wise, Daniel T. The structure of groups with a quasiconvex hierarchy (PDF).
  8. ↑ 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.

Related Research Articles

<span class="mw-page-title-main">William Thurston</span> American mathematician (1946–2012)

William Paul Thurston was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds.

<span class="mw-page-title-main">Geometrization conjecture</span> Three dimensional analogue of uniformization conjecture

In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries.

In mathematics, a Haken manifold is a compact, P²-irreducible 3-manifold that is sufficiently large, meaning that it contains a properly embedded two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small and close enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

In mathematics, hyperbolic Dehn surgery is an operation by which one can obtain further hyperbolic 3-manifolds from a given cusped hyperbolic 3-manifold. Hyperbolic Dehn surgery exists only in dimension three and is one which distinguishes hyperbolic geometry in three dimensions from other dimensions.

In mathematics, the tameness theorem states that every complete hyperbolic 3-manifold with finitely generated fundamental group is topologically tame, in other words homeomorphic to the interior of a compact 3-manifold.

In topology, an area of mathematics, the virtually Haken conjecture states that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group is virtually Haken. That is, it has a finite cover that is a Haken manifold.

<span class="mw-page-title-main">Hyperbolic volume</span> Normalized hyperbolic volume of the complement of a hyperbolic knot

In the mathematical field of knot theory, the hyperbolic volume of a hyperbolic link is the volume of the link's complement with respect to its complete hyperbolic metric. The volume is necessarily a finite real number, and is a topological invariant of the link. As a link invariant, it was first studied by William Thurston in connection with his geometrization conjecture.

In geometry, Thurston's geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifolds are hyperbolic, and in particular satisfy the Thurston conjecture.

In mathematics, the 2π theorem of Gromov and Thurston states a sufficient condition for Dehn filling on a cusped hyperbolic 3-manifold to result in a negatively curved 3-manifold.

In mathematics, more precisely in group theory and hyperbolic geometry, Arithmetic Kleinian groups are a special class of Kleinian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. An arithmetic hyperbolic three-manifold is the quotient of hyperbolic space by an arithmetic Kleinian group.

James W. Cannon is an American mathematician working in the areas of low-dimensional topology and geometric group theory. He was an Orson Pratt Professor of Mathematics at Brigham Young University.

In mathematics, the Ahlfors conjecture, now a theorem, states that the limit set of a finitely-generated Kleinian group is either the whole Riemann sphere, or has measure 0.

In the mathematical theory of Kleinian groups, the density conjecture of Lipman Bers, Dennis Sullivan, and William Thurston, later proved independently by Namazi & Souto (2012) and Ohshika (2011), states that every finitely generated Kleinian group is an algebraic limit of geometrically finite Kleinian groups.

<span class="mw-page-title-main">Ian Agol</span> American mathematician

Ian Agol is an American mathematician who deals primarily with the topology of three-dimensional manifolds.

<span class="mw-page-title-main">Daniel Wise (mathematician)</span> American mathematician (born 1971)

Daniel T. Wise is an American mathematician who specializes in geometric group theory and 3-manifolds. He is a professor of mathematics at McGill University. Wise's conjecture is named after him.

<span class="mw-page-title-main">Cubical complex</span>

In mathematics, a cubical complex is a set composed of points, line segments, squares, cubes, and their n-dimensional counterparts. They are used analogously to simplicial complexes and CW complexes in the computation of the homology of topological spaces. Non-positively curved and CAT(0) cube complexes appear with increasing significance in geometric group theory.

Albert Marden is an American mathematician, specializing in complex analysis and hyperbolic geometry.

Pekka Pertti Tukia is a Finnish mathematician who does research on Kleinian groups and their geometric properties.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.