Lemma 76.15.13. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $h : Z \to X$ be a formally unramified morphism of algebraic spaces over $B$. There is a canonical exact sequence

The first arrow is induced by $\text{d}_{Z'/B}$ where $Z'$ is the universal first order neighbourhood of $Z$ over $X$.

## Comments (0)

There are also: