In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, K-theory is, roughly speaking, the study of a
ring generated by
vector bundles
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every p ...
over a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
or
scheme A scheme is a systematic plan for the implementation of a certain idea.
Scheme or schemer may refer to:
Arts and entertainment
* ''The Scheme'' (TV series), a BBC Scotland documentary series
* The Scheme (band), an English pop band
* ''The Schem ...
. In
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify ...
, it is a
cohomology theory known as
topological K-theory. In
algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary ...
and
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, it is referred to as
algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense ...
. It is also a fundamental tool in the field of
operator algebra
In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings.
The results obtained in the study of ...
s. It can be seen as the study of certain kinds of
invariants of large
matrices
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
.
K-theory involves the construction of families of ''K''-
functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and m ...
s that map from topological spaces or schemes to associated rings; these rings reflect some aspects of the structure of the original spaces or schemes. As with functors to
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
s in algebraic topology, the reason for this functorial mapping is that it is easier to compute some topological properties from the mapped rings than from the original spaces or schemes. Examples of results gleaned from the K-theory approach include the
Grothendieck–Riemann–Roch theorem
In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is ...
,
Bott periodicity
In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable comp ...
, the
Atiyah–Singer index theorem
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the sp ...
, and the
Adams operations.
In
high energy physics
Particle physics or high energy physics is the study of Elementary particle, fundamental particles and fundamental interaction, forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standa ...
, K-theory and in particular
twisted K-theory
In mathematics, twisted K-theory (also called K-theory with local coefficients) is a variation on K-theory, a mathematical theory from the 1950s that spans algebraic topology, abstract algebra and operator theory.
More specifically, twisted K-th ...
have appeared in
Type II string theory
In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions. Both theorie ...
where it has been conjectured that they classify
D-branes
In string theory, D-branes, short for ''Dirichlet membrane'', are a class of extended objects upon which open strings can end with Dirichlet boundary conditions, after which they are named. D-branes were discovered by Jin Dai, Leigh, and Polc ...
,
Ramond–Ramond field strengths and also certain
spinors
In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sli ...
on
generalized complex manifolds. In
condensed matter physics
Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the su ...
K-theory has been used to classify
topological insulator
A topological insulator is a material whose interior behaves as an electrical insulator while its surface behaves as an electrical conductor, meaning that electrons can only move along the surface of the material.
A topological insulator is an ...
s,
superconductors and stable
Fermi surface In condensed matter physics, the Fermi surface is the surface in reciprocal space which separates occupied from unoccupied electron states at zero temperature. The shape of the Fermi surface is derived from the periodicity and symmetry of the crys ...
s. For more details, see
K-theory (physics).
Grothendieck completion
The Grothendieck completion of an
abelian monoid into an abelian group is a necessary ingredient for defining K-theory since all definitions start by constructing an abelian monoid from a suitable category and turning it into an abelian group through this universal construction. Given an abelian monoid
let
be the relation on
defined by
:
if there exists a
such that
Then, the set
has the structure of a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
where:
:
Equivalence classes in this group should be thought of as formal differences of elements in the abelian monoid. This group
is also associated with a monoid homomorphism
given by
which has a
certain universal property.
To get a better understanding of this group, consider some
equivalence class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a ...
es of the abelian monoid
. Here we will denote the identity element of
by
so that