Algebraic K-theory

Algebraic K-theory is a fascinating area of mathematics that connects to many other subjects, such as geometry, topology, ring theory, and number theory. In algebraic K-theory, mathematicians assign special groups called K-groups to different geometric, algebraic, and arithmetic objects. These groups contain important information about the original object, though they can be very hard to calculate. One big challenge in this field is figuring out the K-groups of the integers.

K-theory began in the late 1950s when Alexander Grothendieck studied intersection theory on algebraic varieties. At first, Grothendieck focused on K₀, the zeroth K-group, which still has many useful applications, like the Grothendieck–Riemann–Roch theorem. Today, algebraic K-theory continues to grow, linking to topics such as motivic cohomology, Chow groups, quadratic reciprocity, and the study of number fields.

Early discoveries focused on the simpler, "lower" K-groups. For example, for a field F, the group K₀(F) is closely related to the idea of vector space dimension. For a commutative ring R, K₀(R) connects to the Picard group. The group K₁(R) relates to the group of units, and for a field, it is exactly that group of units. Later, mathematicians like Daniel Quillen and Robert Thomason made major advances in understanding the more complex "higher" K-groups.

History

The history of algebraic K-theory began in the 19th century with work by Bernhard Riemann and Gustav Roch on what is now called the Riemann–Roch theorem. This theorem relates the properties of vector spaces formed by certain functions on a surface. In the mid-20th century, Friedrich Hirzebruch expanded this theorem to more complex mathematical varieties.

The field of K-theory was named after a construction by Alexander Grothendieck in 1957. Grothendieck studied collections of classes of vector bundles—mathematical objects that can be thought of as families of vector spaces—and developed a way to assign invariants to them. These invariants formed what is now known as the Grothendieck group, denoted ( K_0(X) ). This work laid the foundation for K-theory, connecting it to other areas of mathematics like topology and number theory.

Lower K-groups

The lower K-groups are an important part of algebraic K-theory, a branch of mathematics that connects to geometry, topology, and number theory. These groups help us understand properties of rings and other algebraic structures.

K₀ is the simplest lower K-group. It looks at the different ways we can build structures called "projective modules" from a ring. For a commutative ring, there’s a special part of K₀ called the "reduced zeroth K-theory."

K₁ deals with the invertible elements of a ring and how they can be combined. It’s linked to the study of matrices and their properties. For fields (like the rational numbers), K₁ is easy to describe, but for more complex rings, it can be trickier.

K₂ is another important group in K-theory. It was defined by John Milnor and relates to central extensions of certain groups. For fields, there’s a clear way to understand K₂ using what’s called Steinberg symbols.

Milnor K-theory

Main article: Milnor K-theory

Milnor K-theory is a way to study "higher" K-groups in mathematics. It starts with a simple idea about the K-group of a field and builds more complex structures from it. These groups help connect algebra to geometry and number theory.

The theory uses tensor products and special rules to create new mathematical objects called symbols. These symbols are important because they link K-theory to other areas of mathematics, like cohomology. Famous mathematicians have solved big conjectures about how these ideas fit together.

Higher K-theory

Higher algebraic K-theory is a part of mathematics that studies special groups connected to different mathematical structures. These groups help mathematicians understand relationships between algebra, geometry, and number theory.

There are different ways to define these K-groups. One method, called the plus-construction, uses ideas from homotopy theory to create these groups. Another method, the Q-construction, works in more general situations and directly defines the K-groups. Both methods give the same results, showing the consistency of K-theory. These constructions help mathematicians explore deep connections in various areas of math.

Examples

Algebraic K-theory helps us understand different areas of math, like shapes and numbers, but it can be hard to calculate. One important calculation was done by Quillen for finite fields — special sets with a limited number of elements.

For a finite field with q elements, Quillen found specific results for K-groups:

• K₀ is always the group Z.
• For even indices greater than zero, the K-groups are zero.
• For odd indices, the K-groups have a specific structure related to q.

These discoveries give mathematicians valuable insights into how K-theory works with different kinds of numbers.

Applications and open questions

Algebraic K-groups help mathematicians study special values of L-functions and a theory called Iwasawa theory. They are also used to build something called higher regulators.

There are still many unsolved questions about these groups. One conjecture, called Parshin's conjecture, suggests that for certain types of numbers, these groups disappear except for a small part called torsion. Another important idea, known as Bass' conjecture, proposes that these groups are always built from a finite number of pieces when dealing with certain types of algebraic structures.