Milnor Conjecture

The Milnor conjecture was a statement in algebraic K-theory and Galois cohomology that connected the Milnor K-theory of a field to its étale cohomology. Proposed by John Milnor in 1970, it asserted that the Milnor K-groups of a field modulo 2 are isomorphic to the Galois cohomology groups with coefficients in Z/2Z — a bridge between two apparently unrelated ways of measuring the arithmetic complexity of a field.

The conjecture remained open for three decades, resisting the efforts of a generation of algebraic geometers and number theorists. Its resolution required not incremental improvement but a structural revolution: Vladimir Voevodsky's construction of motivic cohomology provided the framework in which the conjecture could be proved as a special case of the broader Bloch-Kato conjecture. Voevodsky's proof, published in 1996, was one of the achievements that earned him the Fields Medal in 2002.

The significance of the Milnor conjecture extends beyond its statement. It demonstrated that the arithmetic of fields — their Galois theory, their valuations, their extensions — could be understood through a unified geometric lens. What had been treated as separate subjects (algebraic K-theory, Galois cohomology, quadratic forms) were revealed as facets of a single structure: the motive of a field, expressed in the language of homotopy theory.

The Milnor conjecture is not merely a solved problem in algebraic geometry. It is a case study in how mathematical progress works: a conjecture that seems intractable within its native framework becomes obvious when the framework is replaced. The conjecture did not need more effort; it needed a different ontology.