Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $(E,p,B;F)$ is a fiber bundle such that $E$ is homeomorphic to $B\times F$, is it true that the fiber bundle is trivial? A non connected counter example has been provided, so I'll ask for E,B and F to be connected (hopefully low dimensional) manifolds.

share|improve this question
    
Never mind, this question might not be just the definition of "trivial". Are you assuming p has to be a continuous map, just a fibration? –  Elizabeth S. Q. Goodman Mar 16 '11 at 20:38
1  
Also, it would be nice if you could carefully define ``fiber space'' as I believe that language is a bit old. In particular, do you mean one of the definitions of a fiber bundle, or a map that has the homotopy lifting property for all maps into B--a Hurewicz fibration--or has the homotopy lifting property just for CW complexes into B--a Serre fibration? –  Elizabeth S. Q. Goodman Mar 16 '11 at 20:51
    
Every point in $b\in B$ should a neighborhood $V$ s.t. $p^{-1}(V)$ is homeomorphic to $V\times F$ and, viewed in that 'chart', $p$ is the projection onto the first factor. –  Olivier Bégassat Mar 16 '11 at 21:10
    
I meant 'fiber bundle' instead of 'fiber space'. –  Olivier Bégassat Mar 16 '11 at 21:12
    
I think a nontrivial $S^3$ bundle over $S^4$ with vanished Euler class will provide a counter example to this. –  Xiaolei Wu Mar 18 '11 at 2:20

2 Answers 2

up vote 8 down vote accepted

Consider the pullback $\xi$ of $TS^2$ via the projection of $S^2\times\mathbb R$ onto the first factor. The bundle $\xi$ is a nontrivial $\mathbb R^2$-bundle over $S^2\times\mathbb R$ because its pullback under the inclusion $S^2\to S^2\times\mathbb R$ is $TS^2$, which is nontrivial. On the other hand, its total space is $\mathbb R\times TS^2$ which is diffeomorphic to $S^2\times\mathbb R^3$, which is the total space of the trivial $\mathbb R^2$-bundle over $S^2\times\mathbb R$.

share|improve this answer
    
great, that's just what I wanted! –  Olivier Bégassat Mar 18 '11 at 3:50

No. Let $B=S^1$, $F=\mathbb Z$, $E=S^1\times\mathbb Z$, and let $p$ be a two-fold covering on each component: $p(z,n)=z^2$ where $S^1$ is regarded as the unit circle in $\mathbb C$ (for the purposes of computing $z^2$).

share|improve this answer
1  
that's true, what if $E$ is connected? –  Olivier Bégassat Mar 16 '11 at 21:23

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.