nLab algebraic K-theory, a historical perspective

A little history: the beginnings

Algebraic K-theory grew out of two apparently unrelated areas of algebraic geometry and algebraic

topology. The second of these, historically, was the development by Grothendieck of (geometric and topological) K-theory based on projective modules over a ring, or finite dimensional vector bundles on a space, that is the Grothendieck group of the given ring or of the ring of functions on the space. (The connection between these is that the space of global sections of a finite dimensional vector bundle on a nice enough space, XX is a finitely generated projective module over the ring of continuous real or complex functions on XX . This latter aspect is where the link with topological K-theory comes in.)

The second input is from of simple homotopy theory. J. H. C. Whitehead, following on from earlier ideas of Reidemeister, looked at possible extensions of combinatorial group theory, with its study of presentations of groups, to give a combinatorial homotopy theory?. This would take the form of an ‘algebraic homotopy theory’ giving good algebraic models for homotopy types, and would hopefully ease the determination of homotopy equivalences for instance of polyhedra. The ‘combinatorial’ part was exemplified by his two papers on ‘Combinatorial Homotopy Theory’, but raised an interesting question.

Could one give a ‘combinatorial way of generating all homotopy equivalences, (up to homotopy), starting with some ‘elementary expansions’ and ‘contractions’?

He showed the answer was negative, and there was an invariant (Whitehead torsion) whose vanishing was a necessary and sufficient condition for a homotopy equivalence to be so constructible. That invariant was an element of a group constructed from the stable general linear group over the group ring of the fundamental group of the domain space. This was a quotient of what became known as K 1(π 1X)K_1(\mathbb{Z}\pi_1X), that is the abelianisation of GL(π 1X)GL(\mathbb{Z}\pi_1X).

This ties in, even at this basic level with the nPOV and the processes around categorification. For a ring, RR, the Grothendieck group, K 0(R)K_0(R), looks at the core of the category of finitely generated projective modules, and takes its set of connected components, which is just the set of isomorphism classes. This becomes an abelian monoid under direct sum and then a group after group completion. For K 1(R)K_1(R), you are taking the core again, but looking at the category of morphisms in it. If we take K 0K_0 of that category we get K 1K_1 of the ring. So K 1K_1 looks at the loops whilst K 0K_0 at the connected components.

References

One of the best accounts of the history of K-theory is by Chuck Weibel:

Other historical accounts include

Last revised on June 2, 2014 at 20:42:26. See the history of this page for a list of all contributions to it.