K-theory en · NOUN
Etymology
From circa 1960. The K stands for German Klasse (“class”). The theory developed out of algebraic geometry after the 1957 publication of work by German-born French mathematician Alexander Grothendieck.
Meanings
-
(uncountable) The study of rings R generated by the set of vector bundles over some topological space or scheme;
K'''-theory as an independent discipline is a fairly new subject, only about 35 years old.
1994, Jonathan Rosenberg, Algebraic K-Theory and Its Applications, Springer, page 1:K'''-theory was developed by Atiyah and Hirzebruch in the 1960s based on work of Grothendieck in algebraic geometry. It was introduced as a tool in C^*-algebra theory in the early 1970s through some specific applications described below. Very briefly, K'''-theory (for C^*-algebras) is a pair of functors, called K₀ and K₁, that to each C^*-algebra A associate two Abelian groups K₀(A) and K₁(A).
2000, M. Rørdam, F. Larsen, Flemming Larsen, N. Laustsen, An Introduction to K-Theory for C*-Algebras, Cambridge University Press, page ix:
- (dated, obsolete, uncountable) The study of rings R generated by the set of vector bundles over some topological space or scheme; (dated, obsolete) that part of algebraic topology comprising what is now called topological K-theory. ▸ that part of algebraic topology comprising what is now called topological K-theory.
-
(countable) The cohomology generated by the set of vector bundles over some topological space or scheme.
The theory of formal groups has found a number of rather spectacular applications in recent years in number theory, arithmetical algebraic geometry, algebraic geometry, and algebraic topology, ranging from congruences for the coefficients of modular forms and local class field theory to extraordinary K'''-theories and (indirectly) results on the homotopy groups of spheres.
1978, Michiel Hazewinkel, Formal Groups and Applications, Harcourt Brace Jovanovich (Academic Press), page xi:In particular, the Morava K'''-theory K(1) appears as a direct summand of 'complex K'''-theory modulo p'. However, the higher Morava K'''-theories #92;left#92;#123;K(n)#92;right#92;#125;#95;#123;n#92;ge 2#125; are much more mysterious from a geometric point of view. REMARK 5.8. For a fixed prime number p, the Morava K'''-theories K(n) are defined for 0lt;nlt;#92;infty.
2014, Stephan Stolz, Topology and Field Theories, American Mathematical Society, page 102:This has changed in recent years: on the one hand, bivariant K'''-theories were defined by the author for other categories of algebras [Doc. Math. 2 (1997), 139–182 (electronic); MR1456322 (98h: 19006)]; on the other hand, the local cyclic homology theory by M. Puschnigg works for small algebras and C^*-algebras alike[…].
2007, Mathematical Reviews, American Mathematical Society, page 4338:
Deriveds
algebraic K-theory · Morava K-theory · K-theory classification · twisted K-theory · real K-theory · complex K-theory · topological K-theory
Hyponyms
topological K-theory (study of rings generated by vector bundles) · algebraic K-theory (study of rings generated by vector bundles)