Theorems in topology | Conjectures that have been proved | 3-manifolds

Virtually Haken conjecture

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. 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, 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. 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)It used as an essential ingredient the freshly-obtained solution to the surface subgroup conjecture by Jeremy Kahn and Vladimir Markovic. Other results which are directly used in Agol's proof include the Malnormal Special Quotient Theorem of Wise and a criterion of Nicolas Bergeron and Wise for the cubulation of groups. 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 Hanken (Wikipedia).

Video thumbnail

Ahlfors-Bers 2014 "Surface Subgroups, Cube Complexes, and the Virtual Haken Theorem"

Jeremy Kahn (CUNY Graduate Center): In a largely expository talk, I will summarize the results leading up to the Virtual Haken and Virtual Fibered Theorem for three manifolds, including 1. The Geometrization Theorem of Thurston and Perelman 2. The Surface Subgroup Theorem of the speaker an

From playlist The Ahlfors-Bers Colloquium 2014 at Yale

Video thumbnail

The Campbell-Baker-Hausdorff and Dynkin formula and its finite nature

In this video explain, implement and numerically validate all the nice formulas popping up from math behind the theorem of Campbell, Baker, Hausdorff and Dynkin, usually a.k.a. Baker-Campbell-Hausdorff formula. Here's the TeX and python code: https://gist.github.com/Nikolaj-K/8e9a345e4c932

From playlist Algebra

Video thumbnail

Minerva Lectures 2012 - Ian Agol Talk 1: The virtual Haken conjecture: 3-manifold topology

Talk one of the second Minerva lecture series, by Prof. Ian Agol on October 22rd, 2012 at the Mathematics Department, Princeton University. More information available at: http://www.math.princeton.edu/events/seminars/minerva-lectures/minerva-lectures-i-virtual-haken-conjecture-overview-3-

From playlist Minerva Lectures - Ian Agol

Video thumbnail

What is the Riemann Hypothesis?

This video provides a basic introduction to the Riemann Hypothesis based on the the superb book 'Prime Obsession' by John Derbyshire. Along the way I look at convergent and divergent series, Euler's famous solution to the Basel problem, and the Riemann-Zeta function. Analytic continuation

From playlist Mathematics

Video thumbnail

Minerva Lectures 2012 - Ian Agol Talk 3: Geometric group theory and the virtual Haken conjecture

Talk three of the second Minerva lecture series, by Prof. Ian Agol on October 25rd, 2012 at the Mathematics Department, Princeton University. More information available at: http://www.math.princeton.edu/events/seminars/minerva-lectures/minerva-lecture-iii-geometric-group-theory-and-virtua

From playlist Minerva Lectures - Ian Agol

Video thumbnail

Cornelia Drutu - Connections between hyperbolic geometry and median geometry

The interest of median geometry comes from its connections with property (T) and a-T-menability and, in its discrete version, with the solution to the virtual Haken conjecture. In this talk I shall explain how groups endowed with various forms of hyperbolic geometry, from lattices in rank

From playlist Geometry in non-positive curvature and Kähler groups

Video thumbnail

Minerva Lectures 2012 - Ian Agol Talk 2: The virtual Haken conjecture & geometric group theory

Talk two of the second Minerva lecture series, by Prof. Ian Agol on October 23rd, 2012 at the Mathematics Department, Princeton University. More information available at: http://www.math.princeton.edu/events/seminars/minerva-lectures/minerva-lecture-ii-virtual-haken-conjecture-what-geomet

From playlist Minerva Lectures - Ian Agol

Video thumbnail

Interview at Cirm: Genevieve WALSH

Genevieve Walsh - Mathematician Department of Mathematics - Tufts University Spring 2018 Chaire Jean-Morlet CIRM Expertise: Hyperbolic manifolds and orbifolds, low-dimensional topology, group actions Research: 'I am a geometric topologist, and I'm interested in problems in both geometr

From playlist Topology

Video thumbnail

