group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Algebraic K-theory is about natural constructions of cohomology theories/spectra from algebraic data such as commutative rings, symmetric monoidal categories and various homotopy theoretic refinements of these.
The algebraic K-theory of a commutative ring $R$ was originally defined to be the Grothendieck group of its category of projective modules. Under the relation between modules and vector bundles, this is directly analogous to the basic definition of topological K-theory and hence the common term. (In fact when applied to the stack of vector bundles then algebraic K-theory subsumes topological K-theory and also differential K-theory, see below).
There are canonical maps $K_0(R)\to Pic(R)$ from the 0th algebraic K-theory of a ring to its Picard group and $K_1(R)\to GL_1(R)$ from the first algebraic K-theory group of $R$ to its group of units which are given in components by the determinant functor. This fact is sometimes used to motivate algebraic K-theory as a “generalization of linear algebra” (see e.g. this MO discussion). This is also how the traditional regulator of a number field relates to Beilinson regulators of algebraic K-theory.
More generally, following the axiomatics of generalized (Eilenberg-Steenrod) cohomology any algebraic K-theory should be given by a sequence of functors $K_i$ from some suitable class of categories of “algebraic nature” to abelian groups, satisfying some natural conditions. Moreover, following the Brown representability theorem these groups should arise as the homotopy groups of a spectrum, the algebraic K-theory spectrum. Classical constructions producing this by combinatorial means are known as the Quillen Q-construction defined on Quillen exact categories and more generally the Waldhausen S-construction defined on Waldhausen categories.
For more on the history of the subject see (Arlettaz 04, Grayson 13) and see at at Algebraic K-theory, a historical perspective.
There are two ways to think of the traditional algebraic K-theory of a commutative ring more conceptually: on the one hand this construction is the group completion of the direct sum symmetric monoidal-structure on the category of modules, on the other hand it is the group completion of the addition operation expressed by short exact sequences in that category. This leads to the two modern ways of expressing and viewing algebraic K-theory:
monoidal. The core of a symmetric monoidal category or more generally of a symmetric monoidal (∞,1)-category has a universal completion to an abelian ∞-group/connective spectrum optained by universally adjoining inverses to the symmetric monoidal operation – the ∞-group completion. This yields the concept of algebraic K-theory of a symmetric monoidal category and more generally that of algebraic K-theory of a symmetric monoidal (∞,1)-category;
exact/stable. Analogously, inverting the addition operation expressed by the exact sequences in an abelian category or more generally in a stable (∞,1)-category yields the algebraic K-theory of a stable (∞,1)-category. Explicit ways to express this are known as the Quillen Q-construction and the Waldhausen S-construction. This turns out to be a universal construction in the context of non-commutative motives.
Here the second construction may be understood as first splitting the exact sequences and then applying the first construction to the resulting direct sum monoidal structure. Typically the first construction here contains more information but is harder to compute, and vice versa (see also MO-discussion here and here).
Both of these constructions produce a spectrum (hence representing a generalized (Eilenberg-Steenrod) cohomology theory) – called the K-theory spectrum – and the algebraic K-theory groups are the homotopy groups of that spectrum.
The classical case of the algebraic K-theory of a commutative ring $R$ is a special case of this general concept of algebraic K-theory by either forming the symmetric monoidal category $(Mod(R), \oplus)$ and applying the abelian ∞-group-completion to that, or else forming the stable (∞,1)-category of chain complexes of $R$-modules and applyong the Waldhausen S-construction to that. In both cases the result is a spectrum whose degree-0 homotopy group is the ordinary algebraic K-theory of $R$ as given by the Grothendieck group and whose higher homotopy groups are its higher algebraic K-theory groups.
See at
There is a universal characterization of the construction of the K-theory spectrum $K(A)$ of a stable $(\infty,1)$-category $A$:
there is an $(\infty,1)$-functor
to a stable $(\infty,1)$-category which is universal with the property that it respects colimits and exact sequences in a suitable way. Given any stable $(\infty,1)$-category $A$, its (connective or non-connective, depending on details) algebraic K-theory spectrum is the hom-object
where $Sp$ denotes the stable $(\infty,1)$-category of compact spectra.
See (Blumberg-Gepner-Tabuada 10).
See at
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 $Mot_{add}$ | noncommutative motives $Mot_{loc}$ | algebraic K-theory | non-connective algebraic K-theory |
noncommutative topology | KK-theory | E-theory | operator K-theory | … |
See at Beilinson regulator.
chromatic level | complex oriented cohomology theory | E-∞ ring/A-∞ ring | real oriented cohomology theory |
---|---|---|---|
0 | ordinary cohomology | Eilenberg-MacLane spectrum $H \mathbb{Z}$ | HZR-theory |
0th Morava K-theory | $K(0)$ | ||
1 | complex K-theory | complex K-theory spectrum $KU$ | KR-theory |
first Morava K-theory | $K(1)$ | ||
first Morava E-theory | $E(1)$ | ||
2 | elliptic cohomology | elliptic spectrum $Ell_E$ | |
second Morava K-theory | $K(2)$ | ||
second Morava E-theory | $E(2)$ | ||
algebraic K-theory of KU | $K(KU)$ | ||
3 …10 | K3 cohomology | K3 spectrum | |
$n$ | $n$th Morava K-theory | $K(n)$ | |
$n$th Morava E-theory | $E(n)$ | BPR-theory | |
$n+1$ | algebraic K-theory applied to chrom. level $n$ | $K(E_n)$ (red-shift conjecture) | |
$\infty$ | complex cobordism cohomology | MU | MR-theory |
Algebraic K-theory is traditionally applied to single symmetric monoidal/stable (∞,1)-categories, but to the extent that it is functorial it may just as well be applied to (∞,1)-sheaves with values in these.
Notably, applied to the monoidal stack of vector bundles (with connection) on the site of smooth manifolds, the K-theory of a monoidal category-functor produces a sheaf of spectra which is a form of differential K-theory and whose geometric realization is the topological K-theory spectrum. For more on this see at differential cohomology hexagon – Differential K-theory.
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 finitely generated projective objects over a unital $k$-algebra,
the category of coherent sheaves over a noetherian scheme,
the category of locally free sheaves over a scheme,
Milnor's K2?(Steinberg group,universal central extension)
higher algebraic K-theory? Quillen exact category, Quillen's Q-construction, Waldhausen S-construction, Volodin spaces;
topological cyclic homology, algebraic K-theory of operator algebras
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 $Mot_{add}$ | noncommutative motives $Mot_{loc}$ | algebraic K-theory | non-connective algebraic K-theory |
noncommutative topology | KK-theory | E-theory | operator K-theory | … |
Surveys with accounts of the historical development include
Dominique Arlettaz, Algebraic K-theory of rings from a topological viewpoint (pdf)
Daniel Grayson, Quillen’s work in algebraic K-theory, J. K-Theory 11 (2013), 527–547 pdf
An introductory textbook account is in
Original articles include
R. W. Thomason, Thomas Trobaugh, Higher algebraic K-theory of schemes and of derived categories, The Grothendieck Festschrift, 1990, 247-435.
Daniel Quillen, Higher algebraic K-theory, in Higher K-theories, pp. 85–147, Proc. Seattle 1972, Lec. Notes Math. 341, Springer 1973. A reference for classical constructions is
For discussion of stable phenomena in algebraic K-theory, see section 4 of
Discussion of the comparison map between algebraic and topological K-theory includes
The stable (∞,1)-category theory picture is discussed in
(in terms of noncommutative motives) and in
The perspective of algebraic K-theory of a symmetric monoidal (∞,1)-category is developed in
Ulrich Bunke, Georg Tamme, section 2.1 of Regulators and cycle maps in higher-dimensional differential algebraic K-theory (arXiv:1209.6451)
Thomas Nikolaus Algebraic K-Theory of $\infty$-Operads (arXiv:1303.2198)
Ulrich Bunke, Thomas Nikolaus, Michael Völkl, def. 6.1 in Differential cohomology theories as sheaves of spectra (arXiv:1311.3188)
David Gepner, Moritz Groth, Thomas Nikolaus, Universality of multiplicative infinite loop space machines, arXiv:1305.4550.
The system of infinite loop spaces of the algebraic K-theory spectrum regarded as an ∞-stack on the Nisnevich site and the principal ∞-bundles over it is considered in
implementing a suggestion stated in