Bloch–Kato conjecture

Bloch–Kato conjecture The Bloch–Kato conjecture is a central statement connecting Galois cohomology, Milnor K-theory, and motivic cohomology, predicting an isomorphism between mod-n Milnor K-groups of a field and Galois cohomology groups with torsion coefficients. It was formulated by Spencer Bloch and Kazuya Kato and resolved through the combined work of Vladimir Voevodsky, Markus Rost, Andrei Suslin, Alexander Merkurjev, and others. The resolution unifies ideas from Alain Connes-adjacent noncommutative contexts, the Weil conjectures lineage, and developments stemming from the Milnor conjecture and the Bloch–Kato philosophy in arithmetic geometry.

Statement

The conjecture asserts that for a field F and an integer n invertible in F, the norm residue homomorphism induces an isomorphism - between the degree-r Milnor K-group K_r^M(F)/n and the Galois cohomology group H^r(F, μ_n^{\otimes r}). This identifies algebraic invariants in Milnor K-theory with cohomological invariants in the absolute Galois group of F, relating objects appearing in the work of Emil Artin, Jean-Pierre Serre, John Tate, and Serge Lang. The statement refines and generalizes the Milnor conjecture and interfaces with results by Serre's conjecture II and the Merkurjev–Suslin theorem.

Historical development and motivations

Motivated by patterns in algebraic cycles studied by Spencer Bloch and arithmetic duality theories advanced by Kazuya Kato, the conjecture grew out of attempts to reconcile the behavior of symbols in Milnor K-theory with cup-products in Galois cohomology investigated by Jean-Louis Verdier-related cohomologists. Early progress came from the Merkurjev–Suslin theorem proving the degree-two case, influenced by techniques from Alexander Grothendieck's programme, the Bloch–Ogus theory, and the formulation of motivic cohomology by Vladimir Voevodsky and Andrei Suslin. The conjecture attracted contributions from researchers in the circles of Pierre Deligne, Max Karoubi, Friedhelm Waldhausen, and institutions such as Institute for Advanced Study, École Normale Supérieure, and University of Chicago.

Key cases and results (including proof by Voevodsky, Rost, and others)

The degree-one case follows from classical Kummer theory developed by Ernst Eduard Kummer and elaborated by Emil Artin and John Tate. The degree-two case was settled by Alexander Merkurjev and Andrei Suslin via the Merkurjev–Suslin theorem linking K_2^M and the Brauer group, building on methods from the Brauer group literature including work of Richard Brauer and Claude Chevalley. The full conjecture, often called the Norm Residue Isomorphism Theorem, was proven through a sequence of breakthroughs: Markus Rost established key norm variety constructions and the Rost invariant inspired by the study of algebraic groups akin to work by Robert Steinberg and Jacques Tits; Vladimir Voevodsky developed motivic homotopy theory and the theory of mixed motives related to foundations by Alexander Grothendieck and conjectural frameworks of Beilinson; collaborators including Fabien Ivorra, Olivier Gabber, and Charles Weibel completed technical aspects. The combined output culminated in final proofs by Voevodsky and Rost, with significant inputs by Andrei Suslin and Maxim Rostov-style methods, earning broad recognition across the fields linked to Fields Medal-level work.

Consequences and applications

The theorem yields decisive control over symbols in Milnor K-theory, influences classification problems for quadratic forms studied by Emil Artin-era successors like John Milnor and Max-Albert Knus, and informs the structure of the Brauer group in arithmetic contexts analyzed by Jean-Pierre Serre and Gérard Laumon. It underpins computations in motivic cohomology used in formulations of the Beilinson conjectures, impacts the study of special values in L-function research tied to work by André Weil and Yuri Manin, and aids descent problems for algebraic varieties considered by researchers at Harvard University and Princeton University. The result also informs the study of torsion phenomena in algebraic K-theory pursued by Daniel Quillen and bridges to stable homotopy contexts developed by Michael Hopkins and Haynes Miller.

Techniques and ideas in the proof (motivic cohomology, Milnor K-theory)

Key techniques include the construction and analysis of norm varieties introduced by Markus Rost and the development of motivic homotopy theory by Vladimir Voevodsky building on concepts from Alexander Grothendieck's derived categories and Pierre Deligne's cohomological methods. Central tools are Milnor K-theory symbols conceptualized by John Milnor and the manipulation of Galois cohomology pioneered by John Tate and Jean-Pierre Serre. The proof synthesizes methods from the theory of cycles advanced by Spencer Bloch, operations in motivic cohomology analogous to Steenrod operations studied by Norman Steenrod, and cohomological vanishing techniques inspired by the Weil conjectures tradition. Algebraic group cohomology, purity results related to Gersten conjecture-style statements, and delicate patching arguments drawing on models from Alexander Grothendieck's SGA seminars complete the technical landscape.

Category:Algebraic number theory