Wikipedia says:
this circle of ideas is distinct from the Bloch–Kato conjecture of K-theory, extending the Milnor conjecture, a proof of which was announced in 2009
What exactly is the K-theory conjecture of Bloch-Kato and has it been proven?
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityWikipedia says:
this circle of ideas is distinct from the Bloch–Kato conjecture of K-theory, extending the Milnor conjecture, a proof of which was announced in 2009
What exactly is the K-theory conjecture of Bloch-Kato and has it been proven?
Here are some lectures by Charles Weibel. Early on, they discuss Milnor Conjecture and Bloch-Kato, and they should go through the proof. My understanding is that there were a bunch of people involved in the proof, though a few were a bit reticent to actually write up their parts of it, and so Weibel drew the short straw and is the one writing it up.
EDIT: Adding a bit, here's Weibel's 2006 page where he notes the status as of then, and to make sure that this is roughly self-contained, here's the statement:
For an odd prime $\ell$, and a field $k$ containing $1/\ell$, the Milnor K-theory $K^M_n(k)/\ell$ is isomorphic to the étale cohomology $H^n_{ét}(k,μ_\ell^n)$ of the field $k$ with coefficients in the twists of $μ_\ell$.
Voevodsky gave a talk at a memorial conference for Grothendieck in January 2009 where he announced a full proof of the Bloch Kato Conjecture. The talk is available on google video.
On 22 June 2013, Joël Riou is going to give a Bourbaki talk on
La conjecture de Bloch-Kato [d'après M. Rost et V. Voevodsky].
La conjecture de Bloch-Kato énonce que pour tout corps $k$ et tout nombre premier $l$ différent de la caractéristique de $k$, l'algèbre de K-théorie de Milnor de $k$ modulo $l$ (qui est définie par générateurs et relations) s'identifie à une algèbre de cohomologie galoisienne associée à $k$. La démonstration de cet énoncé, qui admet de nombreuses applications, utilise de façon essentielle d'une part les théories motiviques (cohomologie, homotopie, opérations de Steenrod) et d'autre part des constructions géometriques de variétés algébriques ayant des propriétés remarquables par rapport à des symboles en K-théorie de Milnor.
Usually the notes are put up on http://www.bourbaki.ens.fr/ some time after the actual talk. You can also write to Joël Riou directly at http://www.math.u-psud.fr/~riou/.