9
$\begingroup$

I would like help with the following problem (chapter 9, #4) from Lee's Smooth Manifolds [its not homework, I'm reading it and I got stuck on this one]

If a Lie group $G$ acts smoothly and freely on a smooth manifold $M$ and the orbit space $M/G$ has a smooth manifold structure such that the quotient map $\pi: M\to M/G$ is a smooth submersion, then $G$ acts properly.

Its kind of a converse to the standard theorem about quotienting a manifold by a group action.

Any hints/help?

1 Answers 1

5

I'm pretty sure this is true. Here's my suggested approach. There's a step I don't know how to do, so hopefully someone can fill in the gap, or you can figure it out as an exercise. (And please post a comment if you do, as I'm curious!)

First, show that $M$ is a principal fiber bundle with structure group $G$. That is, locally on $M/G$, $M$ looks like $(M/G)\times G$. To do this, use that $M\to M/G$ is a submersion to find neighborhoods $U$ on $M/G$ and $V$ on $M$ where $M\to M/G$ looks like the projection onto several coordinates. The coordinates you "forget" in this projection give a chart on some neighborhood of $G$. (This is why the fibers of submersions are smooth manifolds; in this case, the fiber is $G$ since the action is free.) Now use translation by the group law to "spread $V$ out" so that the entire preimage of $U$ in $M$ is diffeomorphic to $U\times G$, with the restriction of $M\to M/G$ to this open being the projection onto the first factor. This ensures that $M$ is a principal $G$-bundle.

This reduces the problem to showing that $G$ acts properly and freely on any principal fiber bundle with structure group $G$ (freeness being clear). To show that $G\times M\to M\times M$ is proper, it suffices to show that it is closed and that the preimage of a point in compact. The latter condition is obvious, by working locally in a trivializing neighborhood of that point. I don't immediately see how to get the closedness of the map, but I've convinced myself it's true in some examples.

  • 1
    Thanks! This does it I think. To show that $G$ acts properly on a principal bundle with structure group $G$, I think you can just use an equivalent definition of properness [Lee-prop 9.13] which is that $G$ acts properly on $M$ iff for each $p_i \in M$ and $g_i\in G$ with $p_i\to p\in M$ and $g_i p_i \to q \in M$, a subsequence of $g_i$ converges in $G$. Using this it is basically trivial to show that $G$ acts properly, just take a local trivialization including both limit points, and then it remains to check that if $r_k,g_k \in G$, $r_k \to r$, $r_kg_k\to q$ then $g_k$ converges. Very nice!2010-08-25