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$

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).