symmetric monoidal (∞,1)-category of spectra
The K-theory spectrum (for complex K-theory) or (for orthogonal K-theory) in the strict sense is the spectrum that represents the generalized (Eilenberg-Steenrod) cohomology theory topological K-theory. For complex topological K-theory this is periodic with period 2 (reflect Bott periodicity) of the form
The connective cover is denoted in lower case: ku.
As a symmetric spectrum: Schwede 12, Example I.2.10
is a 2-periodic ring spectrum. This is the original Bott periodicity.
Snaith's theorem asserts that the K-theory spectrum for periodic complex K-theory is the ∞-group ∞-ring of the circle 2-group localized away from the Bott element :
Complex conjugation on complex vector bundles induces on the complex K-theory spectrum an involutive automorphism. KR-theory is the corresponding -equivariant cohomology theory.
In particular, the homotopy fixed point of KU under this automorphism is KO
and this way where in complex K-theory one has KU-modules (∞-modules), so in KR-theory one has -modules.
a proof in terms of moduli stacks is given in Mathew 13, section 3
There are close relations between K-theory and Clifford algebras. One conceptual statement relating them is this:
KO-theory is the first Weiss-derivative (in orthogonal calculus) of the K-theory of Clifford algebras. (Charles Rezk, MO comment, Sept ‘13)
cohomology theories of string theory fields on orientifolds
The weak homotopy eqivalence is discussed in detail in
The incarnation of and as a symmetric spectrum is discussed in
and the structure of a symmetric ring spectrum on is discussed in
The structure of a homotopy ring spectrum on is discussed in
The E-infinity ring structure of is discussed in
and the underlying H-infinity ring spectrum structure in
The uniqueness of the E-infinity ring structure on is due to
Discussion of in analogy to the construction of tmf is in
with a summary in
Last revised on March 11, 2024 at 03:36:36. See the history of this page for a list of all contributions to it.