Lemma 82.19.2. In Situation 82.2.1 let $X, Y/B$ be good. 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 subspace $f^{-1}(W_ i)$ of $X$. By the discussion in Remark 82.15.3 this will prove the equality of the lemma is true.
Let $W \subset Y$ be an integral closed subspace of $\delta $-dimension $k$. Consider the closed subspace $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 82.19.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)