Remark 29.32.17. Let $X \to S$ be a morphism of schemes. According to Lemma 29.32.11 we have

On the other hand, the diagonal morphism $\Delta : X \to X \times _ S X$ is an immersion, which locally has a left inverse. Hence by Lemma 29.32.16 we obtain a canonical short exact sequence

Note that the right arrow is $(1, 1)$ which is indeed a split surjection. On the other hand, by Lemma 29.32.7 we have an identification $\Omega _{X/S} = \mathcal{C}_{X/X \times _ S X}$. Because we chose $\text{d}_{X/S}(f) = s_2(f) - s_1(f)$ in this identification it turns out that the left arrow is the map $(-1, 1)$^{1}.

## Comments (0)

There are also: