Lemma 42.28.8. Let $(S, \delta )$ be as in Situation 42.7.1. Let $f : X' \to X$ be a proper morphism of schemes locally of finite type over $S$. Let $(\mathcal{L}, s, i : D \to X)$ be as in Definition 42.28.1. Form the diagram

$\xymatrix{ D' \ar[d]_ g \ar[r]_{i'} & X' \ar[d]^ f \\ D \ar[r]^ i & X }$

as in Remark 42.28.7. For any $(k + 1)$-cycle $\alpha '$ on $X'$ we have $i^*f_*\alpha ' = g_*(i')^*\alpha '$ in $\mathop{\mathrm{CH}}\nolimits _ k(D)$ (this makes sense as $f_*$ is defined on the level of cycles).

Proof. Suppose $\alpha = [W']$ for some integral closed subscheme $W' \subset X'$. Let $W = f(W') \subset X$. In case $W' \not\subset D'$, then $W \not\subset D$ and we see that

$[W' \cap D']_ k = \text{div}_{\mathcal{L}'|_{W'}}({s'|_{W'}}) \quad \text{and}\quad [W \cap D]_ k = \text{div}_{\mathcal{L}|_ W}(s|_ W)$

and hence $f_*$ of the first cycle equals the second cycle by Lemma 42.25.3. Hence the equality holds as cycles. In case $W' \subset D'$, then $W \subset D$ and $f_*(c_1(\mathcal{L}|_{W'}) \cap [W'])$ is equal to $c_1(\mathcal{L}|_ W) \cap [W]$ in $\mathop{\mathrm{CH}}\nolimits _ k(W)$ by the second assertion of Lemma 42.25.3. By Remark 42.19.5 the result follows for general $\alpha '$. $\square$

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