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 and has stated that it was intended as a challenge and not meant to indicate he believed it[ citation needed ], although he wrote 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] [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. (2009). "A boundary criterion for cubulation". arXiv: 0908.3609 .{{cite journal}}: Cite journal requires |journal= (help)
  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; Groves, Daniel; Manning, Jason (2012). "The virtual Haken conjecture". arXiv: 1204.2810 .{{cite journal}}: Cite journal requires |journal= (help)

Related Research Articles

<span class="mw-page-title-main">William Thurston</span> American mathematician

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.

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 three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston, and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

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">Low-dimensional topology</span> Branch of topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

<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, Seifert–Weber space is a closed hyperbolic 3-manifold. It is also known as Seifert–Weber dodecahedral space and hyperbolic dodecahedral space. It is one of the first discovered examples of closed hyperbolic 3-manifolds.

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, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by Jakob Nielsen (1944).

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 hyperbolic geometry, the ending lamination theorem, originally conjectured by William Thurston, states that hyperbolic 3-manifolds with finitely generated fundamental groups are determined by their topology together with certain "end invariants", which are geodesic laminations on some surfaces in the boundary of the manifold.

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.

<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.

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

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.