Remark 42.6.4 (Milnor K-theory). For a field $k$ let us denote $K^ M_*(k)$ the quotient of the tensor algebra on $k^*$ divided by the two-sided ideal generated by the elements $x \otimes 1 - x$ for $x \in k \setminus \{ 0, 1\} $. Thus $K^ M_0(k) = \mathbf{Z}$, $K_1^ M(k) = k^*$, and

If $A$ is a discrete valuation ring with fraction field $F = \text{Frac}(A)$ and residue field $\kappa $, there is a tame symbol

defined as in Section 42.5; see [Kato-Milnor-K]. More generally, this map can be extended to the case where $A$ is an excellent local domain of dimension $1$ using normalization and norm maps on $K_ i^ M$, see [Kato-Milnor-K]; presumably the method in Section 42.5 can be used to extend the construction of the tame symbol $\partial _ A$ to arbitrary Noetherian local domains $A$ of dimension $1$. Next, let $X$ be a Noetherian scheme with a dimension function $\delta $. Then we can use these tame symbols to get the arrows in the following:

However, it is not clear, that the composition is zero, i.e., that we obtain a complex of abelian groups. For excellent $X$ this is shown in [Kato-Milnor-K]. When $i = 1$ and $j$ arbitrary, this follows from Lemma 42.6.3.

## Comments (0)