Thursday, 16 August 2007

model categories - Equivariant map preserves stabilizer

Let GG be a group and XX a set equipped with a transitive right GG-action. Further, let c:XtoXc:XtoX be a GG-equivariant map. Is it true that textStab(x)=textStab(c(x))textStab(x)=textStab(c(x)) for all xinXxinX?



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 alphatextStab(x)alpha1subsettextStab(x)alphatextStab(x)alpha1subsettextStab(x) that equality holds; I don't understand how this can be done. The above statement comes from a try to fix this gap.

No comments:

Post a Comment