01 · The idea
In everyday language
Topology studies features that survive continuous deformation. Algebraic geometry studies spaces constrained by polynomial equations, where ordinary deformation methods do not transfer directly. Voevodsky developed a framework that gives these rigid spaces analogues of topological tools. Motivic cohomology organises algebraic cycles into groups and connects them with other invariants. In the Milnor conjecture, symbols built from nonzero field elements, taken modulo two, match appropriate Galois cohomology classes. Proving this required a new conceptual setting in which relations invisible in a single calculation could become structural facts. The machinery reaches far beyond this one conjecture.
Why it matters
Motivic methods changed how arithmetic and geometric invariants could be compared, proving the Milnor conjecture and supporting later work on the Bloch–Kato conjecture and modern algebraic homotopy theory.
