The Stacks project

41.53 Higher codimension gysin homomorphisms

Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. In this section we are going to consider triples

\[ (Z \to X, \mathcal{N}, \sigma : \mathcal{N}^\vee \to \mathcal{C}_{Z/X}) \]

consisting of a closed immersion $Z \to X$ and a locally free $\mathcal{O}_ Z$-module $\mathcal{N}$ and a surjection $\sigma : \mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ from the dual of $\mathcal{N}$ to the conormal sheaf of $Z$ in $X$, see Morphisms, Section 28.30. We will say $\mathcal{N}$ is a virtual normal sheaf for $Z$ in $X$.

Lemma 41.53.1. Let $(S, \delta )$ be as in Situation 41.7.1. Let

\[ \xymatrix{ Z' \ar[r] \ar[d]_ g & X' \ar[d]^ f \\ Z \ar[r] & X } \]

be a cartesian diagram of schemes locally of finite type over $S$ whose horizontal arrows are closed immersions. If $\mathcal{N}$ is a virtual normal sheaf for $Z$ in $X$, then $\mathcal{N}' = g^*\mathcal{N}$ is a virtual normal sheaf for $Z'$ in $X'$.

Proof. This follows from the surjectivity of the map $g^*\mathcal{C}_{Z/X} \to \mathcal{C}_{Z'/X'}$ proved in Morphisms, Lemma 28.30.4. $\square$

Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $\mathcal{N}$ be a virtual normal bundle for a closed immersion $Z \to X$. In this situation we set

\[ p : N = \underline{\mathop{\mathrm{Spec}}}_ Z(\text{Sym}(\mathcal{N}^\vee )) \longrightarrow Z \]

equal to the vector bundle over $Z$ whose sections correspond to sections of $\mathcal{N}$. In this situation we have canonical closed immersions

\[ C_ ZX \longrightarrow N_ ZX \longrightarrow N \]

The first closed immersion is Divisors, Equation (30.19.5.1) and the second closed immersion corresponds to the surjection $\text{Sym}(\mathcal{N}^\vee ) \to \text{Sym}(\mathcal{C}_{Z/X})$ induced by $\sigma $. Let

\[ b : W \longrightarrow \mathbf{P}^1_ X \]

be the blowing up in $\infty (Z)$ constructed in Section 41.52. By Lemma 41.47.1 we have a canonical bivariant class in

\[ C \in A^0(W_\infty \to X) \]

Consider the open immersion $j : C_ ZX \to W_\infty $ of (7) and the closed immersion $i : C_ ZX \to N$ constructed above. By Lemma 41.35.3 for every $\alpha \in \mathop{\mathrm{CH}}\nolimits _ k(X)$ there exists a unique $\beta \in \mathop{\mathrm{CH}}\nolimits _*(Z)$ such that

\[ i_*j^*(C \cap \alpha ) = p^*\beta \]

We set $c(Z \to X, \mathcal{N}) \cap \alpha = \beta $.

Lemma 41.53.2. The construction above defines a bivariant class1

\[ c(Z \to X, \mathcal{N}) \in A^*(Z \to X)^\wedge \]

and moreover the construction is compatible with base change as in Lemma 41.53.1. If $\mathcal{N}$ has constant rank $r$, then $c(Z \to X, \mathcal{N}) \in A^ r(Z \to X)$.

Proof. Since both $i_* \circ j^* \circ C$ and $p^*$ are bivariant classes (see Lemmas 41.32.2 and 41.32.4) we can use the equation

\[ i_* \circ j^* \circ C = p^* \circ c(Z \to X, \mathcal{N}) \]

(suitably interpreted) to define $c(Z \to X, \mathcal{N})$ as a bivariant class. This works because $p^*$ is always bijective on chow groups by Lemma 41.35.3.

