The Stacks project

Proof. Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and let $\mathcal{E}$ be a finite locally free $\mathcal{O}_ X$-module. We first show how to define an element $c^ A(\mathcal{E}) \in A(X)$.

As a first step, let $X = \bigcup X_ r$ be the decomposition into open and closed subschemes such that $\mathcal{E}|_{X_ r}$ has constant rank $r$. Since $X$ is quasi-compact, this decomposition is finite. Hence $A(X) = \prod A(X_ r)$. Thus it suffices to define $c^ A(\mathcal{E})$ when $\mathcal{E}$ has constant rank $r$. In this case let $p : P \to X$ be the projective bundle of $\mathcal{E}$. We can uniquely define elements $c_ i^ A(\mathcal{E}) \in A^ i(X)$ for $i \geq 0$ such that $c_0^ A(\mathcal{E}) = 1$ and the equation

is true. As usual we set $c^ A(\mathcal{E}) = c_0^ A(\mathcal{E}) + c_1^ A(\mathcal{E}) + \ldots + c_ r^ A(\mathcal{E})$ in $A(X)$.

If $\mathcal{E}$ is invertible, then $c^ A(\mathcal{E}) = 1 + c_1^ A(\mathcal{L})$. This follows immediately from the construction above.

The elements $c_ i^ A(\mathcal{E})$ are in the center of $A(X)$. Namely, to prove this we may assume $\mathcal{E}$ has constant rank $r$. Let $p : P \to X$ be the corresponding projective bundle. if $a \in A(X)$ then $p^*a \cup (-1)^ r c_1(\mathcal{O}_ P(1))^ r = (-1)^ r c_1(\mathcal{O}_ P(1))^ r \cup p^*a$ and hence we must have the same for all the other terms in the expression defining $c_ i^ A(\mathcal{E})$ as well and we conclude.

If $f : X' \to X$ is a morphism of $\mathcal{C}$, then $f^*c_ i^ A(\mathcal{E}) = c_ i^ A(f^*\mathcal{E})$. Namely, to prove this we may assume $\mathcal{E}$ has constant rank $r$. Let $p : P \to X$ and $p' : P' \to X'$ be the projective bundles corresponding to $\mathcal{E}$ and $f^*\mathcal{E}$. The induced morphism $g : P' \to P$ is a morphism of $\mathcal{C}$. The pullback by $g$ of the equality defining $c_ i^ A(\mathcal{E})$ is the corresponding equation for $f^*\mathcal{E}$ and we conclude.

Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Consider a short exact sequence

of finite locally free $\mathcal{O}_ X$-modules with $\mathcal{L}$ invertible. Then

Namely, by the construction of $c^ A_ i$ we may assume $\mathcal{E}$ has constant rank $r + 1$ and $\mathcal{F}$ has constant rank $r$. The inclusion

is a morphism of $\mathcal{C}$ and it is the zero scheme of a regular section of the invertible module $\mathcal{L}^{\otimes -1} \otimes \mathcal{O}_ P(1)$. The element

pulls back to zero on $P'$ by definition. Hence we see that

in $A^*(P)$ by assumption (5) on our cohomology $A$. By definition of $c_1^ A(\mathcal{E})$ this gives the desired equality.

Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Consider a short exact sequence

of finite locally free $\mathcal{O}_ X$-modules. Then

Namely, by the construction of $c^ A_ i$ we may assume $\mathcal{E}$, $\mathcal{F}$, and $\mathcal{G}$ have constant ranks $r$, $s$, and $t$. We prove it by induction on $r$. The case $r = 1$ was done above. If $r > 1$, then it suffices to check this after pulling back by the morphism $\mathbf{P}(\mathcal{E}^\vee ) \to X$. Thus we may assume we have an invertible submodule $\mathcal{L} \subset \mathcal{E}$ such that both $\mathcal{E}' = \mathcal{E}/\mathcal{L}$ and $\mathcal{F}' = \mathcal{E}/\mathcal{L}$ are finite locally free (of ranks $s - 1$ and $t - 1$). Then we have

Since we have the short exact sequence

we see by induction hypothesis that

Thus the result follows from a formal calculation.

At this point for $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ we can define $c^ A : K_0(\textit{Vect}(X)) \to A(X)$. Namely, we send a generator $[\mathcal{E}]$ to $c^ A(\mathcal{E})$ and we extend multiplicatively. Thus for example $c^ A(-[\mathcal{E}]) = c^ A(\mathcal{E})^{-1}$ is the formal inverse of $a^ A([\mathcal{E}])$. The multiplicativity in short exact sequences shown above guarantees that this works.

