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.

Under what general conditions on $Y,~X,~H,~G$ and $\rho$ (like $Y$ being a closed subspace (or even compact), $H$ being a closed subgroup (or possibly compact) and/or $\rho$ being a proper group action) 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.

I have found an obvious set of conditions that ensure $\theta$ is a homeomorphism, by ensuring $G\setminus X$ to be Hausdorff, $H$ and $Y$ compact. Then $H\setminus Y$ is compact Hausdorff and $\theta$ must be closed.

My goal with this is to try to find easy proofs for separation of quotients (my immediate goal) by working with smaller spaces and smaller (whenever possible compact) subgroups. For instance, if you take $\mathrm{Fr}(d,X)$ to be the space of all $d$ frames of a finite dimensional vector space $X$, I could show that the quotient space under the natural action of $\mathrm{GL}(d)$ is the same as the one obtained from the orthonormal frames with the action of the orthogonal group $\mathrm{O}(d)$. This is of course a very minor achievement, but I have found it helpful in order to show that the natural action of $\mathrm{GL}(X)$ on the grassmannian of $d$ planes of $X$ is continuous, and it's helped me 'believe' in some proofs involving grassmannians and Stiefel manifolds.

Thank you for your time!