Lemma 81.16.2. In Situation 81.2.1 let $X, Y/B$ be good. Let $f : X \to Y$ be a flat morphism of relative dimension $r$. Let $\alpha \sim _{rat} \beta$ be rationally equivalent $k$-cycles on $Y$. Then $f^*\alpha \sim _{rat} f^*\beta$ as $(k + r)$-cycles on $X$.

Proof. What do we have to show? Well, suppose we are given a collection

$i_ j : W_ j \longrightarrow Y$

of closed immersions, with each $W_ j$ integral of $\delta$-dimension $k + 1$ and rational functions $g_ j \in R(W_ j)^*$. Moreover, assume that the collection $\{ |i_ j|(|W_ j|)\} _{j \in J}$ is locally finite in $|Y|$. Then we have to show that

$f^*(\sum i_{j, *}\text{div}(g_ j)) = \sum f^*i_{j, *}\text{div}(g_ j)$

is rationally equivalent to zero on $X$. The sum on the right makes sense by Lemma 81.9.2.

Consider the fibre products

$i'_ j : W'_ j = W_ j \times _ Y X \longrightarrow X.$

and denote $f_ j : W'_ j \to W_ j$ the first projection. By Lemma 81.11.1 we can write the sum above as

$\sum i'_{j, *}(f_ j^*\text{div}(g_ j))$

By Lemma 81.16.1 we see that each $f_ j^*\text{div}(g_ j)$ is rationally equivalent to zero on $W'_ j$. Hence each $i'_{j, *}(f_ j^*\text{div}(g_ j))$ is rationally equivalent to zero. Then the same is true for the displayed sum by the discussion in Remark 81.15.3. $\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).