2
$\begingroup$

Let $G$ be a group and $X$ a set equipped with a transitive right $G$-action. Further, let $c: X\to X$ be a $G$-equivariant map. Is it true that $\text{Stab}(x) = \text{Stab}(c(x))$ for all $x\in X$?

This doesn't seem to be an interesting mathoverflow question on its own, but the reason I ask is the following: In Hovey's book on Model Categories Hovey proves some sort of five lemma for pointed model categories (Thm.6.5.3). In the end of the proof, he seems to conclude from $\alpha\text{Stab}(x)\alpha^{-1}\subset\text{Stab}(x)$ that equality holds; I don't understand how this can be done. The above statement comes from a try to fix this gap.

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ have you read the proof in the version which is available on google books? there he seems to eleborate the argument. $\endgroup$
    – Martin Brandenburg
    Commented Jan 16, 2010 at 13:34
  • $\begingroup$ When hovey states his claim, does he say it's true for any $\alpha$? Because then it's a very easy exercise to verify that it makes sense, since if we have a containment relation between those two, we can also see that the inverse conjugate contains Stab(x), but since it's true for $\alpha$ and $\alpha^{-1}$, we have equality. $\endgroup$
    – Harry Gindi
    Commented Jan 16, 2010 at 14:13
  • $\begingroup$ @Martin: The point is that I do not understand why $\alpha^{-1}$ should stabilize $\text{Stab}(x)$. Can you explain it to me? @Harry: Sorry, I should've said that $\alpha$ is some fixed element. Of course, if the relation would hold for all $\alpha$, then it'd be easy. $\endgroup$
    – Hanno
    Commented Jan 16, 2010 at 14:41

1 Answer 1

Reset to default
7
$\begingroup$

That's essentially the same as this question. So the answer is negative: if $X=H\backslash G$, the stabilizer of $Ha\in X$ is $a^{-1}Ha$; if $b$ is any element such that $bHb^{-1}\subset H$, the map $$Ha\mapsto Hba$$ is $G$-equivariant; if $bHb^{-1}\ne H$, we get a counterexample.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Thank you very much, that's a nice counterexample! But this also means that Hovey's proof is still unclear to me. $\endgroup$
    – Hanno
    Commented Jan 16, 2010 at 14:44

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .