I'm reading Carlsson's "A survey of equivariant homotopy theory" and I have a question. Let G be a topological group and X be a G-space (for a nice notion of "space"). He defines XhG=EG*GX the homotopy orbit space, and XhG=F(EG,X)G the homotopy fixed point space. He claims there are spectral sequences E2p,q=Hp(G;Hq(X))=>Hp+q(XhG) and Ep,q2=H−p(G;πq(X))=>πp+q(XhG). Now, if I'm not mistaken the first one follows from the Serre spectral sequence applied to the Borel fibration X->XhG->BG (take the fiber bundle with fiber X associated to the action of G on X and to the G-principal bundle EG->BG). But where does the second one come from?

reinzogoq

reinzogoq

Answered question

2022-09-14

I'm reading Carlsson's "A survey of equivariant homotopy theory" and I have a question.
Let G be a topological group and X be a G-space (for a nice notion of "space"). He defines
X h G = E G × G X
the homotopy orbit space, and
X h G = F ( E G , X ) G
the homotopy fixed point space.
He claims there are spectral sequences
E p , q 2 = H p ( G ; H q ( X ) ) H p + q ( X h G )
and
E 2 p , q = H p ( G ; π q ( X ) ) π p + q ( X h G ) .
Now, if I'm not mistaken the first one follows from the Serre spectral sequence applied to the Borel fibration X X h G B G (take the fiber bundle with fiber X associated to the action of G on X and to the G-principal bundle E G B G).
But where does the second one come from?

Answer & Explanation

yamalwg

yamalwg

Beginner2022-09-15Added 17 answers

It should be a special case of the Bousfield-Kan spectral sequence for homotopy limits. You can think of it as a "Grothendieck spectral sequence" associated to the "derived functors" of taking fixed points and taking π0 (which are, respectively, taking homotopy fixed points / group cohomology and taking homotopy groups).

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Research Methodology

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?