Loading web-font TeX/Math/Italic

The Stacks project

42.38 Intersecting with Chern classes

In this section we define Chern classes of vector bundles on X as bivariant classes on X, see Lemma 42.38.7 and the discussion following this lemma. Our construction follows the familiar pattern of first defining the operation on prime cycles and then summing. In Lemma 42.38.2 we show that the result is determined by the usual formula on the associated projective bundle. Next, we show that capping with Chern classes passes through rational equivalence, commutes with proper pushforward, commutes with flat pullback, and commutes with the gysin maps for inclusions of effective Cartier divisors. These lemmas could have been avoided by directly using the characterization in Lemma 42.38.2 and using Lemma 42.33.4; the reader who wishes to see this worked out should consult Chow Groups of Spaces, Lemma 82.28.1.

Definition 42.38.1. 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. We define, for every integer k and any 0 \leq j \leq r, an operation

c_ j(\mathcal{E}) \cap - : Z_ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k - j}(X)

called intersection with the jth Chern class of \mathcal{E}.

  1. Given an integral closed subscheme i : W \to X of \delta -dimension k we define

    c_ j(\mathcal{E}) \cap [W] = i_*(c_ j({i^*\mathcal{E}}) \cap [W]) \in \mathop{\mathrm{CH}}\nolimits _{k - j}(X)

    where c_ j({i^*\mathcal{E}}) \cap [W] is as defined in Definition 42.37.1.

  2. For a general k-cycle \alpha = \sum n_ i [W_ i] we set

    c_ j(\mathcal{E}) \cap \alpha = \sum n_ i c_ j(\mathcal{E}) \cap [W_ i]

If \mathcal{E} has rank 1 then this agrees with our previous definition (Definition 42.25.1) by Lemma 42.37.2.

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

We will consistently use this characterization of Chern classes to prove many more properties.

Lemma 42.38.3. 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. If \alpha \sim _{rat} \beta are rationally equivalent k-cycles on X then c_ j(\mathcal{E}) \cap \alpha = c_ j(\mathcal{E}) \cap \beta in \mathop{\mathrm{CH}}\nolimits _{k - j}(X).

Proof. By Lemma 42.38.2 the elements \alpha _ j = c_ j(\mathcal{E}) \cap \alpha , j \geq 1 and \beta _ j = c_ j(\mathcal{E}) \cap \beta , j \geq 1 are uniquely determined by the same equation in the chow group of the projective bundle associated to \mathcal{E}. (This of course relies on the fact that flat pullback is compatible with rational equivalence, see Lemma 42.20.2.) Hence they are equal. \square

In other words capping with Chern classes of finite locally free sheaves factors through rational equivalence to give maps

c_ j(\mathcal{E}) \cap - : \mathop{\mathrm{CH}}\nolimits _ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k - j}(X).

Our next task is to show that Chern classes are bivariant classes, see Definition 42.33.1.

Lemma 42.38.4. Let (S, \delta ) be as in Situation 42.7.1. Let X, Y be locally of finite type over S. Let \mathcal{E} be a finite locally free sheaf of rank r on X. Let p : X \to Y be a proper morphism. Let \alpha be a k-cycle on X. Let \mathcal{E} be a finite locally free sheaf on Y. Then

p_*(c_ j(p^*\mathcal{E}) \cap \alpha ) = c_ j(\mathcal{E}) \cap p_*\alpha

Proof. Let (\pi : P \to Y, \mathcal{O}_ P(1)) be the projective bundle associated to \mathcal{E}. Then P_ X = X \times _ Y P is the projective bundle associated to p^*\mathcal{E} and \mathcal{O}_{P_ X}(1) is the pullback of \mathcal{O}_ P(1). Write \alpha _ j = c_ j(p^*\mathcal{E}) \cap \alpha , so \alpha _0 = \alpha . By Lemma 42.38.2 we have

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi _ X^*(\alpha _{r - i}) = 0

in the chow group of P_ X. Consider the fibre product diagram

