Atiyah-Segal completion theorem





Special and general types

Special notions


Extra structure






By the general discussion at equivariant K-theory, given a suitable topological group GG with an action on a topological space XX there is a canonical map

K G(X)K G Bor(X)K G(X×EG)K(XG) K_G(X) \to K_G^{Bor}(X) \simeq K_G(X \times E G) \simeq K(X \!\sslash\! G)

from the equivariant K-theory of XX to the ordinary topological K-theory of the homotopy quotient (Borel construction).

While this map is never an isomorphism unless GG is the trivial group, the Atiyah-Segal completion theorem says that this map exhibits K(X//G)K(X//G) as the formal completion of the ring K G(X)K_G(X) at the augmentation ideal of the representation ring of GG (hence, regarded as a ring of functions, the restriction to an infinitesimal neighbourhood of the base point).

See also at formal completion – Examples – Atiyah-Segal theorem.

The analog stable for stable cohomotopy is the Segal-Carlsson completion theorem:

(equivariant) cohomologyrepresenting
equivariant cohomology
of the point *\ast
of classifying space BGB G
ordinary cohomology
HZBorel equivariance
H G (*)H (BG,)H^\bullet_G(\ast) \simeq H^\bullet(B G, \mathbb{Z})
complex K-theory
KUrepresentation ring
KU G(*)R (G)KU_G(\ast) \simeq R_{\mathbb{C}}(G)
Atiyah-Segal completion theorem
R(G)KU G(*)compl.KU G(*)^KU(BG)R(G) \simeq KU_G(\ast) \overset{ \text{compl.} }{\longrightarrow} \widehat {KU_G(\ast)} \simeq KU(B G)
complex cobordism cohomology
MUMU G(*)MU_G(\ast)completion theorem for complex cobordism cohomology
MU G(*)compl.MU G(*)^MU(BG)MU_G(\ast) \overset{ \text{compl.} }{\longrightarrow} \widehat {MU_G(\ast)} \simeq MU(B G)
algebraic K-theory
K𝔽 pK \mathbb{F}_prepresentation ring
(K𝔽 p) G(*)R p(G)(K \mathbb{F}_p)_G(\ast) \simeq R_p(G)
Rector completion theorem
R 𝔽 p(G)K(𝔽 p) G(*)compl.(K𝔽 p) G(*)^Rector 73K𝔽 p(BG)R_{\mathbb{F}_p}(G) \simeq K (\mathbb{F}_p)_G(\ast) \overset{ \text{compl.} }{\longrightarrow} \widehat {(K \mathbb{F}_p)_G(\ast)} \!\! \overset{\text{<a href="">Rector 73</a>}}{\simeq} \!\!\!\!\!\! K \mathbb{F}_p(B G)
stable cohomotopy
K𝔽 1Segal 74K \mathbb{F}_1 \overset{\text{<a href="stable cohomotopy#StableCohomotopyIsAlgebraicKTheoryOverFieldWithOneElement">Segal 74</a>}}{\simeq} SBurnside ring
𝕊 G(*)A(G)\mathbb{S}_G(\ast) \simeq A(G)
Segal-Carlsson completion theorem
A(G)Segal 71𝕊 G(*)compl.𝕊 G(*)^Carlsson 84𝕊(BG)A(G) \overset{\text{<a href="">Segal 71</a>}}{\simeq} \mathbb{S}_G(\ast) \overset{ \text{compl.} }{\longrightarrow} \widehat {\mathbb{S}_G(\ast)} \!\! \overset{\text{<a href="">Carlsson 84</a>}}{\simeq} \!\!\!\!\!\! \mathbb{S}(B G)


In the case where X=*X=* (i.e. a point), we have that K G(*)R(G)K_G(*) \simeq R(G) and K(*//G)=K(BG)K(*//G)=K(BG), thus we conclude that

K(BG)R(G)I^ K(BG) \simeq R(G)\hat{_I}

where II is the augmentation ideal of the representation ring of GG.


The original articles are

Reviews and surveys include

Last revised on March 15, 2021 at 06:27:26. See the history of this page for a list of all contributions to it.