K-theory

In mathematics, K-theory is the study of special structures called rings. These rings come from vector bundles over a topological space or scheme. K-theory 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. 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. These tools connect spaces or schemes to rings, making it easier to study properties of the original spaces.

K-theory is also useful in physics. In high energy physics, 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 change a simple math structure called an abelian monoid into a more complex one called an abelian group. This idea is important in K-theory, which looks at different math structures.

Imagine you have numbers that you can add together, but you can’t subtract them. The Grothendieck completion helps you think about the differences between these numbers. This turns the system into one where subtraction is possible. 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 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 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.

Early history

The idea of K-theory started 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 started with the work of mathematician J. H. C. Whitehead. Later, Daniel Quillen and Friedhelm Waldhausen helped explain it better using homotopy theory.

Today, K-theory is used in many areas, like algebraic geometry and string theory. In 2022, a mathematician named Alexander Ivanovich Efimov made a new version of algebraic K-theory.

Main article: L-theory

Examples and properties

K-theory is a part of mathematics that studies structures called vector bundles over spaces. In algebraic topology, it works like a cohomology theory. This means it helps us understand the shape and features of spaces using algebra.

One simple example uses a field, which is a type of number system. Here, the Grothendieck group—a key idea in K-theory—becomes the integers, Z. This shows how K-theory can change geometric ideas into number theory. Another example looks at projective spaces. These are spaces made from lines or planes starting from a field. In these cases, K-theory helps us find important numbers about the space using formulas with polynomials.

Applications

Main article: Chern character

In mathematics, K-theory has many useful applications. One important idea is the concept of "virtual" vector bundles. This 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. They turn 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. It studies categories of special objects called equivariant coherent sheaves on algebraic schemes. These sheaves have the action of a linear algebraic group. The theory was developed using a method called the Q-construction.

This theory was created by R. W. Thomason in the 1980s. He proved important results similar to basic theorems in K-theory. These are called equivariant analogs. He worked on proving equivariant versions of the localization theorem.

Main article: Equivariant algebraic K-theory
Grothendieck group