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$

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