Elevator pitch for the Virtual Fibering Theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T10:35:55Z http://mathoverflow.net/feeds/question/99547 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99547/elevator-pitch-for-the-virtual-fibering-theorem Elevator pitch for the Virtual Fibering Theorem Daniel Moskovich 2012-06-14T02:28:59Z 2012-07-05T13:45:32Z <p>There has been a <a href="http://ldtopology.wordpress.com/category/virtual-haken-conjecture/" rel="nofollow">great deal of excitement</a> among topologists about the proof of the <a href="http://en.wikipedia.org/wiki/Virtually_Haken_conjecture" rel="nofollow">Virtual Haken Theorem</a>, and in fact of the <a href="http://en.wikipedia.org/wiki/Virtually_fibered_conjecture" rel="nofollow">Virtual Fibering Theorem</a> (for closed hyperbolic 3-manifolds, but I'm guessing they will soon be proven in full generality). The proof is lucidly discussed in <a href="http://lamington.wordpress.com/" rel="nofollow">Danny Calegari's blog</a>. The theorems state that every compact orientable irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken or a surface bundle over a circle, correspondingly. This implies various good things for a 3-manifold with fundamental group &pi;, including:</p> <ol> <li>&pi; is large, meaning that &pi; has a finite index subgroup which maps onto a free group with at least 2 generators. In particular the Betti numbers of finite covers can become arbitrarily large.</li> <li>&pi; is linear over $\mathbb{Z}$, <i>i.e.</i> &pi; admits a faithful representation $\pi \to \mathrm{GL}(n,\mathbb{Z})$ for some $n$. (Thurston conjectured that $n\leq 4$ is sufficient). </li> <li>&pi; is virtually biorderable.</li> </ol> <p>Stefan Friedl, from whose <a href="http://ldtopology.wordpress.com/2012/03/12/or-agols-theorem/#comments" rel="nofollow">comment</a> the above list is an excerpt, summarizes the situation as follows:</p> <blockquote> It seems like every nice property of fundamental groups which one can possibly ask for either holds for &pi; or a finite index subgroup of &pi;. </blockquote> <p>All well and good. But how could you sell' that to somebody who isn't a classically-oriented 3-dimensional topologist? An <a href="http://en.wikipedia.org/wiki/Elevator_pitch" rel="nofollow">elevator pitch</a> is defined by Wikipedia as follows:</p> <blockquote> An <em>elevator pitch</em> is a short summary used to quickly and simply define a product, service, or organization and its value proposition. The name "elevator pitch" reflects the idea that it should be possible to deliver the summary in the time span of an elevator ride, or approximately thirty seconds to two minutes. In <em>The Perfect Elevator Speech</em>, Aileen Pincus states that an elevator speech should "sum up unique aspects of your service or product in a way that excites others." </blockquote> <p>The Virtual Fibering Conjecture (or the Virtual Haken Conjecture) was <b>the grand conjecture</b> in 3-manifold topology following Geometrization, and thus must have/ should have/ ought to have (I believe) a compelling elevator pitch. For contrast, Geometrization is easy to sell' because it directly applies to the Homeomorphism Problem in 3-manifold topology: Given two 3-manifolds, determine whether or not they are homeomorphic. Geometrization allows you to canonically decompose both manifolds into submanifolds with geometric structure, and then to compare geometric invariants. In terms of "The Goals of Mathematical Research" as given in the introduction to <a href="http://www.google.com.sg/url?sa=t&amp;rct=j&amp;q=&amp;esrc=s&amp;frm=1&amp;source=web&amp;cd=1&amp;sqi=2&amp;ved=0CGQQFjAA&amp;url=http%3A%2F%2Fpress.princeton.edu%2Ftitles%2F8350.html&amp;ei=YUfZT9meJIn3rQfiiYnSBg&amp;usg=AFQjCNH-DGhPptDxmIr3DSlYNn_gA4QI1Q" rel="nofollow">The Princeton Companion to Mathematics</a>, this corresponds to the goal of Classifying.</p> <blockquote> <b>Question</b>: What is a good elevator pitch for Virtual Fibering (or for Virtual Haken), explaining the utility of these results in terms of "the fundamental goals of mathematical research" (Solving Equations, Classifying, Generalizing, Discovering Patterns, Explaining Patterns and Coincidences, Counting and Measuring, and Finding Explicit Algorithms). The target would be mathematicians who are not 3-dimensional topologists. </blockquote> <p>Everyone in the approximate vicinity of the field instinctively feels that these are historic results, but I'd like to be able to justify that feeling (in the abovementioned sense) to myself and to others.</p> http://mathoverflow.net/questions/99547/elevator-pitch-for-the-virtual-fibering-theorem/99552#99552 Answer by Agol for Elevator pitch for the Virtual Fibering Theorem Agol 2012-06-14T05:19:35Z 2012-07-05T13:45:32Z <p>I suppose I'm obligated to make a stab at answering this :) </p> <p>First, the virtual fibering question was <a href="http://www.ams.org/journals/bull/1982-06-03/S0273-0979-1982-15003-0/home.html" rel="nofollow">asked by Thurston</a>: "Does every hyperbolic 3-manifold have a finite-sheeted cover which fibers over the circle? This dubious-sounding question seems to have a definite chance for a positive answer." </p> <p>When I originally read this, I found the question intriguing, partly because it is surprising as made evident in the phrasing. Also, certainly questions and conjectures of Fields medalists receive sometimes an inordinate amount of attention (Thurston has been correct for most of his conjectures and questions). However, from the perspective of Kleinian groups, this question is quite interesting, since doubly degenerate Kleinian groups have a nice structure (e.g. they give rise to <a href="http://www.msp.warwick.ac.uk/gt/2007/11/p026.xhtml" rel="nofollow">group-invariant Peano curves</a> in $S^2$). </p> <p>There are some group-theoretic consequences of virtual fibering:</p> <ul> <li><p>If a hyperbolic 3-manifold is virtually fibered, its fundamental group does not have the <a href="http://www.ams.org/mathscinet-getitem?mr=1123809" rel="nofollow">finitely generated intersection property</a>, which seems to be of interest to some group theorists. </p></li> <li><p>Virtual fibered 3-manifold fundamental groups have <a href="http://www.ams.org/mathscinet-getitem?mr=2077037----" rel="nofollow">property FD</a> introduced by Lubotzky and Shalom (finite reps. are dense in the unitary dual with respect to the Fell topology).</p></li> <li><p>Virtual fibering or virtual Haken <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.dmj/1215032810" rel="nofollow">implies the group is "good"</a>, which roughly means its cohomology is reflected in that of its profinite completion.</p> <ul> <li>The <a href="http://www.ams.org/mathscinet-getitem?mr=2431015" rel="nofollow">Lubotzky-Sarnak conjecture</a> holds, namely hyperbolic 3-manifold groups do not have property $(\tau)$. In fact, the <a href="http://www.ams.org/mathscinet-getitem?mr=2218779" rel="nofollow">Heegaard gradient</a> is zero. </li> </ul></li> </ul> <p>I think there may be some other applications, and certainly will be more in the future. </p> <p>Finally, the proof of virtual fibering in full generality relies on the group-theoretic property <a href="http://jtopol.oxfordjournals.org/content/1/2/269" rel="nofollow">I call the "RFRS" condition</a> (for residually finite rational solvable). This condition has other consequences, such as the <a href="http://front.math.ucdavis.edu/1204.6456" rel="nofollow">twisted Alexander polynomials detect the Thurston norm</a>, which has been applied by <a href="http://front.math.ucdavis.edu/1204.3578" rel="nofollow">Friedl and Vidussi</a> to study minimal genus surfaces in 4-manifolds which fiber over 3-manifolds. </p> <p>I should also mention that recently <a href="http://front.math.ucdavis.edu/1205.6742" rel="nofollow">Przytycki and Wise</a> have proved that a 3-manifold with torus boundary components is virtually RFRS if and only if it admits a non-positively curved metric, which greatly generalizes Thurston's question. </p> <p>OK, I think the elevator has gone all the way up to the top of the Sears tower and come back down. </p> http://mathoverflow.net/questions/99547/elevator-pitch-for-the-virtual-fibering-theorem/99676#99676 Answer by Stefan Friedl for Elevator pitch for the Virtual Fibering Theorem Stefan Friedl 2012-06-15T06:46:38Z 2012-06-15T07:45:57Z <p>OK, I will also give it a shot.</p> <p>First of all, I don't like to sell Geometrization because it helps with the homeomorphism problem. The Geometrization Theorem is an object of stunning beauty ("most 3-manifolds are hyperbolic" should be an exciting statement for anybody in an elevator who has seen the art of M.C.Escher), and beauty in mathematics is usually a sign that we are on the right track. And indeed, the beauty of Geometrization begets all kinds of results.</p> <p>Regarding the new results of Agol, Wise et al. one should perhaps not jump right to "virtual Haken" or "virtually fibered" but one should look at the "real theorem", the Virtually Compact Special Theorem which goes as follows:</p> <p>If $N$ is a finite volume hyperbolic 3-manifold, then $\pi_1(N)$ is virtually compact special, i.e. $\pi_1(N)$ is virtually a quasi-convex subgroup of a Right Angled Artin Group (RAAG).</p> <p>One can explain a RAAG to anybody who has seen group theory in an elevator between about 3 floors. The fact that "simple" objects like RAAGs contain all hyperbolic 3-manifold groups (up to going to a finite index subgroup) is stunning and beautiful. All the goodies, e.g. largeness, linear over $\mathbb{Z}$, virtual fibering, LERF, virtually biorderable etc come from that statement (well, together with Agol's fibering theorem, tameness etc.). This can be seen clearly by looking at Diagram 4 in a recent survey paper on 3-manifold groups by authors whose names escape me at the moment. It is really stunning how the Virtually Compact Special Theorem answers all open questions at once. It is one of the great achievements of Dani Wise to have found the "right statement". </p> <p>(Note that largeness, linear over $\mathbb{Z}$, biorderable do NOT follow from virtual fibering or virtual Haken alone.) </p> <p>Back to the elevator:</p> <p>The results make me think that hyperbolic 3-manifolds are like Jack in the Box. If you take a hyperbolic integral homology sphere you look at a tiny manifold, but when you press a button (i.e. go to an appropriate finite cover), the 3-manifold suddenly becomes a grand object of beauty (e.g. has as many fibered faces in the Thurston norm ball as you could wish).</p> <p>(This analogy also works with tiny seed, a bit of water, blooming flower etc. for the botanically minded elevator companion)</p> <p>So to conclude, I think the Geometrization Theorem and the Virtually Compact Special Theorem of Agol-Wise are stunningly beautiful results. The fact that the statements are so beautiful made it highly plausible that they were right, even before they were proved (I can't imagine that any serious person doubted the Poincare conjecture after Thurston stated the Geometrization conjecture). And ideally it's this beauty which I would like to communicate.</p>