The Stacks project

80.26 Bivariant intersection theory

This section is the analogue of Chow Homology, Section 42.32. In order to intelligently talk about higher chern classes of vector bundles we introduce the following notion, following [FM]. It follows from [Theorem 17.1, F] that our definition agrees with that of [F] modulo the caveat that we are working in different settings.

reference

Definition 80.26.1. In Situation 80.2.1 let $f : X \to Y$ be a morphism of good algebraic spaces over $B$. Let $p \in \mathbf{Z}$. A bivariant class $c$ of degree $p$ for $f$ is given by a rule which assigns to every morphism $Y' \to Y$ of good algebraic spaces over $B$ and every $k$ a map

\[ c \cap - : \mathop{\mathrm{CH}}\nolimits _ k(Y') \longrightarrow \mathop{\mathrm{CH}}\nolimits _{k - p}(X') \]

where $X' = Y' \times _ Y X$, satisfying the following conditions

  1. if $Y'' \to Y'$ is a proper morphism, then $c \cap (Y'' \to Y')_*\alpha '' = (X'' \to X')_*(c \cap \alpha '')$ for all $\alpha ''$ on $Y''$,

  2. if $Y'' \to Y'$ a morphism of good algebraic spaces over $B$ which is flat of relative dimension $r$, then $c \cap (Y'' \to Y')^*\alpha ' = (X'' \to X')^*(c \cap \alpha ')$ for all $\alpha '$ on $Y'$,

  3. if $(\mathcal{L}', s', i' : D' \to Y')$ is as in Definition 80.22.1 with pullback $(\mathcal{N}', t', j' : E' \to X')$ to $X'$, then we have $c \cap (i')^*\alpha ' = (j')^*(c \cap \alpha ')$ for all $\alpha '$ on $Y'$.

The collection of all bivariant classes of degree $p$ for $f$ is denoted $A^ p(X \to Y)$.

In Situation 80.2.1 let $X \to Y$ and $Y \to Z$ be morphisms of good algebraic spaces over $B$. Let $p \in \mathbf{Z}$. It is clear that $A^ p(X \to Y)$ is an abelian group. Moreover, it is clear that we have a bilinear composition

\[ A^ p(X \to Y) \times A^ q(Y \to Z) \to A^{p + q}(X \to Z) \]

which is associative. We will be most interested in $A^ p(X) = A^ p(X \to X)$, which will always mean the bivariant cohomology classes for $\text{id}_ X$. Namely, that is where chern classes will live.

Definition 80.26.2. In Situation 80.2.1 let $X/B$ be good. The Chow cohomology of $X$ is the graded $\mathbf{Z}$-algebra $A^*(X)$ whose degree $p$ component is $A^ p(X \to X)$.

Warning: It is not clear that the $\mathbf{Z}$-algebra structure on $A^*(X)$ is commutative, but we will see that chern classes live in its center.

Remark 80.26.3. In Situation 80.2.1 let $f : X \to Y$ be a morphism of good algebraic spaces over $B$. Then there is a canonical $\mathbf{Z}$-algebra map $A^*(Y) \to A^*(X)$. Namely, given $c \in A^ p(Y)$ and $X' \to X$, then we can let $f^*c$ be defined by the map $c \cap - : \mathop{\mathrm{CH}}\nolimits _ k(X') \to \mathop{\mathrm{CH}}\nolimits _{k - p}(X')$ which is given by thinking of $X'$ as an algebraic space over $Y$.

Lemma 80.26.4. In Situation 80.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Then the rule that to $f : X' \to X$ assignes $c_1(f^*\mathcal{L}) \cap - : \mathop{\mathrm{CH}}\nolimits _ k(X') \to \mathop{\mathrm{CH}}\nolimits _{k - 1}(X')$ is a bivariant class of degree $1$.

Lemma 80.26.5. In Situation 80.2.1 let $f : X \to Y$ be a morphism of good algebraic spaces over $B$ which is flat of relative dimension $r$. Then the rule that to $Y' \to Y$ assignes $(f')^* : \mathop{\mathrm{CH}}\nolimits _ k(Y') \to \mathop{\mathrm{CH}}\nolimits _{k + r}(X')$ where $X' = X \times _ Y Y'$ is a bivariant class of degree $-r$.

