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

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

2. 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.

There are also:

• 2 comment(s) on Section 75.15: Universal first order thickenings

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).