Lemma 42.38.2. Let (S, \delta ) be as in Situation 42.7.1. Let X be locally of finite type over S. Let \mathcal{E} be a finite locally free sheaf of rank r on X. Let (\pi : P \to X, \mathcal{O}_ P(1)) be the projective bundle associated to \mathcal{E}. For \alpha \in Z_ k(X) the elements c_ j(\mathcal{E}) \cap \alpha are the unique elements \alpha _ j of \mathop{\mathrm{CH}}\nolimits _{k - j}(X) such that \alpha _0 = \alpha and
\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(\alpha _{r - i}) = 0
holds in the Chow group of P.
Proof.
The uniqueness of \alpha _0, \ldots , \alpha _ r such that \alpha _0 = \alpha and such that the displayed equation holds follows from the projective space bundle formula Lemma 42.36.2. The identity holds by definition for \alpha = [W] where W is an integral closed subscheme of X. For a general k-cycle \alpha on X write \alpha = \sum n_ a[W_ a] with n_ a \not= 0, and i_ a : W_ a \to X pairwise distinct integral closed subschemes. Then the family \{ W_ a\} is locally finite on X. Set P_ a = \pi ^{-1}(W_ a) = \mathbf{P}(\mathcal{E}|_{W_ a}). Denote i'_ a : P_ a \to P the corresponding closed immersions. Consider the fibre product diagram
\xymatrix{ P' \ar@{=}[r] \ar[d]_{\pi '} & \coprod P_ a \ar[d]_{\coprod \pi _ a} \ar[r]_{\coprod i'_ a} & P \ar[d]^\pi \\ X' \ar@{=}[r] & \coprod W_ a \ar[r]^{\coprod i_ a} & X }
The morphism p : X' \to X is proper. Moreover \pi ' : P' \to X' together with the invertible sheaf \mathcal{O}_{P'}(1) = \coprod \mathcal{O}_{P_ a}(1) which is also the pullback of \mathcal{O}_ P(1) is the projective bundle associated to \mathcal{E}' = p^*\mathcal{E}. By definition
c_ j(\mathcal{E}) \cap [\alpha ] = \sum i_{a, *}(c_ j(\mathcal{E}|_{W_ a}) \cap [W_ a]).
Write \beta _{a, j} = c_ j(\mathcal{E}|_{W_ a}) \cap [W_ a] which is an element of \mathop{\mathrm{CH}}\nolimits _{k - j}(W_ a). We have
\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_{P_ a}(1))^ i \cap \pi _ a^*(\beta _{a, r - i}) = 0
for each a by definition. Thus clearly we have
\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_{P'}(1))^ i \cap (\pi ')^*(\beta _{r - i}) = 0
with \beta _ j = \sum n_ a\beta _{a, j} \in \mathop{\mathrm{CH}}\nolimits _{k - j}(X'). Denote p' : P' \to P the morphism \coprod i'_ a. We have \pi ^*p_*\beta _ j = p'_*(\pi ')^*\beta _ j by Lemma 42.15.1. By the projection formula of Lemma 42.26.4 we conclude that
\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(p_*\beta _ j) = 0
Since p_*\beta _ j is a representative of c_ j(\mathcal{E}) \cap \alpha we win.
\square
Comments (0)
There are also: