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 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$

Comment #7542 by Hao Peng on

In this tag and also 42.57.1, is it $\prod_{p\ge0}A^p(X)\otimes \mathbb Q$ instead of $A^*(X)\otimes \mathbb Q$ or somehow we can prove that the Chern classes are finite polynomials?

Comment #7545 by on

Yes, because $X$ is quasi-compact $ch_i(E)$ will be zero for $i$ large enough.

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