9
$\begingroup$

This is a problem from Lee, Smooth Manifolds (Problem 9.4). It's not an homework problem, I'm just systematically solving every problem of that book, and I got stuck on this one. Usually I try not to ask for help unless I really don't have a clue, but I suspect that this problem is really simple, and it's getting on my nerves.

"Give an example of smooth, proper action of a Lie group on a smooth manifold such that the orbit space is not a topological manifold"

Since the action is assumed to be proper, the orbit space is indeed Hausdorff (and also second countable, of course). Then, the only thing that can go wrong is the orbit space not being locally Euclidean.

Therefore, I was trying to devise smooth action of some group on $\mathbb{R}^2$, whose orbit space is the "cross-shaped" set.

However, I can't figure out any concrete example. In particular, in the examples I've figured out so far, the action turns out to be not proper. A compact group would do the trick.

Perhaps, since there may be some confusion, it's better to provide my (Lee's) definition of proper action. Let $G$ a Lie Group acting on a smooth manifold $M$. The action is proper if the map $G\times M \to M\times M$ given by $(g,p)\to (p,g\cdot p)$ is a proper map. Equivalently, the action is proper iff the following condition is satisfied: "If $\{p_i\}$ is a convergent sequence in $M$ and $\{g_i\}$ is a sequence in $G$ such that $\{g_i \cdot p_i\}$ converges, then a subsequence of $\{g_i\}$ converges".

  • 1
    **Hint:** You want an action that isn't free.2011-10-02
  • 0
    Indeed, that's the point, I'm looking for actions with non trivial stabilizers at some points. Otherwise, by Theorem 9.16 of Lee's "Introduction to Smooth Manifolds", the orbit space would be a smooth manifold.2011-10-02
  • 0
    For instance $S^1 = SO(2)$ acts on $\mathbb{R}^2$ in an obvious way. By the way: there is a small typo in the addition, that should be $(g,p) \mapsto (p,g\cdotp)$.2011-10-02
  • 0
    You mean by rotations? In that case $\mathbb{R}^2/S^1 = [0,+\infty)$ which is a topological manifold. Perhaps you're using some non-standard action?2011-10-02
  • 0
    @Luca: Is that a topological manifold, though? :) Which open set containing $0$ is homeomorphic to an open subset of $\mathbb{R}$?2011-10-02
  • 1
    I do not include "with boundary" in my definition of topological manifold.2011-10-02
  • 0
    @ Zev: Well, it's a topological manifold with Boundary, but still a topological manifold in my book.2011-10-02
  • 1
    I am pretty sure that Lee wanted to exclude manifolds with boundary from topological-manifoldhood in that exercise.2011-10-02
  • 0
    @ Mariano: then, the worst thing that can happen with the orbit space of a proper Lie group action is the presence of boundaries or corners? And nothing like a "cross-shaped" figure which is, in my opinion, more singular than a boundary point?2011-10-02
  • 0
    As t.b. observes, one wants a non-free action, but to get properness we need to that stabilizers be compact.2011-10-02
  • 0
    Look at Dieudonné's Treatise on Analysis-vol 3-- page 63--16.10.3.42013-11-26

3 Answers 3

5

Here's another example.

Consider $\mathbb{R}P^3$ in the model of a 3-ball with antipodal boundary points identified.

Consider the $G = \mathbb{Z}/2\mathbb{Z}$ action on $\mathbb{R}P^3$ given by the antipodal map sending $(x,y,z)$ to $-(x,y,z)$.

I claim that $\mathbb{R}P^3/G$ is homeomorphic to a cone on $\mathbb{R}P^2$. To see this, use coordinates on $C\mathbb{R}P^2$ given by $([x,y,z],t)$ where we think of $(x,y,z)\in\mathbb{R}^3$ and we're collapsing $\mathbb{R}P^2\times\{0\}$ to a point. Now,map $(x,y,z)$ in $\mathbb{R}P^3$ to $\big([x,y,z], (x^2+y^2+z^2)\big)$ (and map the origin to the cone point). This is clearly continuous away from the origin. It's not too hard to see that it's continuous at the origin as well.

It's also not hard to see that this descends to a bijective map from $\mathbb{R}P^3/G$ to $C\mathbb{R}P^2$, which is therefore a continuous bijection between compact Hausdorff spaces, so is itself a homeomorphism.

