Remark 36.38.7. Let $f : X \to Y$ be a proper morphism of locally Noetherian schemes. There is a map

which sends $[\mathcal{F}]$ to

This is well defined because the sheaves $R^ if_*\mathcal{F}$ are coherent (Cohomology of Schemes, Proposition 30.19.1), because locally only a finite number are nonzero, and because a short exact sequence of coherent sheaves on $X$ produces a long exact sequence of $R^ if_*$ on $Y$. If $Y$ is quasi-compact (the only case most often used in practice), then we can rewrite the above as

where we have used the equality $K'_0(Y) = K_0(D^ b_{\textit{Coh}}(Y))$ from Lemma 36.38.1.

## Comments (2)

Comment #7827 by Anonymous on

Comment #8055 by Stacks Project on