Lemma 42.28.9. Let $(S, \delta )$ be as in Situation 42.7.1. Let $f : X' \to X$ be a flat morphism of relative dimension $r$ 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 + r}(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^{-1}(W) \subset X'$. In case $W \not\subset D$, then $W' \not\subset D'$ and we see that

\[ W' \cap D' = g^{-1}(W \cap D) \]

as closed subschemes of $D'$. Hence the equality holds as cycles, see Lemma 42.14.4. In case $W \subset D$, then $W' \subset D'$ and $W' = g^{-1}(W)$ with $[W']_{k + 1 + r} = g^*[W]$ and equality holds in $\mathop{\mathrm{CH}}\nolimits _{k + r}(D')$ by Lemma 42.25.2. By Remark 42.19.5 the result follows for general $\alpha '$.
$\square$

## Comments (1)

Comment #6638 by WhatJiaranEatsTonight on