nLab
algebraic K-theory

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

Algebraic K-theory was initially a body of theory that attempted to generalise parts of linear algebra, notably the theory of dimension of vector spaces, and determinants,to modules over arbitrary rings. It has grown into a well developed tool for studying a wide range of algebraic, geometric and even analytic situations from a variety of points of view. It is thus difficult to give a single idea of what the subject is about. It has a side that looks at the manipulation and rewriting of the elementary operations of linear algebra, but also a definite infinity category aspect. Its development uses a lot of algebraic topology, particularly homotopy theory, both stable homotopy theory and the more simplicial parts of that area, and more recently has interacted with infinity category theory in various forms.

Some idea of its history is given in Algebraic K-theory, a historical perspective. A brief summary of the topics that are subsumed under the title of Algebraic K-theory can be gleaned from the list of subtopic pages and sections listed below:

More recent history and the nPOV.

From the most recent nPOV, algebraic K-theory is an (∞,1)-functor that sends stable (∞,1)-categories to certain spectra – their K-theory spectra – characterized roughly speaking as the universal finitary Morita invariant of stable (∞,1)-categories under which all exact sequences of stable (∞,1)-categories split.

Traditionally the stable (,1)(\infty,1)-categories that have been considered are those coming from categories of chain complexes, and in this sense algebraic K-theory is the study of K-theory of categories more general than that of (bounded chain complexes of) vector bundles on a topological space, which is the topic of topological K-theory.

In its simplest initial form algebraic K-theory provides tools for computing the Grothendieck group of suitable categories. In its more refined form it studies the K-theory spectrum assigned to these categories. Crucial tools for this include the Q-construction? and Waldhausen S-construction.

Types of categories for which a theory of algebraic K-theory exist include notably the notions

Concrete examples of interest include for instance

and the like.

More Details

There is a universal characterization of the construction of the K-theory spectrum K(A)K(A) of a stable (,1)(\infty,1)-category AA:

there is an (,1)(\infty,1)-functor

U:(,1)StabCatN U : (\infty,1)StabCat \to N

to a stable (,1)(\infty,1)-category which is universal with the property that it respects colimits and exact sequences in a suitable way. Given any stable (,1)(\infty,1)-category AA, its (connective or non-connective, depending on details) algebraic K-theory spectrum is the hom-object

K(A)Hom(U(Sp),U(A)), K(A) \simeq Hom(U(Sp), U(A)) \,,

where SpSp denotes the stable (,1)(\infty,1)-category of compact spectra. (See the references below.)

When one talks about the algebraic KK-theory of rings, one means the algebraic KK-theory of the corresponding category of (one-sided) finitely-generated projective modules.

A K-theory should be given by a sequence of functors K iK_i from some class of categories as above to abelian groups having some similarity to derived functors and cohomology theory for spaces. K 0K_0 and K 1K_1 are rather classical objects from the 1950s; higher KK-groups are defined by Quillen in two steps: to a Quillen exact category CC one first associates a KK-theory space 𝒦(C)\mathcal{K}(C) (or in better versions, a KK-theory spectrum) and then defines KK-groups as homotopy groups of that space:

K i(C)=π i(𝒦(C)).K_i(C)=\pi_i(\mathcal{K}(C)).

The KK-theory space of CC in Quillen’s version was obtained as a classifying space of the Quillen QQ-construction applied to CC. The QQ-construction has been refined to more sophisticated delooping methods by Waldhausen, Karoubi and others.

Properties

Red-shift conjecture

chromatic homotopy theory

chromatic levelcomplex oriented cohomology theoryE-∞ ring/A-∞ ringreal oriented cohomology theory
0ordinary cohomologyEilenberg-MacLane spectrum HH \mathbb{Z}HZR-theory
0th Morava K-theoryK(0)K(0)
1complex K-theorycomplex K-theory spectrum KUKUKR-theory
first Morava K-theoryK(1)K(1)
first Morava E-theoryE(1)E(1)
2elliptic cohomologyEll EEll_E
second Morava K-theoryK(2)K(2)
second Morava E-theoryE(2)E(2)
algebraic K-theory of KUK(KU)K(KU)
nnnnth Morava K-theoryK(n)K(n)
nnth Morava E-theoryE(n)E(n)BPR-theory
n+1n+1algebraic K-theory applied to chrom. level nnK(E n)K(E_n) (red-shift conjecture)
\inftycomplex cobordism cohomologyMUMR-theory
geometric contextuniversal additive bivariant (preserves split exact sequences)universal localizing bivariant (preserves all exact sequences in the middle)universal additive invariantuniversal localizing invariant
noncommutative algebraic geometrynoncommutative motives Mot addMot_{add}noncommutative motives Mot locMot_{loc}algebraic K-theorynon-connective algebraic K-theory
noncommutative topologyKK-theoryE-theoryoperator K-theory

References

A reference for classical constructions is

The (infinity,1)-category theory picture is discussed in

(in terms of noncommutative motives) and in

For discussion of stable phenomena in algebraic K-theory, see section 4 of

  • Ralph Cohen, Stability phenomena in the topology of moduli spaces (pdf)
Revised on April 16, 2014 06:53:55 by Urs Schreiber (145.116.129.4)