The Gersten conjecture for Milnor K-theory

Abstract

We prove that the n-th Milnor K-group of an essentially smooth local ring over an infinite field coincides with the (n,n)-motivic cohomology of the ring. This implies Levine's generalized Bloch-Kato conjecture.