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:
Algebraic K-theory, a historical perspective (Whitehead and Grothendieck);
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 -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
the category of locally free sheaves over a scheme,
and the like.
There is a universal characterization of the construction of the K-theory spectrum of a stable -category :
there is an -functor
to a stable -category which is universal with the property that it respects colimits and exact sequences in a suitable way. Given any stable -category , its (connective or non-connective, depending on details) algebraic K-theory spectrum is the hom-object
where denotes the stable -category of compact spectra. (See the references below.)
A K-theory should be given by a sequence of functors from some class of categories as above to abelian groups having some similarity to derived functors and cohomology theory for spaces. and are rather classical objects from the 1950s; higher -groups are defined by Quillen in two steps: to a Quillen exact category one first associates a -theory space (or in better versions, a -theory spectrum) and then defines -groups as homotopy groups of that space:
The -theory space of in Quillen’s version was obtained as a classifying space of the Quillen -construction applied to . The -construction has been refined to more sophisticated delooping methods by Waldhausen, Karoubi and others.
|chromatic level||complex oriented cohomology theory||E-∞ ring/A-∞ ring|
|0||ordinary cohomology||Eilenberg-MacLane spectrum|
|0th Morava K-theory|
|1||complex K-theory||complex K-theory spectrum|
|first Morava K-theory|
|first Morava E-theory|
|second Morava K-theory|
|second Morava E-theory|
|algebraic K-theory of KU|
|th Morava K-theory|
|th Morava E-theory|
|algebraic K-theory applied to chrom. level||(red-shift conjecture)|
|geometric context||universal additive bivariant (preserves split exact sequences)||universal localizing bivariant (preserves all exact sequences in the middle)||universal additive invariant||universal localizing invariant|
|noncommutative algebraic geometry||noncommutative motives||noncommutative motives||algebraic K-theory||non-connective algebraic K-theory|
|noncommutative topology||KK-theory||E-theory||operator K-theory||…|
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