Lemma 37.7.5. Consider a commutative diagram of schemes

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

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

## Comments (0)