Lemma 81.18.4. In Situation 81.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $Y \subset X$ be a closed subscheme with $\dim _\delta (Y) \leq k + 1$ and let $s \in \Gamma (Y, \mathcal{L}|_ Y)$ be a regular section. Then
in $\mathop{\mathrm{CH}}\nolimits _ k(X)$.
Proof. Write
where $Y_ i \subset Y$ are the irreducible components of $Y$ of $\delta $-dimension $k + 1$ and $n_ i > 0$. By assumption the restriction $s_ i = s|_{Y_ i} \in \Gamma (Y_ i, \mathcal{L}|_{Y_ i})$ is not zero, and hence is a regular section. By Lemma 81.17.2 we see that $[Z(s_ i)]_ k$ represents $c_1(\mathcal{L}|_{Y_ i})$. Hence by definition
Thus the result follows from Lemma 81.18.3. $\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)