F→E→B bundle with B,E,F hyperbolic: possible? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T15:01:23Z http://mathoverflow.net/feeds/question/66000 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66000/feb-bundle-with-b-e-f-hyperbolic-possible F→E→B bundle with B,E,F hyperbolic: possible? Daniel Pape 2011-05-25T21:46:56Z 2011-05-26T03:08:08Z <p>It would be interesting to me obtain an answer to the following easy to state question:</p> <blockquote> Does there exist a (smooth) fibre bundle $\pi\colon E\rightarrow B$ with typical fibre $F$ such that $E$, $B$ and $F$ are hyperbolic (connected, closed) manifolds? </blockquote> <p>I am not familiar with hyperbolic manifolds. From a colleague I have learned that "Thurston gave a necessary and sufficient criterion for a surface bundle over the circle to be hyperbolic," which is a similar question (see <a href="http://en.wikipedia.org/wiki/Hyperbolic_3-manifold" rel="nofollow">http://en.wikipedia.org/wiki/Hyperbolic_3-manifold</a> for the quoted part) and could be a sign that this is not an easy question. Nevertheless I would like to ask it.</p> http://mathoverflow.net/questions/66000/feb-bundle-with-b-e-f-hyperbolic-possible/66002#66002 Answer by Ryan Budney for F→E→B bundle with B,E,F hyperbolic: possible? Ryan Budney 2011-05-25T22:15:49Z 2011-05-25T22:58:13Z <p>I can think of at least one case where the answer is clearly no. </p> <p>For example, if $F$ is a 3-dimensional compact hyperbolic manifold and the base space is <em>any</em> compact manifold, $E$ can't be hyperbolic. </p> <p>The idea that that diffeomorphism group of $F$ is homotopy-discrete (this is a combination of work of Hatcher, Waldhausen and Mostow), having the homotopy-type of $Isom(M)$. So in this case the bundle $F \to E \to B$ has to have structure group a group of isometries, making $E$ a product geometry. Product geometries aren't hyperbolic, by the Margulis lemma (take elements of infinite order in $\pi_1 F$ and $\pi_1 B$ and you can construct a $\mathbb Z^2$-subgroup of $\pi_1 E$ with little effort). </p> <p>I suspect an argument like this should work in more generality. </p> <p>edit: yes, this argument holds in greater generality. Since it's essentially a fundamental-group issue you can avoid the Hatcher + Waldhausen part of the argument above and appeal directly the Mostow. Even if the monodromy for your bundle isn't of finite order, it is up to homotopy by Mostow, provided the dimension of the fibre is $\geq 3$. </p> <p>So I think that means the only case that has not been covered is when the fibre is 2-dimensional. </p> http://mathoverflow.net/questions/66000/feb-bundle-with-b-e-f-hyperbolic-possible/66004#66004 Answer by Igor Belegradek for F→E→B bundle with B,E,F hyperbolic: possible? Igor Belegradek 2011-05-25T23:15:16Z 2011-05-25T23:15:16Z <p>Ryan addressed the (easy) case when the fiber has dimension $>2$. The case when the fiber is $2$-dimensional is a well-known (and I think still open) problem with quite a bit of recent activity by the mapping class group community. For example, I think it is unknown whether a surface-by-surface group can be word-hyperbolic (assuming the fiber and the base are hyperbolic). See e.g. the survey by Lee Mosher "Problems in the geometry of surface group extensions" in <a href="http://www.math.uchicago.edu/~farb/papers/mcgbook.pdf" rel="nofollow">here</a>. Also look at <a href="http://www.math.ucdavis.edu/%7Ekapovich/EPR/koda.ps" rel="nofollow"> this paper</a> where Misha Kapovich showed that the total space of a surface bundle cannot be complex hyperbolic.</p> http://mathoverflow.net/questions/66000/feb-bundle-with-b-e-f-hyperbolic-possible/66008#66008 Answer by Richard Kent for F→E→B bundle with B,E,F hyperbolic: possible? Richard Kent 2011-05-26T01:52:30Z 2011-05-26T03:08:08Z <p>As Ryan points out, the interesting case is when the fiber is 2-dimensional. As Igor points out, this is a difficult open problem when the fiber has dimension 2. </p> <p>When the fiber is a surface $F$, the fundamental group of the base $B$ admits a representation into the mapping class group $\mathrm{Mod}(F)$ of $F$. A combination of theorems of Farb-Mosher and Hamenstaedt shows that the fundamental group of the bundle is $\delta$-hyperbolic if and only if the map $\pi_1(B) \to \mathrm{Mod}(F)$ has finite kernel and the image is convex cocompact." (A subgroup of $\mathrm{Mod}(F)$ is convex cocompact if it acts on the Teichmueller space of $F$ with quasiconvex orbits.)</p> <p>The only known examples of convex cocompact subgroups of mapping class groups are all virtually free, and so we are pretty far from knowing if there is a bona fide hyperbolic example like you are asking about. As Igor says, we don't even know if there is a $\delta$-hyperbolic surface-by-surface group.</p> <p>However, it is conjectured that there is no hyperbolic (meaning truly hyperbolic) surface bundle $E$ over a surface. The reasoning is as follows: by an argument of Thurston, $E$ is symplectic. Using this fact, you can show that $E$ has a finite cover with nonvanishing Seiberg-Witten invariants. On the other hand, it is conjectured that the Seiberg-Witten invariants of a hyperbolic 4-manifold vanish. (See the article "Surface subgroups of mapping class groups" by Alan Reid in "Problems on Mapping Class Groups and Related Topics" edited by Benson Farb.)</p> <p>For an introduction to convex cocompactness, and more references, see the survey <a href="http://arxiv.org/abs/math/0702034" rel="nofollow">"Subgroups of mapping class groups from the geometrical viewpoint"</a> by me and Leininger. </p> <p>Added: From the coarse perspective, the case where $F$ and $B$ are surfaces is key. If there were a $\delta$-hyperbolic $E$ with $F$ a surface and $B$ a hyperbolic manifold, then there is a $\delta$-hyperbolic $E'$ with fiber $F$ and base $B'$ a surface. To see this, note that recent <a href="http://arxiv.org/abs/0910.5501" rel="nofollow">work</a> of Kahn-Markovic shows that $\pi_1(B)$ contains a quasiconvex surface group (I believe their theorem holds in all dimensions), and pulling back the bundle to this surface gives an example. </p>