nLab tom Dieck splitting

Redirected from "tom Dieck splitting theorem".
Contents

Context

Stable Homotopy theory

Representation theory

Contents

Idea

The objects of equivariant stable homotopy theory – genuine G-spectra – are very rich: Already the fixed point spectra of equivariant suspension spectra contain considerably more information than just the suspension spectra of the plain underlying fixed point spaces – the latter are just the geometric fixed point spectra.

The tom Dieck splitting (tom Dieck 75, Lewis-May-Steinberger 86, V.11) gives an explicit description of all the wedge summands appearing in fixed point spectra of equivariant suspension spectra. These wedge sums start out with the geometric fixed point spectra and then have one summand for each conjugacy class of subgroups HGH \subset G, given by the plain suspension spectra of the homotopy quotient of the HH-fixed point spaces by the corresponding Weyl group-action.

Induced from this wedge sum splitting formula for the spectra themselves is a corresponding direct sum-formula of the equivariant stable homotopy groups in terms of plain stable homotopy groups.

The richness of this splitting, hence of G-spectra, is witnessed by its simplest non-trivial example, which is the equivariant stable homotopy groups of the equivariant sphere spectrum: This yields the abelian group underlying the Burnside ring, which is freely generated from the conjugacy classes of subgroups of GG (see below).

Statement

For HGH\subset G a subgroup, write

Of fixed point spectra of equivariant suspension spectra

The fixed point spectrum of an equivariant suspension spectrum is given by the wedge sum formula

F G(Σ G X)[HG]Σ (E(W GH) + W GHX H) F^G(\Sigma^\infty_G X) \simeq \underset{[H\subset G]}{\bigvee} \Sigma^\infty( E (W_G H)_+ \wedge_{W_G H} X^H )

where Σ \Sigma^\infty is the plain suspension spectrum construction.

(e.g. Guillou-May 12, theorem 5.3, Schwede 15, example 7.7)

In particular, since W GG=1W_G G = 1 and W G1=GW_G 1 = G, the extremal summands for H=GH = G and H=1H = 1 are just the suspension spectrum of the plain fixed point space X GX^G and of the homotopy quotient XGX\sslash G (equivalently the Borel construction XGEG +× GXX \sslash G \simeq E G_+ \times_G X ) of the full space, respectively:

F G(Σ G X)Σ (X G)([HG]1HGΣ (E(W GH) + W GHX H))Σ (EG + GX). F^G(\Sigma^\infty_G X) \simeq \Sigma^\infty( X^G ) \vee \left( \underset{{[H\subset G]} \atop {1 \neq H \neq G}}{\bigvee} \Sigma^\infty( E (W_G H)_+ \wedge_{W_G H} X^H ) \right) \vee \Sigma^\infty( E G_+ \wedge_{G} X ) \,.

Here the first summand is the geometric fixed point spectrum inside the full fixed point spectrum

Φ G(Σ G X)Σ (X G)F G(Σ G X) \Phi^G(\Sigma^\infty_G X) \;\simeq\; \Sigma^\infty( X^G ) \hookrightarrow F^G(\Sigma^\infty_G X)

(Schwede 15, Example 7.7)

For equivariant homotopy groups

It follows that for XX a pointed topological G-space, its equivariant homotopy groups are

π G(Σ X) [HG]π W GH(Σ (E(W GH) +X H)) π (Σ X G)[HG]1HGπ W GH(Σ (E(W GH) +X H))π G(Σ (EG +X)) \begin{aligned} \pi_\bullet^G(\Sigma^\infty X) & \simeq \underset{[H \subset G]}{\bigoplus} \pi_\bullet^{W_G H}(\Sigma^\infty (E (W_G H)_+ \wedge X^H)) \\ &\simeq \pi_\bullet(\Sigma^\infty X^G) \oplus \underset{{[H \subset G]} \atop {1 \neq H \neq G}}{\bigoplus} \pi_\bullet^{W_G H}(\Sigma^\infty (E (W_G H)_+ \wedge X^H)) \oplus \pi_\bullet^{G}(\Sigma^\infty (E G_+ \wedge X)) \end{aligned}

where the direct sum is over conjugacy classes of subgroups HH of GG.

(e.g. Schwede 15, theorem 6.12)

For rational equivariant homotopy theory

For GG finite and for rational equivariant stable homotopy theory this becomes (Greenlees, 6.2)

GRationalSpectra[HG](W GH)Mod G RationalSpectra \simeq \underset{[H \subset G] }{\prod} \mathbb{Q}(W_G H) Mod

where the product is over conjugacy classes of subgroups HH of GG and W GHW_G H denotes the Weyl group of HH in GG

Examples

For the equivariant sphere spectrum

For the equivariant sphere spectrum 𝕊=Σ G S 0\mathbb{S} = \Sigma^\infty_G S^0 the tom Dieck splitting says that its 0th equivariant homotopy group is the free abelian group on the set of conjugacy classes of subgroups of GG:

π 0 G(𝕊)[HG]π 0 WH(Σ + EWH)[conjugacy classes of subgroups] \pi_0^G(\mathbb{S}) \simeq \underset{[H \subset G]}{\oplus} \pi_0^{W H}(\Sigma_+^\infty E W H) \simeq \mathbb{Z}\big[\text{conjugacy classes of subgroups}\big]

(e.g. Schwede 15, p. 64)

This is the group underlying the Burnside ring.

References

The theorem at the level of stable homotopy groups is due to

  • Tammo tom Dieck, Satz 2 of Orbittypen und äquivariante Homologie. II., Arch. Math. (Basel) 26 (1975), no. 6, 650–662

The refinement to spectra is achieved in section V.11 of

  • L. Gaunce Lewis, Peter May, and Mark Steinberger (with contributions by J.E. McClure), Equivariant stable homotopy theory, Springer Lecture Notes in Mathematics Vol.1213. 1986 (pdf)

An alternative proof is in

Detailed lecture notes are in

A brief mentioning appears in this survey of rational equivariant stable homotopy theory:

  • John Greenlees, p. 3 of Triangulated categories of rational equivariant cohomology theories (pdf, pdf)

Last revised on March 16, 2021 at 18:34:49. See the history of this page for a list of all contributions to it.