4
$\begingroup$

Hello, can somebody help with the following question that I have thought over for quite some time, to no avail?

Suppose f: X--->Y is a universal cover and g: Y--->Z a fiber bundle, where X, Y and Z are manifolds. Is the composition gof: X--->Z necessarily a fiber bundle?

THanks!

Improve this question
$\endgroup$
2
  • $\begingroup$ This question is more interesting than I thought. I probably just repeated several of your mistakes in attempting to answer, before realizing the issue, though I can't come up with a counterexample quickly. Could you say a little about what you have done to help others avoid the traps? $\endgroup$
    – Elizabeth S. Q. Goodman
    Commented Aug 24, 2011 at 5:05
  • $\begingroup$ Thanks for your comment Elizabeth. Please see Torsten's answer to avoid all traps at once. $\endgroup$
    – Michael
    Commented Aug 24, 2011 at 7:59

1 Answer 1

Reset to default
5
$\begingroup$

It is better to just assume that $f$ is a covering space. By shrinking $Z$ we may assume that that $Z$ is a ball and that $Y=Z\times F$. As $X\to Y$ is a covering space and $Z$ is simply-connected there is a covering space $X'\to F$ such that $X\to Y$ is isomorphic to $Z\times X'\to Z\times F$ which gives what you want.

Addendum: The reason that $X'$ exists is that if $h\colon T\to T'$ is a homotopy equivalence (and possibly $T$ and $T'$ fulfil some local niceness conditions which certainly are fulfilled in the case at hand), then pullback along $h$ induces an equivalence between the category of covering spaces of $T$ and that of $T'$. This is true irregardless on whether $T$ and $T'$ are connected or not.

Improve this answer
$\endgroup$
9
  • $\begingroup$ What is $F\hspace{.04 in}$? $\endgroup$
    – user5810
    Commented Aug 24, 2011 at 6:33
  • $\begingroup$ obviously the fiber. $\endgroup$
    – Chris Gerig
    Commented Aug 24, 2011 at 6:51
  • $\begingroup$ Thanks to Torsten's answer. The existence of $X'$ is especially enlightening. $\endgroup$
    – Michael
    Commented Aug 24, 2011 at 7:55
  • $\begingroup$ As I tried to unravel Torsten's concise proof today, I found myself unable to prove the existence of $X'$. The difficulty lies in that one really needs to argue locally and there is no guarantee that the total space of the cover is connected, which needs to be true for the existence of $X'$. Could Torsten elaborate on why $X'$ must exist? Thanks. $\endgroup$
    – Michael
    Commented Aug 25, 2011 at 6:32
  • $\begingroup$ Still don't understand. Torsten seems to be saying if $X \rightarrow Z \times F$ is a covering, then $\exists$ a covering $F' \rightarrow F$ such that $X \cong Z \times F'$. I can prove the existence of $F'$, but am unable to demonstrate a homeomorphism $X \cong Z \times F'$, unless $X$ is connected (so that covering space theory applies). $\endgroup$
    – Michael
    Commented Aug 26, 2011 at 1:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .