Lemma 42.58.1. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be a quasi-compact regular scheme of finite type over $S$ with affine diagonal and $\delta _{X/S} : X \to \mathbf{Z}$ bounded. Then the composition

\[ K_0(\textit{Vect}(X)) \otimes \mathbf{Q} \longrightarrow A^*(X) \otimes \mathbf{Q} \longrightarrow \mathop{\mathrm{CH}}\nolimits _*(X) \otimes \mathbf{Q} \]

of the map $ch$ from Remark 42.56.5 and the map $c \mapsto c \cap [X]$ is an isomorphism.

**Proof.**
We have $K'_0(X) = K_0(X) = K_0(\textit{Vect}(X))$ by Derived Categories of Schemes, Lemmas 36.38.4, 36.36.8, and 36.38.5. By Remark 42.56.12 the composition given agrees with the map of Proposition 42.57.1 for $X = Y$. Thus the result follows from the proposition.
$\square$

## Comments (3)

Comment #7542 by Hao Peng on

Comment #7545 by Johan on

Comment #7667 by Stacks Project on