This is a repost from stackexchange. I didn't get an answer, so I figured I'd ask it here.

Suppose $H\subset G$ is a subgroup of a topological group $G$, and $Y\subset X$ is a subspace of a topological space $X$. Suppose we are given a continuous group action $\rho : G\times X\rightarrow X$ on $X$, and suppose that $Y$ is $H$ stable, that is $h.y \in Y$ for all $h\in H$ and $y\in Y$. You can form the quotient spaces $H\setminus Y$ and $G \setminus X$, and there is a natural, continuous, in general neither injective nor surjective map $\theta : H\setminus Y\rightarrow G\setminus X$. I am looking for conditions that assure this is a homeomorphism.

You can show easily that $\theta$ is onto $\mathrm{iff}~Y$ intersects all orbits, and one to one $\mathrm{iff} ~ \forall y\in Y, H.y=G.y\cap Y$. So I'll suppose these two conditions.

$\mathrm{QUESTION:}$ When is $\theta$ a homeomorphism?

All spaces $X$ I have in mind are Hausdorff, but not necessarily locally compact. Also, the groups $G$ I consider are Lie groups, but I am interested in weaker conditions too, and don't want to restrict myself to that case. I am looking for practical $sufficient$ conditions on $X,Y,H,G$ and $\rho$.

One way to make $\theta$ into a homeomorphism is to have compact (Hausdorff) $Y$ and $H$, and Hausdorff $G \setminus X$.

References would be perfect!

  • $\begingroup$ By the way, $G\setminus X$ is the orbit space, sometimes written as $X/G$. $\endgroup$ – Olivier Bégassat Jun 11 '11 at 5:28
  • $\begingroup$ I was recently thinking of related matters, see mathoverflow.net/questions/57015/…. Your set up is more complicated, but the goal is roughly the same: to construct a local section/slice, for which results of Palais may be helpful. $\endgroup$ – Igor Belegradek Jun 11 '11 at 12:53

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.