Lemma 42.23.4. Let $X$ be a scheme locally of finite type over $(S, \delta )$ as in Situation 42.7.1. There is a canonical map

$\mathop{\mathrm{CH}}\nolimits _ k(X) \longrightarrow K_0(\textit{Coh}_{\leq k + 1}(X)/\textit{Coh}_{\leq k - 1}(X))$

induced by the map $Z_ k(X) \to K_0(\textit{Coh}_{\leq k}(X)/\textit{Coh}_{\leq k - 1}(X))$ from Lemma 42.23.2.

Proof. We have to show that an element $\alpha$ of $Z_ k(X)$ which is rationally equivalent to zero, is mapped to zero in $K_0(\textit{Coh}_{\leq k + 1}(X)/\textit{Coh}_{\leq k - 1}(X))$. Write $\alpha = \sum (i_ j)_*\text{div}(f_ j)$ as in Definition 42.19.1. Observe that

$\pi = \coprod i_ j : W = \coprod W_ j \longrightarrow X$

is a finite morphism as each $i_ j : W_ j \to X$ is a closed immersion and the family of $W_ j$ is locally finite in $X$. Hence we may use Lemma 42.23.3 to reduce to the case of $W$. Since $W$ is a disjoint union of intregral scheme, we reduce to the case discussed in the next paragraph.

Assume $X$ is integral of $\delta$-dimension $k + 1$. Let $f$ be a nonzero rational function on $X$. Let $\alpha = \text{div}(f)$. We have to show that $\alpha$ is mapped to zero in $K_0(\textit{Coh}_{\leq k + 1}(X)/\textit{Coh}_{\leq k - 1}(X))$. Let $\mathcal{I} \subset \mathcal{O}_ X$ be the ideal of denominators of $f$, see Divisors, Definition 31.23.10. Then we have short exact sequences

$0 \to \mathcal{I} \to \mathcal{O}_ X \to \mathcal{O}_ X/\mathcal{I} \to 0$

and

$0 \to \mathcal{I} \xrightarrow {f} \mathcal{O}_ X \to \mathcal{O}_ X/f\mathcal{I} \to 0$

See Divisors, Lemma 31.23.9. We claim that

$[\mathcal{O}_ X/\mathcal{I}]_ k - [\mathcal{O}_ X/f\mathcal{I}]_ k = \text{div}(f)$

The claim implies the element $\alpha = \text{div}(f)$ is represented by $[\mathcal{O}_ X/\mathcal{I}] - [\mathcal{O}_ X/f\mathcal{I}]$ in $K_0(\textit{Coh}_{\leq k}(X)/\textit{Coh}_{\leq k - 1}(X))$. Then the short exact sequences show that this element maps to zero in $K_0(\textit{Coh}_{\leq k + 1}(X)/\textit{Coh}_{\leq k - 1}(X))$.

To prove the claim, let $Z \subset X$ be an integral closed subscheme of $\delta$-dimension $k$ and let $\xi \in Z$ be its generic point. Then $I = \mathcal{I}_\xi \subset A = \mathcal{O}_{X, \xi }$ is an ideal such that $fI \subset A$. Now the coefficient of $[Z]$ in $\text{div}(f)$ is $\text{ord}_ A(f)$. (Of course as usual we identify the function field of $X$ with the fraction field of $A$.) On the other hand, the coefficient of $[Z]$ in $[\mathcal{O}_ X/\mathcal{I}] - [\mathcal{O}_ X/f\mathcal{I}]$ is

$\text{length}_ A(A/I) - \text{length}_ A(A/fI)$

Using the distance fuction of Algebra, Definition 10.121.5 we can rewrite this as

$d(A, I) - d(A, fI) = d(I, fI) = \text{ord}_ A(f)$

The equalities hold by Algebra, Lemmas 10.121.6 and 10.121.7. (Using these lemmas isn't necessary, but convenient.) $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).