Number Theory | A very special case of Fermat's Last Theorem

We prove a very simple case of Fermat's Last Theorem. Interestingly, this case is fairly easy to prove which highlights the allure of the theorem as a whole -- especially given the fact that much of modern number theory was developed as part of the program that ended in the full proof. ht

From playlist Number Theory

Video thumbnail

Graph list-coloring and Thomassen's theorem #SoME2

Some videos on topics that appear on the video: Induction: https://www.youtube.com/watch?v=5Hn8vUE3cBQ Planar graphs & four color theorem: https://www.youtube.com/watch?v=xBkTIp6ajAg https://www.youtube.com/watch?v=NgbK43jB4rQ Image credit: Francis Guthrie: Unknown author, Public domain,

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Physicist Explains Wikipedia Page: The Schrodinger Equation

Why are Wikipedia Physics pages so difficult to understand? Hey guys, I'm back with a new video! This time, I'm looking at how certain Wikipedia pages can be so complicated to understand, and so here's a Wikipedia page made easy! Now I can totally understand that a wiki page is meant to p

From playlist Quantum Physics by Parth G

Video thumbnail

906,150,257 and the Pólya conjecture (MegaFavNumbers)

#MegaFavNumbers "Most numbers have an odd number of prime factors!" ...or do they...? Ben chats about the large counterexample to Polya's conjecture, for Matt Parker and James Grime's MegaFavNumbers project. Ben is @SparksMaths on twitter and at http://www.bensparks.co.uk on the web

From playlist MegaFavNumbers

Video thumbnail

Ptolemy's theorem and generalizations | Rational Geometry Math Foundations 131 | NJ Wildberger

The other famous classical theorem about cyclic quadrilaterals is due to the great Greek astronomer and mathematician, Claudius Ptolemy. Adopting a rational point of view, we need to rethink this theorem to state it in a purely algebraic way, without resort to `distances' and the correspon

From playlist Math Foundations

Video thumbnail

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

Lecture 1: Introduction and Proofs Instructor: Tom Leighton View the complete course: http://ocw.mit.edu/6-042JF10 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.042J Mathematics for Computer Science, Fall 2010

Video thumbnail

MAST30026 Lecture 11: Hausdorff spaces (Part 3)

This lecture contains the second half of the proof that a finite CW-complex is a Hausdorff space. Lecture notes: http://therisingsea.org/notes/mast30026/lecture11.pdf The class webpage: http://therisingsea.org/post/mast30026/ Have questions? I hold free public online office hours for thi

From playlist MAST30026 Metric and Hilbert spaces

Video thumbnail

Knots, three-manifolds and instantons – Peter Kronheimer & Tomasz Mrowka – ICM2018

Plenary Lecture 11 Knots, three-manifolds and instantons Peter Kronheimer & Tomasz Mrowka Abstract: Over the past four decades, input from geometry and analysis has been central to progress in the field of low-dimensional topology. This talk will focus on one aspect of these developments

From playlist Plenary Lectures

Video thumbnail

Smashing a Glass with Sound – 2015 CHRISTMAS LECTURES

Can you smash a wine glass with your voice? Dr Kevin Fong finds out. Subscribe for regular science videos: http://bit.ly/RiSubscRibe In the first of the three annual CHRISTMAS LECTURES space doctor, Kevin Fong, explores and probes second by second what it takes to ‘Lift off’ into space. W

From playlist Ri Shorts

Video thumbnail

Topology 1.7 : More Examples of Topologies

In this video, I introduce important examples of topologies I didn't get the chance to get to. This includes The discrete and trivial topologies, subspace topology, the lower-bound and K topologies on the reals, the dictionary order, and the line with two origins. I also introduce (again)

From playlist Topology

Related pages

Ehrenpreis conjecture | Surface subgroup conjecture | Fundamental group | Covering space | Geometrization conjecture | Mathematics | Haken manifold | 3-manifold | Topology | Virtually fibered conjecture | Hyperbolic 3-manifold