Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $G$ be a topological group and let $r \colon E \times G \to E$ be a continuous right-action on a topological space $X$.

If $p\colon E \to B$ is a continuous map into a topological space $B$ such that $(p, r)$ is a principal $G$-bundle, then it follows that $B \cong E/G$ where $E/G$ is the orbit space of the action, and that $p$ is essentially the projection map $\pi\colon E \to E/G$. It follows further that the action must be free.

I'm interested in the opposite direction, i.e. the question when the projection $E \to E/G$ determines a principal $G$-bundle.

In the beginning lines of this article I found the assertion that it is sufficient for the action of $G$ on $E$ to be free (this is obviously necessary) and proper. However, no proof is provided.

If $G$ is discrete, then one can show that the action is proper precisely if every $x \in E$ has a neighbourhood $U$ such that $Ua \cap U = \emptyset$ whenever $a \neq 1$, $a \in G$. Indeed, $V := \pi(U)$ is then the sought-after open neighbourhood of $xG \in E/G$ such that $\pi^{-1}(V) \cong V \times G$. It's not difficult to define a suitable $G$-homeomorphism.

If $G$ is locally compact, $X$ is Hausdorff, and the action is proper, then there is a similar result, for then every $x \in E$ has a neighbourhood $U$ such that $\{a \in G \mid Ua \cap U \neq \emptyset\}$ is contained in a compact set $K \subset G$.

I was wondering if this could be used for a proof. If anyone could help me with other ideas, I'd be very glad to hear them.

PS: I edited this post a bit as I didn't want to submit essentially the same question again.

share|cite|improve this question
One certainly has to be extra-careful when $G$ and $X$ are non-compact. – Neal Nov 10 '13 at 14:18

The situation is, in fact, quite complicated.

  1. If $G$ is a Lie group, $X$ is a completely regular Hausdorff topological space (e.g. a metrizable space) and $G\times X\to X$ is a Palais-proper (see below) free continuous action, then the projection map $X\to X/G$ is indeed a principal $G$-bundle. This (and much more) is proven in (an unnumbered theorem on page 315, section 4.1)

R. Palais, On the existence of slices for actions of non-compact Lie groups. Ann. of Math. (2) 73 (1961) 295-323

although, according to Palais, the result was established earlier by Serre (notes from a Bourbaki seminar). (It takes some time to untangle the terminology used by Palais to understand what his theorem says.) The case when $G$ is a compact Lie group was proven earlier by Gleason.

Here an action is Palais-proper if for every pair of points $x, y\in X$ there exists a pair of their respective neighborhoods $U_x, U_y$ such that the subset $$ \{g\in G: gU_x \cap U_y \ne \emptyset\} $$ is relatively compact in $G$. If $X$ is locally compact, this definition is equivalent to the standard one.

  1. On the other hand, if $G$ is any locally compact metrizable group which is not a Lie group (e.g. the group of $p$-adic integers, which is compact and totally disconnected), then there exists a free Palais-proper continuous $G$-action $G\times X\to X$ on a metrizable space $X$, such that the projection $X\to X/G$ is not a principal fiber bundle. This (which I find quite astounding) is a corollary of Theorem 6 in

S. A. Antonian, Equivariant embeddings into G-AR's, Glasnik Matematički 22 (42) (1987), 503–533.

Namely, Antonian constructs a certain continuous linear actions $G\times B\to B$ on a Banach space and for some vector $v\in B$ with trivial $G$-stabilizer, observes nonexistence of an equivariant retraction of any neighborhood $X\subset B$ of $Gv$ to the orbit $Gv$.

Note that Antonian's examples are never locally compact.

Edit. In fact, there is an example of a compact 1-dimensional Hausdorff space $X$, a free action of a compact metrizable group $G\times X\to X$, such that $X/G$ has dimension 2. In particular, the projection $X\to X/G$ cannot be a locally trivial fiber bundle. The example is mostly due to Kolmogorov

A. Kolmogoroff, Über offene Abbildungen, Ann. of Math. (2) 38 (1937), 36-38

while the version for free action can be found, in English, here,

R. F. Williams, A useful functor and three famous examples in topology. Trans. Amer. Math. Soc. 106 (1963) 319–329.

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.