MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Spanier's book " Algebraic topology" a fiber bundle is defined as follows: A fiber bundle $\xi=(E,B,F,p)$ consists of a total space $E$, a base space $B$ and a fiber $F$ and a bundle projection $p:E\rightarrow B$ such that there is exists an open covering $\{U\}$ of $B$ and for each $U\in \{U\}$ a homeomorphism $\phi_U: U\times F\rightarrow p^{-1}(U)$ such that the composite $p\circ \phi_U: U\times F\rightarrow U$ is projection map.

Question: If a compact lie group G (e.g circle group) acts freely on a paracompact space X then does $(X,X/G,G,\pi)$ (where $X/G$ is orbit space and $\pi$ is orbit map) forms a fiber bundle.

If $\pi$ is covering projection then it seems the above is true but what I am not able to verify this is in general case.

share|cite|improve this question

The answer is yes if you assume paracompact spaces are Hausdorff, and no if not.

This is because in Hausdorff spaces, paracompactness implies complete regularity, and it is a theorem of Gleason that if compact Lie group $G$ acts on a completely regular space $X$, then every orbit $Gx$ admits a tube neighbourhood. This implies that a free action is a principal $G$-bundle in this case. See also Bredon's "Introduction to compact transformation groups", Theorem II.5.8.

On the other hand, its easy to cook up counter-examples for non-Hausdorff paracompact spaces. In fact, just take your favourite free $G$-space $X$, and give $X$ the indiscrete topology.

share|cite|improve this answer

Your Answer


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.