Lemma 42.58.10. Let $(S, \delta )$ be as in Situation 42.7.1. Consider a cartesian square

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

of schemes locally of finite type over $S$. Assume

1. both $f$ and $f'$ are local complete intersection morphisms, and

2. the gysin map exists for $f$

Then $\mathcal{C} = \mathop{\mathrm{Ker}}(H^{-1}((g')^*\mathop{N\! L}\nolimits _{X/Y}) \to H^{-1}(\mathop{N\! L}\nolimits _{X'/Y'}))$ is a finite locally free $\mathcal{O}_{X'}$-module, the gysin map exists for $f'$, and we have

$res(f^!) = c_{top}(\mathcal{C}^\vee ) \circ (f')^!$

in $A^*(X' \to Y')$.

Proof. The fact that $\mathcal{C}$ is finite locally free follows immediately from More on Algebra, Lemma 15.78.5. Choose a factorization $f = g \circ i$ with $g : P \to Y$ smooth and $i$ an immersion. Then we can factor $f' = g' \circ i'$ where $g' : P' \to Y'$ and $i' : X' \to P'$ the base changes. Picture

$\xymatrix{ X' \ar[r] \ar[d] & P' \ar[r] \ar[d] & Y' \ar[d] \\ X \ar[r] & P \ar[r] & Y }$

In particular, we see that the gysin map exists for $f'$. By More on Morphisms, Lemmas 37.13.11 we have

$\mathop{N\! L}\nolimits _{X/Y} = \left( \mathcal{C}_{X/P} \to i^*\Omega _{P/Y} \right)$

where $\mathcal{C}_{X/P}$ is the conormal sheaf of the embedding $i$. Similarly for the primed version. We have $(g')^*i^*\Omega _{P/Y} = (i')^*\Omega _{P'/Y'}$ because $\Omega _{P/Y}$ pulls back to $\Omega _{P'/Y'}$ by Morphisms, Lemma 29.31.10. Also, recall that $(g')^*\mathcal{C}_{X/P} \to \mathcal{C}_{X'/P'}$ is surjective, see Morphisms, Lemma 29.30.4. We deduce that the sheaf $\mathcal{C}$ is canonicallly isomorphic to the kernel of the map $(g')^*\mathcal{C}_{X/P} \to \mathcal{C}_{X'/P'}$ of finite locally free modules. Recall that $i^!$ is defined using $\mathcal{N} = \mathcal{C}_{Z/X}^\vee$ and similarly for $(i')^!$. Thus we have

$res(i^!) = c_{top}(\mathcal{C}^\vee ) \circ (i')^!$

in $A^*(X' \to P')$ by an application of Lemma 42.53.4. Since finally we have $f^! = i^! \circ g^*$, $(f')^! = (i')^! \circ (g')^*$, and $(g')^* = res(g^*)$ we conclude. $\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).