## 43.1 Introduction

In this chapter we construct the intersection product on the Chow groups modulo rational equivalence on a nonsingular projective variety over an algebraically closed field. Our tools are Serre's Tor formula (see [Chapter V, Serre_algebre_locale]), reduction to the diagonal, and the moving lemma.

We first recall cycles and how to construct proper pushforward and flat pullback of cycles. Next, we introduce rational equivalence of cycles which gives us the Chow groups $\mathop{\mathrm{CH}}\nolimits _*(X)$. Proper pushforward and flat pullback factor through rational equivalence to give operations on Chow groups. This takes up Sections 43.3, 43.4, 43.5, 43.6, 43.7, 43.8, 43.9, 43.10, and 43.11. For proofs we mostly refer to the chapter on Chow homology where these results have been proven in the setting of schemes locally of finite type over a universally catenary Noetherian base, see Chow Homology, Section 42.7 ff.

Since we work on a nonsingular projective $X$ any irreducible component of the intersection $V \cap W$ of two irreducible closed subvarieties has dimension at least $\dim (V) + \dim (W) - \dim (X)$. We say $V$ and $W$ intersect properly if equality holds for every irreducible component $Z$. In this case we define the intersection multiplicity $e_ Z = e(X, V \cdot W, Z)$ by the formula

We need to do a little bit of commutative algebra to show that these intersection multiplicities agree with intuition in simple cases, namely, that sometimes

in other words, only $\text{Tor}_0$ contributes. This happens when $V$ and $W$ are Cohen-Macaulay in the generic point of $Z$ or when $W$ is cut out by a regular sequence in $\mathcal{O}_{X, Z}$ which also defines a regular sequence on $\mathcal{O}_{V, Z}$. However, Example 43.14.4 shows that higher tors are necessary in general. Moreover, there is a relationship with the Samuel multiplicity. These matters are discussed in Sections 43.13, 43.14, 43.15, 43.16, and 43.17.

Reduction to the diagonal is the statement that we can intersect $V$ and $W$ by intersecting $V \times W$ with the diagonal in $X \times X$. This innocuous statement, which is clear on the level of scheme theoretic intersections, reduces an intersection of a general pair of closed subschemes, to the case where one of the two is locally cut out by a regular sequence. We use this, following Serre, to obtain positivity of intersection multiplicities. Moreover, reduction to the diagonal leads to additivity of intersection multiplicities, associativity, and a projection formula. This can be found in Sections 43.18, 43.19, 43.20, 43.21, and 43.22.

Finally, we come to the moving lemmas and applications. There are two parts to the moving lemma. The first is that given closed subvarieties

with $X$ nonsingular, we can find a subvariety $C \subset \mathbf{P}^ N$ intersecting $X$ properly such that

and such that the other components $Z_ j$ are “more general” than $Z$. The second part is that one can move $C \subset \mathbf{P}^ N$ over a rational curve to a subvariety in general position with respect to any given list of subvarieties. Combined these results imply that it suffices to define the intersection product of cycles on $X$ which intersect properly which was done above. Of course this only leads to an intersection product on $\mathop{\mathrm{CH}}\nolimits _*(X)$ if one can show, as we do in the text, that these products pass through rational equivalence. This and some applications are discussed in Sections 43.23, 43.24, 43.25, 43.26, 43.27, and 43.28.

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

## Comments (5)

Comment #1378 by jojo on

Comment #1379 by Johan on

Comment #1380 by jojo on

Comment #2339 by oliver on

Comment #2341 by Johan on