Definition 37.7.2. Let $h : Z \to X$ be a formally unramified morphism of schemes.

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

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.

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