\xymatrix{ P_ X \ar[r]_-{p'} \ar[d]_{\pi _ X} & P \ar[d]^\pi \\ X \ar[r]^ p & Y }

Apply proper pushforward p'_* (Lemma 42.20.3) to the displayed equality above. Using Lemmas 42.26.4 and 42.15.1 we obtain

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(p_*\alpha _{r - i}) = 0

in the chow group of P. By the characterization of Lemma 42.38.2 we conclude. \square

Lemma 42.38.5. Let (S, \delta ) be as in Situation 42.7.1. Let X, Y be locally of finite type over S. Let \mathcal{E} be a finite locally free sheaf of rank r on Y. Let f : X \to Y be a flat morphism of relative dimension r. Let \alpha be a k-cycle on Y. Then

f^*(c_ j(\mathcal{E}) \cap \alpha ) = c_ j(f^*\mathcal{E}) \cap f^*\alpha

Proof. Write \alpha _ j = c_ j(\mathcal{E}) \cap \alpha , so \alpha _0 = \alpha . By Lemma 42.38.2 we have

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(\alpha _{r - i}) = 0

in the chow group of the projective bundle (\pi : P \to Y, \mathcal{O}_ P(1)) associated to \mathcal{E}. Consider the fibre product diagram

\xymatrix{ P_ X = \mathbf{P}(f^*\mathcal{E}) \ar[r]_-{f'} \ar[d]_{\pi _ X} & P \ar[d]^\pi \\ X \ar[r]^ f & Y }

Note that \mathcal{O}_{P_ X}(1) is the pullback of \mathcal{O}_ P(1). Apply flat pullback (f')^* (Lemma 42.20.2) to the displayed equation above. By Lemmas 42.26.2 and 42.14.3 we see that

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_{P_ X}(1))^ i \cap \pi _ X^*(f^*\alpha _{r - i}) = 0

holds in the chow group of P_ X. By the characterization of Lemma 42.38.2 we conclude. \square

Lemma 42.38.6. 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 (\mathcal{L}, s, i : D \to X) be as in Definition 42.29.1. Then c_ j(\mathcal{E}|_ D) \cap i^*\alpha = i^*(c_ j(\mathcal{E}) \cap \alpha ) for all \alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X).

Proof. Write \alpha _ j = c_ j(\mathcal{E}) \cap \alpha , so \alpha _0 = \alpha . By Lemma 42.38.2 we have

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(\alpha _{r - i}) = 0

in the chow group of the projective bundle (\pi : P \to X, \mathcal{O}_ P(1)) associated to \mathcal{E}. Consider the fibre product diagram

\xymatrix{ P_ D = \mathbf{P}(\mathcal{E}|_ D) \ar[r]_-{i'} \ar[d]_{\pi _ D} & P \ar[d]^\pi \\ D \ar[r]^ i & X }

Note that \mathcal{O}_{P_ D}(1) is the pullback of \mathcal{O}_ P(1). Apply the gysin map (i')^* (Lemma 42.30.2) to the displayed equation above. Applying Lemmas 42.30.4 and 42.29.9 we obtain

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_{P_ D}(1))^ i \cap \pi _ D^*(i^*\alpha _{r - i}) = 0

in the chow group of P_ D. By the characterization of Lemma 42.38.2 we conclude. \square

At this point we have enough material to be able to prove that capping with Chern classes defines a bivariant class.

Lemma 42.38.7. Let (S, \delta ) be as in Situation 42.7.1. Let X be locally of finite type over S. Let \mathcal{E} be a locally free \mathcal{O}_ X-module of rank r. Let 0 \leq p \leq r. Then the rule that to f : X' \to X assigns c_ p(f^*\mathcal{E}) \cap - : \mathop{\mathrm{CH}}\nolimits _ k(X') \to \mathop{\mathrm{CH}}\nolimits _{k - p}(X') is a bivariant class of degree p.

This lemma allows us to define the Chern classes of a finite locally free module as follows.

Definition 42.38.8. Let (S, \delta ) be as in Situation 42.7.1. Let X be locally of finite type over S. Let \mathcal{E} be a locally free \mathcal{O}_ X-module of rank r. For i = 0, \ldots , r the ith Chern class of \mathcal{E} is the bivariant class c_ i(\mathcal{E}) \in A^ i(X) of degree i constructed in Lemma 42.38.7. The total Chern class of \mathcal{E} is the formal sum

c(\mathcal{E}) = c_0(\mathcal{E}) + c_1(\mathcal{E}) + \ldots + c_ r(\mathcal{E})

which is viewed as a nonhomogeneous bivariant class on X.

By the remark following Definition 42.38.1 if \mathcal{E} is invertible, then this definition agrees with Definition 42.34.4. Next we see that Chern classes are in the center of the bivariant Chow cohomology ring A^*(X).

Lemma 42.38.9. Let (S, \delta ) be as in Situation 42.7.1. Let X be locally of finite type over S. Let \mathcal{E} be a locally free \mathcal{O}_ X-module of rank r. Then

  1. c_ j(\mathcal{E}) \in A^ j(X) is in the center of A^*(X) and

  2. if f : X' \to X is locally of finite type and c \in A^*(X' \to X), then c \circ c_ j(\mathcal{E}) = c_ j(f^*\mathcal{E}) \circ c.

In particular, if \mathcal{F} is a second locally free \mathcal{O}_ X-module on X of rank s, then

c_ i(\mathcal{E}) \cap c_ j(\mathcal{F}) \cap \alpha = c_ j(\mathcal{F}) \cap c_ i(\mathcal{E}) \cap \alpha

as elements of \mathop{\mathrm{CH}}\nolimits _{k - i - j}(X) for all \alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X).

Proof. It is immediate that (2) implies (1). Let \alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X). Write \alpha _ j = c_ j(\mathcal{E}) \cap \alpha , so \alpha _0 = \alpha . By Lemma 42.38.2 we have

\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(\alpha _{r - i}) = 0

in the chow group of the projective bundle (\pi : P \to Y, \mathcal{O}_ P(1)) associated to \mathcal{E}. Denote \pi ' : P' \to X' the base change of \pi by f. Using Lemma 42.34.5 and the properties of bivariant classes we obtain

\begin{align*} 0 & = c \cap \left(\sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_ P(1))^ i \cap \pi ^*(\alpha _{r - i})\right) \\ & = \sum \nolimits _{i = 0}^ r (-1)^ i c_1(\mathcal{O}_{P'}(1))^ i \cap (\pi ')^*(c \cap \alpha _{r - i}) \end{align*}

in the Chow group of P' (calculation omitted). Hence we see that c \cap \alpha _ j is equal to c_ j(f^*\mathcal{E}) \cap (c \cap \alpha ) by the characterization of Lemma 42.38.2. This proves the lemma. \square

Remark 42.38.10. 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 \mathcal{O}_ X-module. If the rank of \mathcal{E} is not constant then we can still define the Chern classes of \mathcal{E}. Namely, in this case we can write

X = X_0 \amalg X_1 \amalg X_2 \amalg \ldots

where X_ r \subset X is the open and closed subspace where the rank of \mathcal{E} is r. By Lemma 42.35.4 we have A^ p(X) = \prod A^ p(X_ r). Hence we can define c_ p(\mathcal{E}) to be the product of the classes c_ p(\mathcal{E}|_{X_ r}) in A^ p(X_ r). Explicitly, if X' \to X is a morphism locally of finite type, then we obtain by pullback a corresponding decomposition of X' and we find that

\mathop{\mathrm{CH}}\nolimits _*(X') = \prod \nolimits _{r \geq 0} \mathop{\mathrm{CH}}\nolimits _*(X'_ r)

by our definitions. Then c_ p(\mathcal{E}) \in A^ p(X) is the bivariant class which preserves these direct product decompositions and acts by the already defined operations c_ i(\mathcal{E}|_{X_ r}) \cap - on the factors. Observe that in this setting it may happen that c_ p(\mathcal{E}) is nonzero for infinitely many p. It follows that the total chern class is an element

c(\mathcal{E}) = c_0(\mathcal{E}) + c_1(\mathcal{E}) + c_2(\mathcal{E}) + \ldots \in A^*(X)^\wedge

of the completed bivariant cohomology ring, see Remark 42.35.5. In this setting we define the “rank” of \mathcal{E} to be the element r(\mathcal{E}) \in A^0(X) as the bivariant operation which sends (\alpha _ r) \in \prod \mathop{\mathrm{CH}}\nolimits _*(X'_ r) to (r\alpha _ r) \in \prod \mathop{\mathrm{CH}}\nolimits _*(X'_ r). Note that it is still true that c_ p(\mathcal{E}) and r(\mathcal{E}) are in the center of A^*(X).

Remark 42.38.11. 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 \mathcal{O}_ X-module. In general we write X = \coprod X_ r as in Remark 42.38.10. If only a finite number of the X_ r are nonempty, then we can set

c_{top}(\mathcal{E}) = \sum \nolimits _ r c_ r(\mathcal{E}|_{X_ r}) \in A^*(X) = \bigoplus A^*(X_ r)

where the equality is Lemma 42.35.4. If infinitely many X_ r are nonempty, we will use the same notation to denote

c_{top}(\mathcal{E}) = \prod c_ r(\mathcal{E}|_{X_ r}) \in \prod A^ r(X_ r) \subset A^*(X)^\wedge

see Remark 42.35.5 for notation.


Comments (2)

Comment #5777 by Zongzhu Lin on

In Lemma 0B7H, .


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.