Lemma 37.5.3. Let $i : Z \to X$ be an immersion of schemes. Let $Z \subset Z'$ be the first order infinitesimal neighbourhood of $Z$ in $X$. Then the diagram

induces a map of conormal sheaves $\mathcal{C}_{Z/X} \to \mathcal{C}_{Z/Z'}$ by Morphisms, Lemma 29.31.3. This map is an isomorphism.

## Comments (0)