Virtually Haken conjecture

Last updated

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 (a covering space with a finite-to-one covering map) that is a Haken manifold.

Contents

After the proof of the geometrization conjecture by Perelman, the conjecture was only open for hyperbolic 3-manifolds.

The conjecture is usually attributed to Friedhelm Waldhausen in a paper from 1968, [1] although he did not formally state it. This problem is formally stated as Problem 3.2 in Kirby's problem list.

A proof of the conjecture was announced on March 12, 2012 by Ian Agol in a seminar lecture he gave at the Institut Henri Poincaré. The proof appeared shortly thereafter in a preprint which was eventually published in Documenta Mathematica. [2] The proof was obtained via a strategy by previous work of Daniel Wise and collaborators, relying on actions of the fundamental group on certain auxiliary spaces (CAT(0) cube complexes) [3] It used as an essential ingredient the freshly-obtained solution to the surface subgroup conjecture by Jeremy Kahn and Vladimir Markovic. [4] [5] Other results which are directly used in Agol's proof include the Malnormal Special Quotient Theorem of Wise [6] and a criterion of Nicolas Bergeron and Wise for the cubulation of groups. [7]

In 2018 related results were obtained by Piotr Przytycki and Daniel Wise proving that mixed 3-manifolds are also virtually special, that is they can be cubulated into a cube complex with a finite cover where all the hyperplanes are embedded which by the previous mentioned work can be made virtually Haken. [8] [9]

See also

Notes

  1. Waldhausen, Friedhelm (1968). "On irreducible 3-manifolds which are sufficiently large". Annals of Mathematics . 87 (1): 56–88. doi:10.2307/1970594. JSTOR   1970594. MR   0224099.
  2. Agol, Ian (2013). With an appendix by Ian Agol, Daniel Groves, and Jason Manning. "The virtual Haken Conjecture". Doc. Math. 18: 1045–1087. doi: 10.4171/dm/421 . MR   3104553. S2CID   255586740.
  3. 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 . MR   2979855.
  4. Kahn, Jeremy; Markovic, Vladimir (2012). "Immersing almost geodesic surfaces in a closed hyperbolic three manifold". Annals of Mathematics . 175 (3): 1127–1190. arXiv: 0910.5501 . doi:10.4007/annals.2012.175.3.4. MR   2912704. S2CID   32593851.
  5. Kahn, Jeremy; Markovic, Vladimir (2012). "Counting essential surfaces in a closed hyperbolic three-manifold". Geometry & Topology. 16 (1): 601–624. arXiv: 1012.2828 . doi:10.2140/gt.2012.16.601. MR   2916295.
  6. Daniel T. Wise, The structure of groups with a quasiconvex hierarchy, https://docs.google.com/file/d/0B45cNx80t5-2NTU0ZTdhMmItZTIxOS00ZGUyLWE0YzItNTEyYWFiMjczZmIz/edit?pli=1
  7. 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. S2CID   14128842.
  8. Przytycki, Piotr; Wise, Daniel (2017-10-19). "Mixed 3-manifolds are virtually special". Journal of the American Mathematical Society. 31 (2): 319–347. arXiv: 1205.6742 . doi: 10.1090/jams/886 . ISSN   0894-0347. S2CID   39611341.
  9. "Piotr Przytycki and Daniel Wise receive 2022 Moore Prize". American Mathematical Society .

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 (1982), 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">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.

Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.

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.

<span class="mw-page-title-main">Surface subgroup conjecture</span>

In mathematics, the surface subgroup conjecture of Friedhelm Waldhausen states that the fundamental group of every closed, irreducible 3-manifold with infinite fundamental group has a surface subgroup. By "surface subgroup" we mean the fundamental group of a closed surface not the 2-sphere. This problem is listed as Problem 3.75 in Robion Kirby's problem list.

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.

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

<span class="mw-page-title-main">Vladimir Markovic</span>

Vladimir Marković is a Professor of Mathematics at University of Oxford. He was previously the John D. MacArthur Professor at the California Institute of Technology (2013–2020) and Sadleirian Professor of Pure Mathematics at the University of Cambridge (2013–2014).

In hyperbolic geometry, the ending lamination theorem, originally conjectured by William Thurston (1982), 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.

<span class="mw-page-title-main">Jeremy Kahn</span> American mathematician

Jeremy Adam Kahn is an American mathematician. He works on hyperbolic geometry, Riemann surfaces and complex dynamics.

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

References