Milnor conjecture

Milnor conjecture

The Milnor conjecture proposed a deep relationship between algebraic K-theory and quadratic forms over fields, connecting ideas from John Milnor, Serre's conjectures, Galois cohomology, Étale cohomology, and the arithmetic of fields such as number fields and finite fields. Formulated in the 1970s by John Milnor, the statement motivated research linking algebraic geometry, algebraic K-theory, quadratic form theory, and conjectures of Jean-Pierre Serre and Alexander Grothendieck, culminating in proofs that involved methods from Vladimir Voevodsky, Fabien Morel, Andrei Suslin, and collaborations with institutions such as the Institute for Advanced Study and the Russian Academy of Sciences.

Statement and historical context

Milnor conjectured an isomorphism between graded pieces of Milnor K-theory mod 2 and Galois cohomology with Tate twists, inspired by computations in K-theory of fields, examples from Hilbert's Theorem 90, and analogies with results of Emil Artin and John Tate on cyclic extensions; the conjecture connected to earlier work of Ernst Witt and Alexander Pfister on quadratic forms as well as to the motivic ideas of Grothendieck. The statement guided developments at research centers such as Université Paris-Sud, Harvard University, and Moscow State University, and interacted with major events including workshops at the Institute for Advanced Study and programs at the Clay Mathematics Institute.

Algebraic K-theory and quadratic forms

The conjecture identifies the degree-n part of Milnor K-theory mod 2 with the n-th Galois cohomology group H^n(–,Z/2Z) and with graded pieces of the Witt ring associated to quadratic forms, bringing together techniques from Algebraic K-theory, Galois theory, quadratic form theory, and Homological algebra; this nexus links the conjecture to results by Andrei Suslin, Vladimir Voevodsky, Markus Rost, and computations in Étale cohomology and Motivic cohomology. The formulation involves symbols in K^M_n(F) and the norm residue homomorphism originally examined in work by Alexander Merkurjev and Suslin, and later reframed using the machinery introduced by Spencer Bloch and Kazuya Kato.

Proofs and major results

The main case of the Milnor conjecture for mod 2 coefficients was proved by Vladimir Voevodsky using methods from Motivic homotopy theory, Motivic cohomology, and the construction of A^1-homotopy theory developed by Fabien Morel; Voevodsky's proof built on contributions by Markus Rost (norm varieties), Andrei Suslin (K-theory techniques), and results by Alexander Merkurjev on the Merkurjev–Suslin theorem. Subsequent refinements and generalizations involved collaborations or influences from Maxim Kontsevich, Pierre Deligne, Joseph Oesterlé, and institutions such as IHÉS and Princeton University. Related proofs for other coefficients and higher primes used Rost's strategy, Bloch–Kato conjecture techniques, and work by Rost, Suslin, Vladimir Voevodsky, and others culminating in proofs of the Bloch–Kato conjecture.

Consequences and applications

Resolution of the Milnor conjecture led to advances in the classification of quadratic forms over fields, clarified the structure of the Witt ring, and influenced computations in Algebraic K-theory and Galois cohomology, with downstream effects on problems studied at Harvard University, Cambridge University, and Princeton University. The methods impacted research topics associated with the Langlands program, motivic approaches championed by Grothendieck and Deligne, and applications to Arithmetic geometry problems studied by groups at Institut des Hautes Études Scientifiques and University of Chicago. The conjecture's resolution also informed algorithmic and explicit investigations in fields such as cyclotomic fields and function fields pursued by researchers affiliated with Max Planck Institute for Mathematics and University of Bonn.

Variants and related conjectures

Variants include the Bloch–Kato conjecture, generalizations to odd primes and to other coefficient systems, and connections to conjectures by Jean-Pierre Serre and Alexander Grothendieck about cohomological dimensions and motives; these lead to work by Vladimir Voevodsky, Marc Levine, Eric M. Friedlander, and Charles Weibel. Related problems involve the Merkurjev–Suslin theorem, norm residue isomorphism statements, and broader motivic conjectures considered at gatherings such as programs at the Clay Mathematics Institute and seminars at École Normale Supérieure.

Category:Algebraic K-theory Category:Quadratic forms Category:Galois cohomology