Remark 42.56.8. Let $X$, $Z$, $D_{Z, perf}(\mathcal{O}_ X)$ be as in Remark 42.56.7. Assume $X$ is Noetherian regular of finite dimension. Then there is a canonical map

$K_0(\textit{Coh}(Z)) \longrightarrow K_0(D_{Z, perf}(\mathcal{O}_ X))$

defined as follows. For any coherent $\mathcal{O}_ Z$-module $\mathcal{F}$ denote $\mathcal{F}$ the object of $D(\mathcal{O}_ X)$ which has $\mathcal{F}$ in degree $0$ and is zero in other degrees. Then $\mathcal{F}$ is a perfect complex on $X$ by Derived Categories of Schemes, Lemma 36.11.8. Hence $\mathcal{F}$ is an object of $D_{Z, perf}(\mathcal{O}_ X)$. On the other hand, given a short exact sequence $0 \to \mathcal{F} \to \mathcal{F}' \to \mathcal{F}'' \to 0$ of coherent $\mathcal{O}_ Z$-modules we obtain a distinguished triangle $\mathcal{F} \to \mathcal{F}' \to \mathcal{F}'' \to \mathcal{F}$, see Derived Categories, Section 13.12. This shows that we obtain a map $K_0(\textit{Coh}(Z)) \to K_0(D_{Z, perf}(\mathcal{O}_ X))$ by sending $[\mathcal{F}]$ to $[\mathcal{F}]$ with apologies for the horrendous notation.

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).