Lemma 42.26.2. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$, $Y$ be locally of finite type over $S$. Let $f : X \to Y$ be a flat morphism of relative dimension $r$. Let $\mathcal{L}$ be an invertible sheaf on $Y$. Let $\alpha $ be a $k$-cycle on $Y$. Then
in $\mathop{\mathrm{CH}}\nolimits _{k + r - 1}(X)$.
Proof. Write $\alpha = \sum n_ i[W_ i]$. We will show that
in $\mathop{\mathrm{CH}}\nolimits _{k + r - 1}(X)$ by producing a rational equivalence on the closed subscheme $f^{-1}(W_ i)$ of $X$. By the discussion in Remark 42.19.6 this will prove the equality of the lemma is true.
Let $W \subset Y$ be an integral closed subscheme of $\delta $-dimension $k$. Consider the closed subscheme $W' = f^{-1}(W) = W \times _ Y X$ so that we have the fibre product diagram
We have to show that $f^*(c_1(\mathcal{L}) \cap [W]) = c_1(f^*\mathcal{L}) \cap f^*[W]$. Choose a nonzero meromorphic section $s$ of $\mathcal{L}|_ W$. Let $W'_ i \subset W'$ be the irreducible components of $\delta $-dimension $k + r$. Write $[W']_{k + r} = \sum n_ i[W'_ i]$ with $n_ i$ the multiplicity of $W'_ i$ in $W'$ as per definition. So $f^*[W] = \sum n_ i[W'_ i]$ in $Z_{k + r}(X)$. Since each $W'_ i \to W$ is dominant we see that $s_ i = s|_{W'_ i}$ is a nonzero meromorphic section for each $i$. By Lemma 42.26.1 we have the following equality of cycles
in $Z_{k + r - 1}(W')$. This finishes the proof since the left hand side is a cycle on $W'$ which pushes to $f^*(c_1(\mathcal{L}) \cap [W])$ in $\mathop{\mathrm{CH}}\nolimits _{k + r - 1}(X)$ and the right hand side is a cycle on $W'$ which pushes to $c_1(f^*\mathcal{L}) \cap f^*[W]$ in $\mathop{\mathrm{CH}}\nolimits _{k + r - 1}(X)$. $\square$
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)