MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 4 added 451 characters in body

I can think of at least one case where the answer is clearly no.

For example, if $F$ is a 3-dimensional compact hyperbolic manifold and the base space is any compact manifold, $E$ can't be hyperbolic.

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

I suspect an argument like this should work in more generality.

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

So I think that means the only case that has not been covered is when the fibre is 2-dimensional.

    Post Undeleted by Ryan Budney
show/hide this revision's text 3 recover something from my previously failed argument.

This isn't an

I can think of at least one case where the answer is clearly no. Humm..

For example, if $F$ is a 3-dimensional compact hyperbolic manifold and the base space is any compact manifold, $E$ can't be hyperbolic.

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

I suspect an argument like this should work in more generality.

    Post Deleted by Ryan Budney
show/hide this revision's text 2 update to indicate I missed a case; deleted 827 characters in body
show/hide this revision's text 1