Lemma 42.62.5. Let $k$ be a field. Let $X$ be an integral scheme smooth over $k$. Let $Y, Z \subset X$ be integral closed subschemes. Set $d = \dim (Y) + \dim (Z) - \dim (X)$. Assume

1. $\dim (Y \cap Z) \leq d$, and

2. $\mathcal{O}_{Y, \xi }$ and $\mathcal{O}_{Z, \xi }$ are Cohen-Macaulay for every $\xi \in Y \cap Z$ with $\delta (\xi ) = d$.

Then $[Y] \cdot [Z] = [Y \cap Z]_ d$ in $\mathop{\mathrm{CH}}\nolimits _ d(X)$.

Proof. Recall that $[Y] \cdot [Z] = \Delta ^!([Y \times Z])$ where $\Delta ^! = c(\Delta : X \to X \times X, \mathcal{T}_{X/k})$ is a higher codimension gysin map (Section 42.54) with $\mathcal{T}_{X/k} = \mathop{\mathcal{H}\! \mathit{om}}\nolimits (\Omega _{X/k}, \mathcal{O}_ X)$ locally free of rank $\dim (X)$. We have the equality of schemes

$Y \cap Z = X \times _{\Delta , (X \times X)} (Y \times Z)$

and $\dim (Y \times Z) = \dim (Y) + \dim (Z)$ and hence conditions (1), (2), and (3) of Lemma 42.54.6 hold. Finally, if $\xi \in Y \cap Z$, then we have a flat local homomorphism

$\mathcal{O}_{Y, \xi } \longrightarrow \mathcal{O}_{Y \times Z, \xi }$

whose “fibre” is $\mathcal{O}_{Z, \xi }$. It follows that if both $\mathcal{O}_{Y, \xi }$ and $\mathcal{O}_{Z, \xi }$ are Cohen-Macaulay, then so is $\mathcal{O}_{Y \times Z, \xi }$, see Algebra, Lemma 10.163.3. In this way we see that all the hypotheses of Lemma 42.54.6 are satisfied and we conclude. $\square$

There are also:

• 2 comment(s) on Section 42.62: Intersection products

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