Skip to main content
Texified
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 251

Yes. A sketch:

Taking products with the free G$G$-space EG$EG$ commutes with the pullback diagram (because product is also a limit) and so you can assume they're free, and one of the maps is a fibration.

Having done this, there is a natural long exact sequence of homotopy groups

-> pi_* (U) -> pi_*(U_{hG}) -> pi_*(BG) -> ...

$\to \pi_* (U) \to \pi_*(U_{hG}) \to \pi_*(BG) \to \dots$

and applying this to the pullback diagram you can deduce (from the 5-lemma) that the natural map from the orbit of pullbacks to the pullback of the orbits is a weak equivalence.

Yes. A sketch:

Taking products with the free G-space EG commutes with the pullback diagram (because product is also a limit) and so you can assume they're free, and one of the maps is a fibration.

Having done this, there is a natural long exact sequence of homotopy groups

-> pi_* (U) -> pi_*(U_{hG}) -> pi_*(BG) -> ...

and applying this to the pullback diagram you can deduce (from the 5-lemma) that the natural map from the orbit of pullbacks to the pullback of the orbits is a weak equivalence.

Yes. A sketch:

Taking products with the free $G$-space $EG$ commutes with the pullback diagram (because product is also a limit) and so you can assume they're free, and one of the maps is a fibration.

Having done this, there is a natural long exact sequence of homotopy groups

$\to \pi_* (U) \to \pi_*(U_{hG}) \to \pi_*(BG) \to \dots$

and applying this to the pullback diagram you can deduce (from the 5-lemma) that the natural map from the orbit of pullbacks to the pullback of the orbits is a weak equivalence.

Source Link
Tyler Lawson
  • 52.7k
  • 9
  • 187
  • 251

Yes. A sketch:

Taking products with the free G-space EG commutes with the pullback diagram (because product is also a limit) and so you can assume they're free, and one of the maps is a fibration.

Having done this, there is a natural long exact sequence of homotopy groups

-> pi_* (U) -> pi_*(U_{hG}) -> pi_*(BG) -> ...

and applying this to the pullback diagram you can deduce (from the 5-lemma) that the natural map from the orbit of pullbacks to the pullback of the orbits is a weak equivalence.