The Stacks project

42.58 Rational intersection products on regular schemes

We will show that $\mathop{\mathrm{CH}}\nolimits _*(X) \otimes \mathbf{Q}$ has an intersection product if $X$ is Noetherian, regular, finite dimensional, with affine diagonal. The basis for the construction is the following result (which is a corollary of the proposition in the previous section).

Let $X, S, \delta $ be as in Lemma 42.58.1. For simplicity let us work with cycles of a given codimension, see Section 42.42. Let $[X]$ be the fundamental cycle of $X$, see Remark 42.42.2. Pick $\alpha \in CH^ i(X)$ and $\beta \in CH^ j(X)$. By the lemma we can find a unique $\alpha ' \in K_0(\textit{Vect}(X)) \otimes \mathbf{Q}$ with $ch(\alpha ') \cap [X] = \alpha $. Of course this means that $ch_{i'}(\alpha ') \cap [X] = 0$ if $i' \not= i$ and $ch_ i(\alpha ') \cap [X] = \alpha $. By Lemma 42.56.6 we see that $\alpha '' = 2^{-i}\psi ^2(\alpha ')$ is another solution. By uniqueness we get $\alpha '' = \alpha '$ and we conclude that $ch_{i'}(\alpha ) = 0$ in $A^{i'}(X) \otimes \mathbf{Q}$ for $i' \not= i$. Then we can define

in $\mathop{\mathrm{CH}}\nolimits ^{i + j}(X) \otimes \mathbf{Q}$ by the property of $\alpha '$ we observed above. This is a symmetric pairing: namely, if we pick $\beta ' \in K_0(\textit{Vect}(X)) \otimes \mathbf{Q}$ lifting $\beta $, then we get

and we know that Chern classes commute. The intersection product is associative for the same reason

because we know composition of bivariant classes is associative. Perhaps a better way to formulate this is as follows: there is a unique commutative, associative intersection product on $\mathop{\mathrm{CH}}\nolimits ^*(X) \otimes \mathbf{Q}$ compatible with grading such that the isomorphism $K_0(\textit{Vect}(X)) \otimes \mathbf{Q} \to \mathop{\mathrm{CH}}\nolimits ^*(X) \otimes \mathbf{Q}$ is an isomorphism of rings.