nLab
algebraic K-theory

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

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.

From a modern perspective, the algebraic K-theory spectrum K(R)\mathbf{K}(R) of a commutative ring is simply the ∞-group completion? of algebraic vector bundles on Spec(R)Spec(R), this will be discussed in more detail below. In particular there is a natural concept of algebraic K-theory of “brave new rings” (ring spectra, E-∞ rings)

Historically, the algebraic K-theory of a commutative ring RR (what today is the “0th” algebraic K-theory group) was originally defined to be the Grothendieck group of its symmetric monoidal category of projective modules (under tensor product of 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)Pic(R)K_0(R)\to Pic(R) from the 0th algebraic K-theory of a ring to its Picard group and K 1(R)GL 1(R)K_1(R)\to GL_1(R) from the first algebraic K-theory group of RR 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 iK_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:

  1. 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;

  2. 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 RR is a special case of this general concept of algebraic K-theory by either forming the symmetric monoidal category (Mod(R),)(Mod(R), \oplus) and applying the abelian ∞-group-completion to that, or else forming the stable (∞,1)-category of chain complexes of RR-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 RR as given by the Grothendieck group and whose higher homotopy groups are its higher algebraic K-theory groups.

Constructions

Classical constructions

See at

As the K-theory of algebraic vector bundles

Regard the stack Vect \mathbf{Vect}^\oplus of algebraic vector bundles on the gros Zariski site as taking values in symmetric monoidal (∞,1)-categories, via the direct sum of vector bundles. Then applying the K-theory of a symmetric monoidal (∞,1)-category-construction 𝒦\mathcal{K} to this yields a sheaf of spectra, in fact of E-∞ rings

K𝒦(Vect )CRing(Stab(Sh (ArithmeticSchemes))). \mathbf{K} \coloneqq \mathcal{K}(\mathbf{Vect}^\oplus) \in CRing(Stab(Sh_\infty(ArithmeticSchemes))) \,.

This is the higher algebraic K-theory spectrum, in that for XX a scheme, then the homotopy groups of K(X)\mathbf{K}(X) are the higher algebraic K-theory groups of the scheme XX

K(X) =π (K(X)). K(X)^\bullet = \pi_{-\bullet}(\mathbf{K}(X)) \,.

In this form this is due to (Bunke-Tamme 12, section 3.3, Bunke-Tamme 13, section 2.4). This is based on (Weibel, IV.4.8, IV.4.11.1) which characterizes algebraic K-theory via group completion of projective modules, and on (Thomason-Trobaugh 90) which shows that the resulting K-theory presheaf satisfies descent on the Zariski site (see below). See (Nikolaus 13, section 6) for details on the relation between abstract \infty-group completion and traditional constructions.

For more on this see at differential algebraic K-theory .

Via stable (,1)(\infty,1)-categories

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 (Blumberg-Gepner-Tabuada 10).

Properties

Chern characters

Regulators and relation to ordinary cohomology

See at Beilinson regulator.

Cyclotomic trace and relation to topological Hochschild homology

Given a ring RR, then there is a natural morphism of spectra

TC(R) K(R) THH(R) \array{ && \mathbf{TC}(R) \\ & \nearrow & \downarrow \\ \mathbf{K}(R) &\longrightarrow& \mathbf{THH}(R) }

from the algebraic K-theory spectrum to the topological Hochschild homology spectrum and factoring through the topological cyclic homology spectrum called the cyclotomic trace which much like a Chern character map for algebraic K-theory.

Comparison map and Relation to topological K-theory

Descent

The algebraic K-theory spectrum K\mathbf{K} satisfies descent to give a sheaf of connective spectra on the Zariski site. For regular noetherian schemes this statement is due to (Brown Gersten 73). The generalization to finite dimensional noetherian schemes is due to (Thomason-Trobaugh 90).

Moreover, K\mathbf{K} satisfies descent with respect to the Nisnevich topology (which lies between Zariski and étale). This is due to (Nisnevich 89) and was generalized in turn to finite dimensional noetherian schemes in the same paper of Thomason.

Further generalization of the descent result to finite dimensional quasi-compact quasi-separated schemes is due to (Rosenschon 06).

The question of descent of K\mathbf{K} over the étale site is closely related to the Lichtenbaum-Quillen conjecture, see also (Thomason 85). This is now a theorem of Rost and Voevodsky and it implies that K-theory does satisfy etale descent in sufficient large degrees.

MO comment

Relation to non-commutative topology and non-commutative motives

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

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 cohomologyelliptic spectrum Ell EEll_E
second Morava K-theoryK(2)K(2)
second Morava E-theoryE(2)E(2)
algebraic K-theory of KUK(KU)K(KU)
3 …10K3 cohomologyK3 spectrum
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

Examples

On monoidal stacks

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

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

Introductions

Surveys with accounts of the historical development include

An introductory textbook account is in

Further review includes

Classical

Original articles include

  • 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

  • Kenneth Brown, Stephen M. Gersten, Algebraic K-theory as generalized sheaf cohomology, Higher K-Theories, Lecture Notes in Mathematics Volume 341, 1973, pp 266-292.

  • R. W. Thomason, Algebraic K-theory and étale cohomology, Ann. Sci. Ecole Norm. Sup. 18 (4), 1985, pp. 437–552.

  • Yevsey Nisnevich?, The completely decomposed topology on schemes and associated descent spectral sequences in algebraic K-theory, Algebraic K-theory: connections with geometry and topology, 1989, pp 241-341.

  • R. W. Thomason, Thomas Trobaugh, Higher algebraic K-theory of schemes and of derived categories, The Grothendieck Festschrift, 1990, 247-435.

  • Andreas Rosenschon, P.A. Ostvær, Descent for K-theories, Journal of Pure and Applied Algebra 206, 2006, pp 141–152.

For complex varieties:

  • Claudio Pedrini, Charles Weibel, The higher K-theory of complex varieties, K-theory 21 (2001), 367-385 (web)

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

  • Ralph Cohen, Stability phenomena in the topology of moduli spaces (pdf)

Discussion of the comparison map between algebraic and topological K-theory includes

  • Jonathan Rosenberg, Comparison between algebraic and topological K-theory for Banach algebras and C *C^\ast-algebras (pdf)

Algebraic K-theory of ring spectra

(Thomason-Trobaugh 90)

Blumberg-Gepner-Tabuada 10

Waldhausen’s A-theory is the algebraic K-theory of suspension spectra of loop spaces.

Via stable (,1)(\infty,1)-categories

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

(in terms of noncommutative motives) and in

Via symmetric monoidal (,1)(\infty,1)-categories

The perspective of algebraic K-theory of a symmetric monoidal (∞,1)-category is developed in

K-theory stacks

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

Examples

  • Alexey Ananyevskiy, On the algebraic KK-theory of some homogeneous varieties (pdf)

Revised on September 7, 2014 11:40:23 by Adeel Khan (77.9.215.213)