Definition 76.15.5. Let $S$ be a scheme. Let $h : Z \to X$ be a formally unramified morphism of algebraic spaces over $S$.

The

*universal first order thickening*of $Z$ over $X$ is the thickening $Z \subset Z'$ constructed in Lemma 76.15.4.The

*conormal sheaf of $Z$ over $X$*is the conormal sheaf of $Z$ in its universal first order thickening $Z'$ over $X$.

We often denote the conormal sheaf $\mathcal{C}_{Z/X}$ in this situation.

## Comments (0)

There are also: