Holmstrom Bloch-Kato conjecture

The best starting point might be Weibel’s attempt to structure and survey the whole proof, and his list of references. See his webpage, or notes from some talk og his.

Let F\\F be a field, and nn an integer, prime to char(F)char(F). Then the Galois symbol \\theta: K^M_q(F) / n \\to H^p_{Gal}(F, \\mu_n^{\\otimes q}) is an isomorphism.

For background on many ideas, see Gille and Szamuely, in Various folder under ALGEBRA

Voevodsky-Suslin

Voevodsky and Suslin: Bloch-Kato conj and motivic cohom with finite coeffs, file in Voevodsky folder

Voevodsky: BK conjecture for Z mod 2 coeffs and algebraic Morava K-theories. File in Voevodsky folder. Discussion of BK conj and related conjectures. P 32: axioms for cohomology theories on simplicial schemes. Proof that existence of algebraic Morava K-theories satisfying certain properties would imply the BK conjecture.

Weibel on some axioms related to the Voevodsky-Rost program: http://www.math.uiuc.edu/K-theory/0809

Some special case, by Koya, and another special case

Something by Levine and Geisser

An ingredient on norm varieties

The Gersten conjecture for Milnor K-theory , by Moritz Kerz


Papers involved in BK proof, from Weibel talk: Weibel , J Top 2009, pp346 V: Eilenberg-M spaces V: Motivic cohom with Z/2 coeffs IHES 2003 V: Reduced power ops (not refereed/published) Suslin-Joukhovitsky JPAA 206. Haesemeyer-W: Chain lemma etc after Rost, Oslo Symposium 2009 Rost: Chain lemma etc, on his website V: Simplicial radditive functors, AKA Delta-closed classes V: Motives over simplicial schemes V: Motivic cohom with Z/l coeffs (2003, 2008) S-V: Bloch-Kato paper 2001 Also Geisser-Levine Suslin: Grayson ss

nLab page on Bloch-Kato conjecture

Created on June 9, 2014 at 21:16:13 by Andreas Holmström