Finally, notice that $C\mathbb{R}P^2$ is not a topological manifold (with or without boundary) because of the cone point $p$. A neighborhood $U$ of the cone point $p$ has, by excision, $H_k(U, U-p)\cong H_k(C\mathbb{R}P^2, C\mathbb{R}P^2-p) = H_{k-1}(\mathbb{R}P^2)$, which means $p$ can be neither a manifold point nor a manifold-with-boundary boundary point.

  • 0
    I forgot to argue why this action is proper. A compact subset of $\mathbb{R}P^3\times\mathbb{R}P^3$ is closed. Since the action is continuous, the inverse image is a closed subset of $\mathbb{Z}/2\mathbb{Z}\times\mathbb{R}P^3$. But this space is compact, so every closed subset of it is compact.2011-10-04
  • 0
    That's a nice example. It seems to me that the kind of singularities you can create by a proper action are quite generically of this type, at least in all the examples I could come up with. I could prove this to some extent (under some additional assumptions), but the arguments got too involved to post here. By the way, [every action of a compact group is proper](http://math.stackexchange.com/questions/40799/compact-group-actions-and-automatic-properness).2011-10-04
  • 0
    @t.b. I only ever work with compact stuff, so I always forget how weak you can make things and still get a true statement. Thanks for the heads up.2011-10-04
3

N.B. This example does not work: it is not really proper, as observed by Theo and Zev in the comments!

$\newcommand\RR{\mathbb R}$Consider the action of $\RR$ on $\RR^2\setminus\{0\}$ such that $$t\cdot(x,y)=(e^tx,e^{-t}y).$$

A saddle point

More generally, I think that if $X$ is a smooth vector field on $\RR^2$ and we set $Z=\{p\in\RR^2:X(p)=0\}$, then the action of $\RR$ on $\RR^2\setminus Z$ by the flow of $X$ is proper if there are no closed orbits. Each saddle point in the field will give problems in the quotient.

  • 0
    I must be missing something. The quotient space doesn't look Hausdorff to me, so the action doesn't seem to be proper. Your conditions seem to guarantee that the action is free.2011-10-02
  • 0
    @Mariano, am I correct that the orbit space of this action not a topological manifold because it's not Hausdorff, e.g. $\overline{(0,1)}$ and $\overline{(1,0)}$ can't be separated?2011-10-02
  • 0
    @t.b.: I was wondering that too, for example, taking the (compact) annulus $$K=\{(x,y)\in\mathbb{R}^2\mid 1\leq x^2+y^2\leq 2\}$$ then I think $$\{t\in\mathbb{R}\mid tK\cap K\neq\varnothing\}=\mathbb{R} \text{ (which is not compact)},$$ right? But there are so many different notions of proper, I can't keep straight which is equivalent to which.2011-10-02
  • 0
    @Zev: Yes, I agree with that. I tried to clarify the dependence between the definitions a bit in [this thread on MO](http://mathoverflow.net/questions/55726/properly-discontinuous-action), but it is a bit dense. I learned the material from J.L. Koszul's *[Lectures on groups of transformations](http://www.math.tifr.res.in/~publ/ln/tifr32.pdf)* which was recently re-typed (I loved the original typoscript, but haven't really looked at the new version). Palais's original work is very tough for me to read.2011-10-02
  • 0
    Ah. Of course, you are all right. I did not check correctly for properness!2011-10-02
  • 0
    ("typoscript" makes for a great typo! :) )2011-10-02
  • 0
    Indeed the action it's not proper. Take the convergent sequence $p_i = (e^{-i^2},c)$, where $c\neq0$, and the sequence in the group $g_i = i$. Then $p_i$ converges, $g_i \cdot p_i$ converges, but there is no convergent subsequence of $g_i$.2011-10-03
2

For a really simple example you can just take $M = S^1\times 0 \cup S^1 \times 1$ the disjoint union of two copies of $S^1$ and let the action of $G=S^1$ be given by

$$g\cdot (p,\epsilon) = \begin{cases} (gp,0) & (\epsilon = 0) \\ (p,1) & (\epsilon = 1) \end{cases} $$

Then the quotient is the disjoint union of a point and $S^1$.

  • 0
    This probably doesn't count, as the connected components are manifolds :)2011-10-02
  • 0
    =) Yeah, it's a bit of a cheat.2011-10-02
  • 0
    This indeed does not count. The orbit space is a non-connected manifold, but still a manifold.2011-10-03
  • 0
    The orbit space is certainly not a manifold by Lee's definition (he doesn't even mention manifolds which do not have the same dimension everywhere, but instead only talks about $n$-manifolds for given $n$.). In any case, it definitely is a counterexample to the quotient manifold theorem (dropping the assumption that $G$ acts freely).2011-10-03
  • 0
    Btw: I don't consider this counterexample to be a good one by any means. It misses the point of your question, of course. Nevertheless, I feel that it is an acceptable counterexample for the exercise and shows at least one thing that might go wrong in an attempt of a generalization of the theorem.2011-10-03
  • 0
    I see your point and indeed your example, just like $\mathbb{R}^2/SO(2) \simeq [0,+\infty)$ is a counterexample for the exercise. Nevertheless both are sort of "trivial" cases. I asked this question at first because I wasn't able to figure out any counterexample different from the "trivial" ones discussed up to now. Indeed I'm upvoting it as useful, don't take me wrong, but I can't accept this as an answer.2011-10-03
  • 0
    @Luca: I'm looking forward to see a real example, too. I have thought about it on and off all day - it's driving me crazy! o.$\varnothing$2011-10-03