Lemma 76.12.3. Let $i : Z \to X$ be an immersion of algebraic spaces. 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 Lemma 76.5.3. This map is an isomorphism.

## Comments (0)