The Stacks project

Proof. Denote $g : X \to \mathop{\mathrm{Spec}}(k)$ the structure morphism. The map is the composition of the isomorphisms

The first is the isomorphism $c \mapsto c \circ g^*$ of Proposition 42.60.2 and the second is the isomorphism $c \mapsto c \cap [\mathop{\mathrm{Spec}}(k)]$ of Lemma 42.61.2. From the proof of Lemma 42.61.2 we see that the inverse to the second arrow sends $\alpha \in \mathop{\mathrm{CH}}\nolimits _{d - p}(X)$ to the bivariant class $c_\alpha$ which sends $\beta \in \mathop{\mathrm{CH}}\nolimits _*(Y)$ for $Y$ locally of finite type over $k$ to $\alpha \times \beta$ in $\mathop{\mathrm{CH}}\nolimits _*(X \times _ k Y)$. From the proof of Proposition 42.60.2 we see the inverse to the first arrow in turn sends $c_\alpha$ to the bivariant class which sends $\beta \in \mathop{\mathrm{CH}}\nolimits _*(Y)$ for $Y \to X$ locally of finite type to $\Delta ^!(\alpha \times \beta ) = \alpha \cdot \beta$. From this the final result of the lemma follows. $\square$