Lemma 37.7.5. Consider a commutative diagram of schemes

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

with $h$ and $h'$ formally unramified. Let $Z \subset Z'$ be the universal first order thickening of $Z$ over $X$. Let $W \subset W'$ be the universal first order thickening of $W$ over $Y$. There exists a canonical morphism $(f, f') : (Z, Z') \to (W, W')$ of thickenings over $Y$ which fits into the following commutative diagram

$\xymatrix{ & & & Z' \ar[ld] \ar[d]^{f'} \\ Z \ar[rr] \ar[d]_ f \ar[rrru] & & X \ar[d] & W' \ar[ld] \\ W \ar[rrru]|!{[rr];[rruu]}\hole \ar[rr] & & Y }$

In particular the morphism $(f, f')$ of thickenings induces a morphism of conormal sheaves $f^*\mathcal{C}_{W/Y} \to \mathcal{C}_{Z/X}$.

Proof. The first assertion is clear from the universal property of $W'$. The induced map on conormal sheaves is the map of Morphisms, Lemma 29.31.3 applied to $(Z \subset Z') \to (W \subset W')$. $\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).