Uniqueness. Suppose $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and $\mathcal{E}$ is a finite locally free $\mathcal{O}_ X$-module. We want to show that conditions (1), (2), and (3) of the lemma uniquely determine $c^ A([\mathcal{E}])$. To prove this we may assume $\mathcal{E}$ has constant rank $r$; this already uses (2). Then we may use induction on $r$. If $r = 1$, then uniqueness follows from (3). If $r > 1$ we pullback using (2) to the projective bundle $p : P \to X$ and we see that we may assume we have a short exact sequence $0 \to \mathcal{E}' \to \mathcal{E} \to \mathcal{E}'' \to 0$ with $\mathcal{E}'$ and $\mathcal{E}''$ having lower rank. By induction hypothesis $c^ A(\mathcal{E}')$ and $c^ A(\mathcal{E}'')$ are uniquely determined. Thus uniqueness for $\mathcal{E}$ by the axiom (1). $\square$

Proof. We may assume $r_ i \geq 1$ for all $i$. We will prove the lemma by induction on $\sum (r_ i - 1)$. If this integer is $0$, then $\mathcal{E}_ i$ is invertible for all $i$ and we conclude by taking $\pi = \text{id}_ X$. If not, then we can pick an $i$ such that $r_ i > 1$ and consider the projective bundle $p : P \to X$ associated to $\mathcal{E}_ i$. We have a short exact sequence

of finite locally free $\mathcal{O}_ P$-modules of ranks $r_ i - 1$, $r_ i$, and $1$. Observe that $p^* : A(X) \to A(P)$ is injective by assumption. By the induction hypothesis applied to the finite locally free $\mathcal{O}_ P$-modules $\mathcal{F}$ and $p^*\mathcal{E}_{i'}$ for $i' \not= i$, we find a morphism $p' : P' \to P$ with properties stated as in the lemma. Then the composition $p \circ p' : P' \to X$ does the job. $\square$

Proof. By the construction of $c^ A_ i$ we may assume $\mathcal{E}$ has constant rank $r$. Let $p : P \to X$ and $p' : P' \to X$ be the projective bundle associated to $\mathcal{E}$ and $\mathcal{E} \otimes \mathcal{L}$. Then there is an isomorphism $g : P \to P'$ such that $g^*\mathcal{O}_{P'}(1) = \mathcal{O}_ P(1) \otimes p^*\mathcal{L}$. See Constructions, Lemma 27.20.1. Thus

The desired equality follows formally from this and the definition of Chern classes using equation (45.12.1.1). $\square$

Proof. Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and let $\mathcal{E}$ be a finite locally free $\mathcal{O}_ X$-module. We first show how to define the rank $r^ A(\mathcal{E}) \in A^0(X)$. Namely, let $X = \bigcup X_ r$ be the decomposition into open and closed subschemes such that $\mathcal{E}|_{X_ r}$ has constant rank $r$. Since $X$ is quasi-compact, this decomposition is finite, say $X = X_0 \amalg X_1 \amalg \ldots \amalg X_ n$. Then $A(X) = A(X_0) \times A(X_1) \times \ldots \times A(X_ n)$. Thus we can define $r^ A(\mathcal{E}) = (0, 1, \ldots , n) \in A^0(X)$.

Let $P_ p(c_1, \ldots , c_ p)$ be the polynomials constructed in Chow Homology, Example 42.43.6. Then we can define

where $ci^ A$ are the Chern classes of Proposition 45.12.1. It follows immediately that we have property (2) and (3) of the lemma.

We still have to show the following three statements

1. If $0 \to \mathcal{E}_1 \to \mathcal{E} \to \mathcal{E}_2 \to 0$ is a short exact sequence of finite locally free $\mathcal{O}_ X$-modules on $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, then $ch^ A(\mathcal{E}) = ch^ A(\mathcal{E}_1) + ch^ A(\mathcal{E}_2)$.

2. If $\mathcal{E}_1$ and $\mathcal{E}_2 \to 0$ are finite locally free $\mathcal{O}_ X$-modules on $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, then $ch^ A(\mathcal{E}_1 \otimes \mathcal{E}_2) = ch^ A(\mathcal{E}_1) ch^ A(\mathcal{E}_2)$.

Namely, the first will prove that $ch^ A$ factors through $K_0(\textit{Vect}(X))$ and the first and the second will combined show that $ch^ A$ is a ring map.

To prove these statements we can reduce to the case where $\mathcal{E}_1$ and $\mathcal{E}_2$ have constant ranks $r_1$ and $r_2$. In this case the equalities in $A^0(X)$ are immediate. To prove the equalities in higher degrees, by Lemma 45.12.2 we may assume that $\mathcal{E}_1$ and $\mathcal{E}_2$ have filtrations whose graded pieces are invertible modules $\mathcal{L}_{1, j}$, $j = 1, \ldots , r_1$ and $\mathcal{L}_{2, j}$, $j = 1, \ldots , r_2$. Using the multiplicativity of Chern classes we get

where $s_ i$ is the $i$th elementary symmetric function as in Chow Homology, Example 42.43.6. Similarly for $c_ i^ A(\mathcal{E}_2)$. In case (1) we get

and for case (2) we get

By the definition of the polynomials $P_ i$ we see that this means

and similarly for $\mathcal{E}_2$. In case (1) we have also

In case (2) we get accordingly

Thus the desired equalities are now consequences of elementary identities between symmetric polynomials.

We omit the proof of uniqueness. $\square$

Proof. Observe that the map $\prod _{i \geq 0} A^ i(X) \to \prod _{i \geq 0} A^ i(X)$ multiplying by $2^ i$ on $A^ i(X)$ is a ring map. Hence, since $\psi ^2$ is also a ring map, it suffices to prove the formulas for additive generators of $K_0(\textit{Vect}(X))$. Thus we may assume $\alpha = [\mathcal{E}]$ for some finite locally free $\mathcal{O}_ X$-module $\mathcal{E}$. By construction of the Chern classes of $\mathcal{E}$ we immediately reduce to the case where $\mathcal{E}$ has constant rank $r$. In this case, we can choose a projective smooth morphism $p : P \to X$ such that restriction $A^*(X) \to A^*(P)$ is injective and such that $p^*\mathcal{E}$ has a finite filtration whose graded parts are invertible $\mathcal{O}_ P$-modules $\mathcal{L}_ j$, see Lemma 45.12.2. Then $[p^*\mathcal{E}] = \sum [\mathcal{L}_ j]$ and hence $\psi ^2([p^*\mathcal{E}]) = \sum [\mathcal{L}_ j^{\otimes 2}]$ by definition of $\psi ^2$. Setting $x_ j = c^ A_1(\mathcal{L}_ j)$ we have

in $\prod A^ i(P)$ and we have

in $\prod A^ i(P)$. From these formulas the desired result follows. $\square$