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
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
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 integral 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
and
See Divisors, Lemma 31.23.9. We claim that
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
Using the distance fuction of Algebra, Definition 10.121.5 we can rewrite this as
The equalities hold by Algebra, Lemmas 10.121.6 and 10.121.7. (Using these lemmas isn't necessary, but convenient.) $\square$
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)