We provide a patch to complete the proof of the Rost-Voevodsky Theorem, that
the norm residue map is an isomorphism. (This settles the motivic Bloch-Kato
conjecture). This preprint is designed to be read by experts, to check that the
theorem has indeed been proven.
By the norm residue map we mean KnM(k)/l →
Hnet(k,μln)
for any field k containing 1/l. By "patch" we mean that instead of
proving the assertions in [MC/l] about mod-l operations we
establish parallel results for operations from integral motivic cohomology
to mod-l motivic cohomology.
The unpublished references we depend upon are:
May, 2007