Lemma 42.29.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.29.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.29.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.26.2. By Remark 42.19.6 the result follows for general $\alpha '$. $\square$

Comment #6638 by WhatJiaranEatsTonight on

For any $(k+1)$-cycle $\alpha$ on $X$ we have $(i')^*f^*\alpha=g^*i^*\alpha$. The last $\alpha$ has an extra $'$.

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