The Stacks project

Lemma 42.43.2. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be a scheme locally of finite type over $S$. Let

\[ 0 \to \mathcal{N}' \to \mathcal{N} \to \mathcal{E} \to 0 \]

be a short exact sequence of finite locally free $\mathcal{O}_ X$-modules. Consider the closed embedding

\[ i : N' = \underline{\text{Spec}}_ X(\text{Sym}((\mathcal{N}')^\vee )) \longrightarrow N = \underline{\text{Spec}}_ X(\text{Sym}(\mathcal{N}^\vee )) \]

For $\alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X)$ we have

\[ i_*(p')^*\alpha = p^*(c_{top}(\mathcal{E}) \cap \alpha ) \]

where $p' : N' \to X$ and $p : N \to X$ are the structure morphisms.

Proof. Here $c_{top}(\mathcal{E})$ is the bivariant class defined in Remark 42.37.11. By its very definition, in order to verify the formula, we may assume that $\mathcal{E}$ has constant rank. We may similarly assume $\mathcal{N}'$ and $\mathcal{N}$ have constant ranks, say $r'$ and $r$, so $\mathcal{E}$ has rank $r - r'$ and $c_{top}(\mathcal{E}) = c_{r - r'}(\mathcal{E})$. Observe that $p^*\mathcal{E}$ has a canonical section

\[ s \in \Gamma (N, p^*\mathcal{E}) = \Gamma (X, p_*p^*\mathcal{E}) = \Gamma (X, \mathcal{E} \otimes _{\mathcal{O}_ X} \text{Sym}(\mathcal{N}^\vee ) \supset \Gamma (X, \mathop{\mathcal{H}\! \mathit{om}}\nolimits (\mathcal{N}, \mathcal{E})) \]

corresponding to the surjection $\mathcal{N} \to \mathcal{E}$ given in the statement of the lemma. The vanishing scheme of this section is exactly $N' \subset N$. Let $Y \subset X$ be an integral closed subscheme of $\delta $-dimension $n$. Then we have

  1. $p^*[Y] = [p^{-1}(Y)]$ since $p^{-1}(Y)$ is integral of $\delta $-dimension $n + r$,

  2. $(p')^*[Y] = [(p')^{-1}(Y)]$ since $(p')^{-1}(Y)$ is integral of $\delta $-dimension $n + r'$,

  3. the restriction of $s$ to $p^{-1}Y$ has vanishing scheme $(p')^{-1}Y$ and the closed immersion $(p')^{-1}Y \to p^{-1}Y$ is a regular immersion (locally cut out by a regular sequence).

We conclude that

\[ (p')^*[Y] = c_{r - r'}(p^*\mathcal{E}) \cap p^*[Y] \quad \text{in}\quad \mathop{\mathrm{CH}}\nolimits _*(N) \]

by Lemma 42.43.1. This proves the lemma. $\square$


Comments (0)


Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FAA. Beware of the difference between the letter 'O' and the digit '0'.