Encyclopedia > K-theory

  Article Content


The topic of K-theory spans the subjects of algebraic topology, abstract algebra and some areas of application like operator algebras[?] and algebraic geometry. It leads to the construction of families of K-functors, which contain useful but often hard-to-compute information.

The subject takes its name from a particular construction applied by Alexander Grothendieck in his proof of the Riemann-Roch theorem. In it, a commutative monoid of sheaves of abelian groups under direct sum was converted into a group, by the formal addition of inverses (an explicit way of explaining a left adjoint). This construction was taken up by Atiyah and Hirzebruch to define K(X) for a topological space X, by means on the analogous sum construction for vector bundles[?]. This was the basis of the first of the extraordinary cohomology theories of algebraic topology. It played a big role in the proof around 1962 of the Index Theorem.

In turn, Jean-Pierre Serre used the analogy of vector bundles[?] with projective modules[?] to found in 1959 what became algebraic K-theory. He made Serre's conjecture, that projective modules over the ring of polynomials over a field are free modules[?]; this resisted proof for 20 years.

There followed a period in which there were various partial definitions of higher K-functors; until a comprehensive definition was given by Daniel Quillen[?] using homotopy theory[?].

The corresponding constructions involving an auxiliary quadratic form receive the general name L-theory.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
U.S. presidential election, 1804

... elections: 1792, 1796, 1800, 1804, 1808, 1812, 1816 Source: U.S. Office of the Federal R ...

This page was created in 39.2 ms