nLab
equivariant algebraic K-theory

Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Algebra

Contents

Idea

The equivariant cohomology/equivariant spectrum-version of algebraic K-theory.

Properties

Rector completion theorem

(equivariant) cohomologyrepresenting
spectrum
equivariant cohomology
of the point *\ast
cohomology
of classifying space BGB G
(equivariant)
ordinary cohomology
HZBorel equivariance
H G (*)H (BG,)H^\bullet_G(\ast) \simeq H^\bullet(B G, \mathbb{Z})
(equivariant)
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)
(equivariant)
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)
(equivariant)
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="https://ncatlab.org/nlab/show/Rector+completion+theorem">Rector 73</a>}}{\simeq} \!\!\!\!\!\! K \mathbb{F}_p(B G)
(equivariant)
stable cohomotopy
K 𝔽 1Segal 74\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="https://ncatlab.org/nlab/show/Burnside+ring+is+equivariant+stable+cohomotopy+of+the+point">Segal 71</a>}}{\simeq} \mathbb{S}_G(\ast) \overset{ \text{compl.} }{\longrightarrow} \widehat {\mathbb{S}_G(\ast)} \!\! \overset{\text{<a href="https://ncatlab.org/nlab/show/Segal-Carlsson+completion+theorem">Carlsson 84</a>}}{\simeq} \!\!\!\!\!\! \mathbb{S}(B G)

References

  • Z. Fiedorowicz, H. Hauschild, Peter May, theorem 0.4 of Equivariant algebraic K-theory, Equivariant algebraic K-theory, Algebraic K-Theory. Springer, Berlin, Heidelberg, 1982. 23-80 (pdf)

  • Henning Hauschild, Stefan Waner, theorem 0.1 of The equivariant Dold theorem mod kk and the Adams conjecture, Illinois J. Math. Volume 27, Issue 1 (1983), 52-66. (euclid:1256065410)

  • Kuzuhisa Shimakawa, Note on the equivariant KK-theory spectrum, Publ. RIMS, Kyoto Univ. 29 (1993), 449-453 (pdf, doi)

  • Christopher French, theorem 2.4 in The equivariant JJ–homomorphism for finite groups at certain primes, Algebr. Geom. Topol. Volume 9, Number 4 (2009), 1885-1949 (euclid:1513797069)

Created on September 26, 2018 at 07:11:06. See the history of this page for a list of all contributions to it.