Lemma 29.32.16. Let $i : Z \to X$ be an immersion of schemes over $S$, and assume $i$ (locally) has a left inverse. Then the canonical sequence

\[ 0 \to \mathcal{C}_{Z/X} \to i^*\Omega _{X/S} \to \Omega _{Z/S} \to 0 \]

of Lemma 29.32.15 is (locally) split exact. In particular, if $s : S \to X$ is a section of the structure morphism $X \to S$ then the map $\mathcal{C}_{S/X} \to s^*\Omega _{X/S}$ induced by $\text{d}_{X/S}$ is an isomorphism.

**Proof.**
Follows from Algebra, Lemma 10.131.10. Clarification: if $g : X \to Z$ is a left inverse of $i$, then $i^*c_ g$ is a right inverse of the map $i^*\Omega _{X/S} \to \Omega _{Z/S}$. Also, if $s$ is a section, then it is an immersion $s : Z = S \to X$ over $S$ (see Schemes, Lemma 26.21.11) and in that case $\Omega _{Z/S} = 0$.
$\square$

## Comments (2)

Comment #8581 by Elías Guisado on

Comment #8584 by Elías Guisado on

There are also: