K-theory

In mathematics, K-theory is the study of a special kind of structure called a ring, which comes from vector bundles over a topological space or scheme. It helps mathematicians understand and describe spaces by looking at these bundles and their properties. In algebraic topology, K-theory is known as topological K-theory, while in algebra and algebraic geometry, it is called algebraic K-theory. K-theory is also important in the study of operator algebras.

K-theory uses special tools called K-functors that connect spaces or schemes to rings. These rings make it easier to study certain properties of the original spaces. Important results in mathematics, such as the Grothendieck–Riemann–Roch theorem, Bott periodicity, the Atiyah–Singer index theorem, and the Adams operations, come from using K-theory.

Beyond pure mathematics, K-theory is also useful in physics. In high energy physics, it plays a role in Type II string theory, where it helps describe objects like D-branes and Ramond–Ramond field strengths. In condensed matter physics, K-theory helps classify topological insulators, superconductors, and stable Fermi surfaces.

Grothendieck completion

Main article: Grothendieck group

The Grothendieck completion is a way to turn a simple structure called an abelian monoid into a more complex one called an abelian group. This process is important in K-theory, which studies structures in mathematics.

Imagine you have a set of numbers where you can add them together, but not subtract. The Grothendieck completion lets you start thinking about differences between these numbers, turning the system into one where subtraction makes sense. For example, with natural numbers (like 1, 2, 3...), this process helps create the integers (..., -2, -1, 0, 1, 2, ...).

Definitions

Main article: Grothendieck group

K-theory is a part of mathematics that studies special groups made from objects called vector bundles. These bundles are like packages of lines or planes that are spread out over a space. There are two main types of K-theory: one used in topology and another in algebraic geometry.

In topology, we look at vector bundles over a special kind of space called a compact Hausdorff space. We group these bundles together and use a process called the Grothendieck completion to create a new group, called the K-theory group. In algebraic geometry, we do something similar but with vector bundles over schemes, which are like geometric spaces made from equations. This helps us understand deep properties of these spaces and their shapes.

Early history

The idea of K-theory began with mathematician Alexander Grothendieck in 1957. He used it to create a special math rule called the Grothendieck–Riemann–Roch theorem. The name "K-theory" comes from the German word Klasse, meaning "class." Grothendieck studied special math objects called coherent sheaves on shapes known as algebraic varieties. Instead of working directly with these sheaves, he made a group from them by using groups of isomorphism classes.

Later, in 1959, Michael Atiyah and Friedrich Hirzebruch used a similar idea but applied it to vector bundles in topology. They created a new way to study shapes in math using these bundles, which helped prove important math results.

Developments

Algebraic K-theory began with the work of mathematician J. H. C. Whitehead and others. Later, Daniel Quillen and Friedhelm Waldhausen provided clear definitions using homotopy theory, helping researchers study higher K-theory.

Today, K-theory is used in many areas, including algebraic geometry and string theory. In 2022, mathematician Alexander Ivanovich Efimov created a new generalization of algebraic K-theory that applies to special types of categories.

Main article: L-theory

Examples and properties

K-theory is a branch of mathematics that studies structures called vector bundles over spaces. In algebraic topology, it acts like a cohomology theory, which means it helps us understand the shape and properties of spaces using algebraic methods.

One simple example involves a field, which is a type of number system. Here, the Grothendieck group—which is a key concept in K-theory—turns out to be the integers, Z. This shows how K-theory can translate geometric ideas into number theory. Another example deals with projective spaces, which are spaces built from lines or planes originating from a field. In these cases, K-theory helps us calculate important numbers related to the space by using formulas involving polynomials.

Applications

Main article: Chern character

In mathematics, K-theory has many useful applications. One important idea is the concept of "virtual" vector bundles, which helps mathematicians study spaces by looking at how they intersect.

Chern characters are another important tool in K-theory. They help connect K-theory to other areas of mathematics by turning information about vector bundles into numbers that are easier to work with. This makes it simpler to study and calculate properties of these bundles.

Equivariant K-theory

Equivariant algebraic K-theory is a special kind of algebraic K-theory that deals with categories of equivariant coherent sheaves on algebraic schemes. These sheaves have the action of a linear algebraic group, and the theory was developed using a method called the Q-construction.

This theory was created by R. W. Thomason in the 1980s, who also proved important results similar to fundamental theorems in K-theory, known as equivariant analogs. Specifically, he worked on proving equivariant versions of the localization theorem.

Main article: Equivariant algebraic K-theory
Grothendieck group