Lemma 80.26.6. In Situation 80.2.1 let $X/B$ be good. Let $(\mathcal{L}, s, i : D \to X)$ be a triple as in Definition 80.22.1. Then the rule that to $f : X' \to X$ assignes $(i')^* : \mathop{\mathrm{CH}}\nolimits _ k(X') \to \mathop{\mathrm{CH}}\nolimits _{k - 1}(D')$ where $D' = D \times _ X X'$ is a bivariant class of degree $1$.

Lemma 80.26.7. In Situation 80.2.1 let $f : X \to Y$ and $g : Y \to Z$ be morphisms of good algebraic spaces over $B$. Let $c \in A^ p(X \to Z)$ and assume $f$ is proper. Then the rule that to $X' \to X$ assignes $\alpha \longmapsto f_*(c \cap \alpha )$ is a bivariant class of degree $p$.

Here we see that $c_1(\mathcal{L})$ is in the center of $A^*(X)$.

Lemma 80.26.8. In Situation 80.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Then $c_1(\mathcal{L}) \in A^1(X)$ commutes with every element $c \in A^ p(X)$.

Proof. Let $p : L \to X$ be as in Lemma 80.25.2 and let $o : X \to L$ be the zero section. Observe that $p^*\mathcal{L}^{\otimes -1}$ has a canonical section whose vanishing locus is exactly the effective Cartier divisor $o(X)$. Let $\alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X)$. Then we see that

\[ p^*(c_1(\mathcal{L}^{\otimes -1}) \cap \alpha ) = c_1(p^*\mathcal{L}^{\otimes -1}) \cap p^*\alpha = o_* o^* p^*\alpha \]

by Lemmas 80.19.2 and 80.24.1. Since $c$ is a bivariant class we have

\begin{align*} p^*(c \cap c_1(\mathcal{L}^{\otimes -1}) \cap \alpha ) & = c \cap p^*(c_1(\mathcal{L}^{\otimes -1}) \cap \alpha ) \\ & = c \cap o_* o^* p^*\alpha \\ & = o_* o^* p^*(c \cap \alpha ) \\ & = p^*(c_1(\mathcal{L}^{\otimes -1}) \cap c \cap \alpha ) \end{align*}

(last equality by the above applied to $c \cap \alpha $). Since $p^*$ is injective by a lemma cited above we get that $c_1(\mathcal{L}^{\otimes -1})$ is in the center of $A^*(X)$. This proves the lemma. $\square$

Here a criterion for when a bivariant class is zero.

Lemma 80.26.9. In Situation 80.2.1 let $X/B$ be good. Let $c \in A^ p(X)$. Then $c$ is zero if and only if $c \cap [Y] = 0$ in $\mathop{\mathrm{CH}}\nolimits _*(Y)$ for every integral algebraic space $Y$ locally of finite type over $X$.

Proof. The if direction is clear. For the converse, assume that $c \cap [Y] = 0$ in $\mathop{\mathrm{CH}}\nolimits _*(Y)$ for every integral algebraic space $Y$ locally of finite type over $X$. Let $X' \to X$ be locally of finite type. Let $\alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X')$. Write $\alpha = \sum n_ i [Y_ i]$ with $Y_ i \subset X'$ a locally finite collection of integral closed subschemes of $\delta $-dimension $k$. Then we see that $\alpha $ is pushforward of the cycle $\alpha ' = \sum n_ i[Y_ i]$ on $X'' = \coprod Y_ i$ under the proper morphism $X'' \to X'$. By the properties of bivariant classes it suffices to prove that $c \cap \alpha ' = 0$ in $\mathop{\mathrm{CH}}\nolimits _{k - p}(X'')$. We have $\mathop{\mathrm{CH}}\nolimits _{k - p}(X'') = \prod \mathop{\mathrm{CH}}\nolimits _{k - p}(Y_ i)$ as follows immediately from the definitions. The projection maps $\mathop{\mathrm{CH}}\nolimits _{k - p}(X'') \to \mathop{\mathrm{CH}}\nolimits _{k - p}(Y_ i)$ are given by flat pullback. Since capping with $c$ commutes with flat pullback, we see that it suffices to show that $c \cap [Y_ i]$ is zero in $\mathop{\mathrm{CH}}\nolimits _{k - p}(Y_ i)$ which is true by assumption. $\square$


Comments (0)


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.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0ERI. Beware of the difference between the letter 'O' and the digit '0'.