Let $X' \to X$, $Z' \to X'$, and $\mathcal{N}'$ be as in Lemma 41.53.1. Write $c = c(Z \to X, \mathcal{N})$ and $c' = c(Z' \to X', \mathcal{N}')$. The second statement of the lemma means that $c'$ is the restriction of $c$ as in Remark 41.32.5. Since we claim this is true for all $X'/X$ locally of finite type, a formal argument shows that it suffices to check that $c' \cap \alpha ' = c \cap \alpha '$ for $\alpha ' \in \mathop{\mathrm{CH}}\nolimits _ k(X')$. To see this, note that we have a commutative diagram

\[ \xymatrix{ C_{Z'}X' \ar[d] \ar[r] & W'_\infty \ar[d] \ar[r] & W' \ar[d] \ar[r] & \mathbf{P}^1_{X'} \ar[d] \\ C_ ZX \ar[r] & W_\infty \ar[r] & W \ar[r] & \mathbf{P}^1_ X } \]

which induces closed immersions:

\[ W' \to W \times _{\mathbf{P}^1_ X} \mathbf{P}^1_{X'},\quad W'_\infty \to W_\infty \times _ X X',\quad C_{Z'}X' \to C_ ZX \times _ Z Z' \]

To get $c \cap \alpha '$ we use the class $C \cap \alpha '$ defined using the morphism $W \times _{\mathbf{P}^1_ X} \mathbf{P}^1_{X'} \to \mathbf{P}^1_{X'}$ in Lemma 41.47.1. To get $c' \cap \alpha '$ on the other hand, we use the class $C' \cap \alpha '$ defined using the morphism $W' \to \mathbf{P}^1_{X'}$. By Lemma 41.47.2 the pushforward of $C' \cap \alpha '$ by the closed immersion $W'_\infty \to (W \times _{\mathbf{P}^1_ X} \mathbf{P}^1_{X'})_\infty $, is equal to $C \cap \alpha '$. Hence the same is true for the pullbacks to the opens

\[ C_{Z'}X' \subset W'_\infty ,\quad C_ ZX \times _ Z Z' \subset (W \times _{\mathbf{P}^1_ X} \mathbf{P}^1_{X'})_\infty \]

by Lemma 41.15.1. Since we have a commutative diagram

\[ \xymatrix{ C_{Z'} X' \ar[d] \ar[r] & N' \ar@{=}[d] \\ C_ ZX \times _ Z Z' \ar[r] & N \times _ Z Z' } \]

these classes pushforward to the same class on $N'$ which proves that we obtain the same element $c \cap \alpha ' = c' \cap \alpha '$ in $\mathop{\mathrm{CH}}\nolimits _*(Z')$. $\square$

Lemma 41.53.3. Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $\mathcal{N}$ be a virtual normal sheaf for a closed subscheme $Z$ of $X$. Suppose that we have a short exact sequence $0 \to \mathcal{N}' \to \mathcal{N} \to \mathcal{E} \to 0$ of finite locally free $\mathcal{O}_ Z$-modules such that the given surjection $\sigma : \mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ factors through a map $\sigma ' : (\mathcal{N}')^\vee \to \mathcal{C}_{Z/X}$. Then

\[ c(Z \to X, \mathcal{N}) = c_{top}(\mathcal{E}) \circ c(Z \to X, \mathcal{N}') \]

as bivariant classes.

Proof. Denote $N' \to N$ the closed immersion of vector bundles corresponding to the surjection $\mathcal{N}^\vee \to (\mathcal{N}')^\vee $. Then we have closed immersions

\[ C_ ZX \to N' \to N \]

Thus the desired relationship between the bivariant classes follows immediately from Lemma 41.43.2. $\square$

Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $\mathcal{N}$ be a virtual normal sheaf for a closed subscheme $Z$ of $X$. Let $Y \to X$ be a morphism which is locally of finite type. Assume $Z \times _ X Y \to Y$ is a regular closed immersion, see Divisors, Section 30.21. In this case the conormal sheaf $\mathcal{C}_{Z \times _ X Y/Y}$ is a finite locally free $\mathcal{O}_{Z \times _ X Y}$-module and we obtain a short exact sequence

\[ 0 \to \mathcal{E}^\vee \to \mathcal{N}^\vee |_{Z \times _ X Y} \to \mathcal{C}_{Z \times _ X Y/Y} \to 0 \]

The quotient $\mathcal{N}|_{Y \times _ X Z} \to \mathcal{E}$ is called the excess normal sheaf of the situation.

Lemma 41.53.4. In the situation described just above assume $\dim _\delta (Y) = n$ and that $\mathcal{C}_{Y \times _ X Z/Z}$ has constant rank $r$. Then

\[ c(Z \to X, \mathcal{N}) \cap [Y]_ n = c_{top}(\mathcal{E}) \cap [Z \times _ X Y]_{n - r} \]

in $\mathop{\mathrm{CH}}\nolimits _*(Z \times _ X Y)$.

Proof. The bivariant class $c_{top}(\mathcal{E}) \in A^*(Z \times _ X Y)$ was defined in Remark 41.37.11. By Lemma 41.53.2 we may replace $X$ by $Y$. Thus we may assume $Z \to X$ is a regular closed immersion of codimension $r$, we have $\dim _\delta (X) = n$, and we have to show that $c(Z \to X, \mathcal{N}) \cap [X]_ n = c_{top}(\mathcal{E}) \cap [Z]_{n - r}$ in $\mathop{\mathrm{CH}}\nolimits _*(Z)$. By Lemma 41.53.3 we may even assume $\mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ is an isomorphism. In other words, we have to show $c(Z \to X, \mathcal{C}_{Z/X}^\vee ) \cap [X]_ n = [Z]_{n - r}$ in $\mathop{\mathrm{CH}}\nolimits _*(Z)$.

Let us trace through the steps in the definition of $c(Z \to X, \mathcal{C}_{Z/X}^\vee ) \cap [X]_ n$. Let $b : W \to \mathbf{P}^1_ X$ be the blowing up of $\infty (Z)$. We first have to compute $C \cap [X]_ n$ where $C \in A^0(W_\infty \to X)$ is the class of Lemma 41.47.1. To do this, note that $[W]_{n + 1}$ is a cycle on $W$ whose restriction to $\mathbf{A}^1_ X$ is equal to the flat pullback of $[X]_ n$. Hence $C \cap [X]_ n$ is equal to $i_\infty ^*[W]_{n + 1}$. Since $W_\infty $ is an effective Cartier divisor on $W$ we have $i_\infty ^*[W]_{n + 1} = [W_\infty ]_ n$, see Lemma 41.28.5. The restriction of this class to the open $C_ ZX \subset W_\infty $ is of course just $[C_ ZX]_ n$. Because $Z \subset X$ is regularly embedded we have

\[ \mathcal{C}_{Z/X, *} = \text{Sym}(\mathcal{C}_{Z/X}) \]

as graded $\mathcal{O}_ Z$-algebras, see Divisors, Lemma 30.21.5. Hence $p : N = C_ ZX \to Z$ is the structure morphism of the vector bundle associated to the finite locally free module $\mathcal{C}_{Z/X}$ of rank $r$. Then it is clear that $p^*[Z]_{n - r} = [C_ ZX]_ n$ and the proof is complete. $\square$

Lemma 41.53.5. Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $\mathcal{N}$ be a virtual normal sheaf for a closed subscheme $Z$ of $X$. Let $Y \to X$ be a morphism which is locally of finite type. Given integers $r$, $n$ assume

  1. $\mathcal{N}$ is locally free of rank $r$,

  2. every irreducible component of $Y$ has $\delta $-dimension $n$,

  3. $\dim _\delta (Z \times _ X Y) \leq n - r$, and

  4. for $\xi \in Z \times _ X Y$ with $\delta (\xi ) = n - r$ the local ring $\mathcal{O}_{Y, \xi }$ is Cohen-Macaulay.

Then $c(Z \to X, \mathcal{N}) \cap [Y]_ n = [Z \times _ X Y]_{n - r}$ in $\mathop{\mathrm{CH}}\nolimits _{n - r}(Z \times _ X Y)$.

Proof. The statement makes sense as $Z \times _ X Y$ is a closed subscheme of $Y$. Because $\mathcal{N}$ has rank $r$ we know that $c(Z \to X, \mathcal{N}) \cap [Y]_ n$ is in $\mathop{\mathrm{CH}}\nolimits _{n - r}(Z \times _ X Y)$. Since $\dim _\delta (Z \cap Y) \leq n - r$ the chow group $\mathop{\mathrm{CH}}\nolimits _{n - r}(Z \times _ X Y)$ is freely generated by the cycle classes of the irreducible components $W \subset Z \times _ X Y$ of $\delta $-dimension $n - r$. Let $\xi \in W$ be the generic point. By assumption (2) we see that $\dim (\mathcal{O}_{Y, \xi }) = r$. On the other hand, since $\mathcal{N}$ has rank $r$ and since $\mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ is surjective, we see that the ideal sheaf of $Z$ is locally cut out by $r$ equations. Hence the quasi-coherent ideal sheaf $\mathcal{I} \subset \mathcal{O}_ Y$ of $Z \times _ X Y$ in $Y$ is locally generated by $r$ elements. Since $\mathcal{O}_{Y, \xi }$ is Cohen-Macaulay of dimension $r$ and since $\mathcal{I}_\xi $ is an ideal of definition (as $\xi $ is a generic point of $Z \times _ X Y$) it follows that $\mathcal{I}_\xi $ is generated by a regular sequence (Algebra, Lemma 10.103.2). By Divisors, Lemma 30.20.8 we see that $\mathcal{I}$ is generated by a regular sequence over an open neighbourhood $V \subset Y$ of $\xi $. By our description of $\mathop{\mathrm{CH}}\nolimits _{n - r}(Z \times _ X Y)$ it suffices to show that $c(Z \to X, \mathcal{N}) \cap [V]_ n = [Z \times _ X V]_{n - r}$ in $\mathop{\mathrm{CH}}\nolimits _{n - r}(Z \times _ X V)$. This follows from Lemma 41.53.4 because the excess normal sheaf is $0$ over $V$. $\square$

Lemma 41.53.6. Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $(\mathcal{L}, s, i : D \to X)$ be a triple as in Definition 41.28.1. The gysin homomorphism $i^*$ viewed as an element of $A^1(D \to X)$ (see Lemma 41.32.3) is the same as the bivariant class $c(D \to X, \mathcal{N}) \in A^1(D \to X)$ constructed using $\mathcal{N} = i^*\mathcal{L}$ viewed as a virtual normal sheaf for $D$ in $X$.

Proof. We will use the criterion of Lemma 41.34.3. Thus we may assume that $X$ is an integral scheme and we have to show that $i^*[X]$ is equal to $c \cap [X]$. Let $n = \dim _\delta (X)$. As usual, there are two cases.

If $X = D$, then we see that both classes are represented by $c_1(\mathcal{N}) \cap [X]_ n$. See Lemma 41.53.4 and Definition 41.28.1.

If $D \not= X$, then $D \to X$ is an effective Cartier divisor and in particular a regular closed immersion of codimension $1$. Again by Lemma 41.53.4 we conclude $c(D \to X, \mathcal{N}) \cap [X]_ n = [D]_{n - 1}$. The same is true by definition for the gysin homomorphism and we conclude once again. $\square$

Lemma 41.53.7. Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $Z \subset X$ be a closed subscheme with virtual normal sheaf $\mathcal{N}$. Let $Y \to X$ be locally of finite type and $c \in A^*(Y \to X)$. Then $c$ and $c(Z \to X, \mathcal{N})$ commute (Remark 41.32.6).

Proof. To check this we may use Lemma 41.34.3. Thus we may assume $X$ is an integral scheme and we have to show $c \cap c(Z \to X, \mathcal{N}) \cap [X] = c(Z \to X, \mathcal{N}) \cap c \cap [X]$ in $\mathop{\mathrm{CH}}\nolimits _*(Z \times _ X Y)$.

If $Z = X$, then $c(Z \to X, \mathcal{N}) = c_{top}(\mathcal{N})$ by Lemma 41.53.4 which commutes with the bivariant class $c$, see Lemma 41.37.9.

Assume that $Z$ is not equal to $X$. By Lemma 41.34.3 it even suffices to prove the result after blowing up $X$ (in a nonzero ideal). Let us blowup $X$ in the ideal sheaf of $Z$. This reduces us to the case where $Z$ is an effective Cartier divisor, see Divisors, Lemma 30.32.4,

If $Z$ is an effective Cartier divisor, then we have

\[ c(Z \to X, \mathcal{N}) = c_{top}(\mathcal{E}) \circ i^* \]

where $i^* \in A^1(Z \to X)$ is the gysin homomorphism associated to $i : Z \to X$ (Lemma 41.32.3) and $\mathcal{E}$ is the dual of the kernel of $\mathcal{N}^\vee \to \mathcal{C}_{Z/X}$, see Lemmas 41.53.3 and 41.53.6. Then we conclude because chern classes are in the center of the bivariant ring (in the strong sense formulated in Lemma 41.37.9) and $c$ commutes with the gysin homomorphism $i^*$ by definition of bivariant classes. $\square$

Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be an integral scheme locally of finite type over $S$ of $\delta $-dimension $n$. Let $Z \subset Y \subset X$ be closed subschemes which are both effective Cartier divisors in $X$. Denote $o : Y \to C_ Y X$ the zero section of the normal line cone of $Y$ in $X$. As $C_ YX$ is a line bundle over $Y$ we obtain a bivariant class $o^* \in A^1(Y \to C_ YX)$, see Lemma 41.32.3.

Lemma 41.53.8. With notation as above we have

\[ o^*[C_ ZX]_ n = [C_ Z Y]_{n - 1} \]

in $\mathop{\mathrm{CH}}\nolimits _{n - 1}(Y \times _{o, C_ Y X} C_ ZX)$.

Proof. Denote $W \to \mathbf{P}^1_ X$ the blowing up of $\infty (Z)$ as in Section 41.52. Similarly, denote $W' \to \mathbf{P}^1_ X$ the blowing up of $\infty (Y)$. Since $\infty (Z) \subset \infty (Y)$ we get an opposite inclusion of ideal sheaves and hence a map of the graded algebras defining these blowups. This produces a rational morphism from $W$ to $W'$ which in fact has a canonical representative

\[ W \supset U \longrightarrow W' \]

See Constructions, Lemma 26.18.1. A local calculation (omitted) shows that $U$ contains at least all points of $W$ not lying over $\infty $ and the open subscheme $C_ Z X$ of the special fibre. After shrinking $U$ we may assume $U_\infty = C_ Z X$ and $\mathbf{A}^1_ X \subset U$. Another local calculation (omitted) shows that the morphism $U_\infty \to W'_\infty $ induces the canonical morphism $C_ Z X \to C_ Y X \subset W'_\infty $ of normal cones induced by the inclusion of ideals sheaves coming from $Z \subset Y$. Denote $W'' \subset W$ the strict transform of $\mathbf{P}^1_ Y \subset \mathbf{P}^1_ X$ in $W$. Then $W''$ is the blowing up of $\mathbf{P}^1_ Y$ in $\infty (Z)$ by Divisors, Lemma 30.33.2 and hence $(W'' \cap U)_\infty = C_ ZY$.

Consider the effective Cartier divisor $i : \mathbf{P}^1_ Y \to W'$ from (8) and its associated bivariant class $i^* \in A^1(\mathbf{P}^1_ Y \to W')$ from Lemma 41.32.3. We similarly denote $(i'_\infty )^* \in A^1(W'_\infty \to W')$ the gysin map at infinity. Observe that the restriction of $i'_\infty $ (Remark 41.32.5) to $U$ is the restriction of $i_\infty ^* \in A^1(W_\infty \to W)$ to $U$. On the one hand we have

\[ (i'_\infty )^* i^* [U]_{n + 1} = i_\infty ^* i^* [U]_{n + 1} = i_\infty ^* [(W'' \cap U)_\infty ]_{n + 1} = [C_ ZY]_ n \]

because $i_\infty ^*$ kills all classes supported over $\infty $, because $i^*[U]$ and $[W'']$ agree as cycles over $\mathbf{A}^1$, and because $C_ ZY$ is the fibre of $W'' \cap U$ over $\infty $. On the other hand, we have

\[ (i'_\infty )^* i^* [U]_{n + 1} = i^* i_\infty ^*[U]_{n + 1} = i^* [U_\infty ] = o^*[C_ YX]_ n \]

because $(i'_\infty )^*$ and $i^*$ commute (Lemma 41.29.5) and because the fibre of $i : \mathbf{P}^1_ Y \to W'$ over $\infty $ factors as $o : Y \to C_ YX$ and the open immersion $C_ YX \to W'_\infty $. The lemma follows. $\square$

Lemma 41.53.9. Let $(S, \delta )$ be as in Situation 41.7.1. Let $Z \subset Y \subset X$ be closed subschemes of a scheme locally of finite type over $S$. Let $\mathcal{N}$ be a virtual normal sheaf for $Z \subset X$. Let $\mathcal{N}'$ be a virtual normal sheaf for $Z \subset Y$. Let $\mathcal{N}''$ be a virtual normal sheaf for $Y \subset X$. Assume there is a commutative diagram

\[ \xymatrix{ (\mathcal{N}'')^\vee |_ Z \ar[r] \ar[d] & \mathcal{N}^\vee \ar[r] \ar[d] & (\mathcal{N}')^\vee \ar[d] \\ \mathcal{C}_{Y/X}|_ Z \ar[r] & \mathcal{C}_{Z/X} \ar[r] & \mathcal{C}_{Z/Y} } \]

where the sequence at the bottom is from More on Morphisms, Lemma 36.7.12 and the top sequence is a short exact sequence. Then

\[ c(Z \to X, \mathcal{N}) = c(Z \to Y, \mathcal{N}') \circ c(Y \to X, \mathcal{N}'') \]

in $A^*(Z \to X)^\wedge $.

Proof. Observe that the assumptions remain satisfied after any base change by a morphism $X' \to X$ which is locally of finite type (the short exact sequence of virtual normal sheaves is locally split hence remains exact after any base change). Thus to check the equality of bivariant classes we may use Lemma 41.34.3. Thus we may assume $X$ is an integral scheme and we have to show $c(Z \to X, \mathcal{N}) \cap [X] = c(Z \to Y, \mathcal{N}') \cap c(Y \to X, \mathcal{N}'') \cap [X]$.

If $Y = X$, then we have

\begin{align*} c(Z \to Y, \mathcal{N}') \cap c(Y \to X, \mathcal{N}'') \cap [X] & = c(Z \to Y, \mathcal{N}') \cap c_{top}(\mathcal{N}'') \cap [X] \\ & = c_{top}(\mathcal{N}''|_ Z) \cap c(Z \to Y, \mathcal{N}') \cap [Y] \\ & = c(Z \to X, \mathcal{N}) \cap [X] \end{align*}

The first equality by Lemma 41.53.3. The second because chern classes commute with bivariant classes (Lemma 41.37.9). The third equality by Lemma 41.53.3.

Assume $Y \not= X$. By Lemma 41.34.3 it even suffices to prove the result after blowing up $X$ in a nonzero ideal. Let us blowup $X$ in the product of the ideal sheaf of $Y$ and the ideal sheaf of $Z$. This reduces us to the case where both $Y$ and $Z$ are effective Cartier divisors on $X$, see Divisors, Lemmas 30.32.4 and 30.32.12.

Denote $\mathcal{N}'' \to \mathcal{E}$ the surjection of finite locally free $\mathcal{O}_ Z$-modules such that $0 \to \mathcal{E}^\vee \to (\mathcal{N}'')^\vee \to \mathcal{C}_{Y/X} \to 0$ is a short exact sequence. Then $\mathcal{N} \to \mathcal{E}|_ Z$ is a surjection as well. Denote $\mathcal{N}_1$ the finite locally free kernel of this map and observe that $\mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ factors through $\mathcal{N}_1$. By Lemma 41.53.3 we have

\[ c(Y \to X, \mathcal{N}'') = c_{top}(\mathcal{E}) \circ c(Y \to X, \mathcal{C}_{Y/X}^\vee ) \]

and

\[ c(Z \to X, \mathcal{N}) = c_{top}(\mathcal{E}|_ Z) \circ c(Z \to X, \mathcal{N}_1) \]

Since chern classes of bundles commute with bivariant classes (Lemma 41.37.9) it suffices to prove

\[ c(Z \to X, \mathcal{N}_1) = c(Z \to Y, \mathcal{N}') \circ c(Y \to X, \mathcal{C}_{Y/X}^\vee ) \]

in $A^*(Z \to X)$. This we may assume that $\mathcal{N}'' = \mathcal{C}_{Y/X}$. This reduces us to the case discussed in the next paragraph.

In this paragraph $Z$ and $Y$ are effective Cartier divisors on $X$ integral of dimension $n$, we have $\mathcal{N}'' = \mathcal{C}_{Y/X}$. In this case $c(Y \to X, \mathcal{C}_{Y/X}^\vee ) \cap [X] = [Y]_{n - 1}$ by Lemma 41.53.4. Thus we have to prove that $c(Z \to X, \mathcal{N}) \cap [X] = c(Z \to Y, \mathcal{N}') \cap [Y]_{n - 1}$. Denote $N$ and $N'$ the vector bundles over $Z$ associated to $\mathcal{N}$ and $\mathcal{N}'$. Consider the commutative diagram

\[ \xymatrix{ N' \ar[r]_ i & N \ar[r] & (C_ Y X) \times _ Y Z \\ C_ Z Y \ar[r] \ar[u] & C_ Z X \ar[u] } \]

of cones and vector bundles over $Z$. Observe that $N'$ is a relative effective Cartier divisor in $N$ over $Z$ and that

\[ \xymatrix{ N' \ar[d] \ar[r]_ i & N \ar[d] \\ Z \ar[r]^-o & (C_ Y X) \times _ Y Z } \]

is cartesian where $o$ is the zero section of the line bundle $C_ Y X$ over $Y$. By Lemma 41.53.8 we have $o^*[C_ ZX]_ n = [C_ Z Y]_{n - 1}$ in

\[ \mathop{\mathrm{CH}}\nolimits _{n - 1}(Y \times _{o, C_ Y X} C_ ZX) = \mathop{\mathrm{CH}}\nolimits _{n - 1}(Z \times _{o, (C_ Y X) \times _ Y Z} C_ ZX) \]

By the cartesian property of the square above this implies that

\[ i^*[C_ ZX]_ n = [C_ Z Y]_{n - 1} \]

in $\mathop{\mathrm{CH}}\nolimits _{n - 1}(N')$. Now observe that $\gamma = c(Z \to X, \mathcal{N}) \cap [X]$ and $\gamma ' = c(Z \to Y, \mathcal{N}') \cap [Y]_{n - 1}$ are characterized by $p^*\gamma = [C_ Z X]_ n$ in $\mathop{\mathrm{CH}}\nolimits _ n(N)$ and by $(p')^*\gamma ' = [C_ Z Y]_{n - 1}$ in $\mathop{\mathrm{CH}}\nolimits _{n - 1}(N')$. Hence the proof is finished as $i^* \circ p^* = (p')^*$ by Lemma 41.30.1. $\square$

Remark 41.53.10 (Variant for immersions). Let $(S, \delta )$ be as in Situation 41.7.1. Let $X$ be a scheme locally of finite type over $S$. Let $i : Z \to X$ be an immersion of schemes. In this situation

  1. the conormal sheaf $\mathcal{C}_{Z/X}$ of $Z$ in $X$ is defined (Morphisms, Definition 28.30.1),

  2. we say a pair consisting of a finite locally free $\mathcal{O}_ Z$-module $\mathcal{N}$ and a surjection $\sigma : \mathcal{N}^\vee \to \mathcal{C}_{Z/X}$ is a virtual normal bundle for the immersion $Z \to X$,

  3. choose an open subscheme $U \subset X$ such that $Z \to X$ factors through a closed immersion $Z \to U$ and set $c(Z \to X, \mathcal{N}) = c(Z \to U, \mathcal{N}) \circ (U \to X)^*$.

The bivariant class $c(Z \to X, \mathcal{N})$ does not depend on the choice of the open subscheme $U$. All of the lemmas have immediate counterparts for this slightly more general construction. We omit the details.

[1] The notation $A^*(Z \to X)^\wedge $ is discussed in Remark 41.34.5. If $X$ is quasi-compact, then $A^*(Z \to X)^\wedge = A^*(Z \to X)$.

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 0FBI. Beware of the difference between the letter 'O' and the digit '0'.