Lemma 76.15.8. Let S be a scheme Consider a commutative diagram of algebraic spaces over S
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)
There are also: