equivariant Whitehead theorem


Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology



Paths and cylinders

Homotopy groups

Basic facts


Representation theory



The equivariant Whitehead theorem is the generalization of the Whitehead theorem from (stable) homotopy to (stable) equivariant homotopy theory:

Assume that the equivariance group be a compact Lie group (Matumoto 71, Illman 72, James-Segal 78, Waner 80). (This assumption is used, e.g. in Waner 80, Rem. 7.4, to guarantee that Cartesian products of coset spaces G/HG/H are themselves G-CW-complexes, which follows for compact Lie groups, e.g. by the equivariant triangulation theorem.)

Then: GG-homotopy equivalences f:XYf \colon X \longrightarrow Y between G-CW complexes are equivalent to equivariant weak homotopy equivalences, hence to maps that induce weak homotopy equivalences f H:X HY Hf^H \colon X^H \longrightarrow Y^H on all fixed point spaces for all closed subgroups HGH \hookrightarrow G.

This is due to Matumoto 71, Thm. 5.3, Illman 72, Prop. 2.5, Waner 80, Theorem 3.4, see also James-Segal 78, Thm. 1.1 with Kwasik 81, review in Shah 10, Blumberg 17, Cor. 1.2.14.

An analogous statement holds in stable equivariant homotopy theory:

For maps F:EFF \colon E \longrightarrow F between genuine G-spectra, they are weak equivalences (isomorphisms in the equivariant stable homotopy category) if they induce isomorphisms on all equivariant homotopy group Mackey functors π n(f):π n(E)π n(F)\pi_n(f)\colon \pi_n(E) \longrightarrow \pi_n(F) (e. g. Greenlees-May 95, theorem 2.4, Bohmann, theorem 3.2).


Proofs for general G-CW-complexes (for GG a compact Lie group) are due to

following a partial result in

and, independently, due to

See also:

Discussion in equivariant stable homotopy theory:

Review and Lecture notes:

A proof for GG-ANRs is due to:

Proof that these GG-ANRs have the equivariant homotopy type of G-CW-complexes (for GG a compact Lie group):

Textbook account for GG-ANRs:

For the case of stable equivariant homotopy theory: