Lemma 76.19.14. Let $S$ be a scheme. Let
be a commutative diagram of algebraic spaces over $S$ where $i$ and $j$ are formally unramified and $f$ is formally smooth. Then the canonical exact sequence
of Lemma 76.15.14 is exact and locally split.
Lemma 76.19.14. Let $S$ be a scheme. Let
be a commutative diagram of algebraic spaces over $S$ where $i$ and $j$ are formally unramified and $f$ is formally smooth. Then the canonical exact sequence
of Lemma 76.15.14 is exact and locally split.
Proof. Denote $Z \to Z'$ the universal first order thickening of $Z$ over $X$. Denote $Z \to Z''$ the universal first order thickening of $Z$ over $Y$. By Lemma 76.15.13 here is a canonical morphism $Z' \to Z''$ so that we have a commutative diagram
The sequence above is identified with the sequence
via our definitions concerning conormal sheaves of formally unramified morphisms. Let $U'' \to Z''$ be an étale morphism with $U''$ affine. Denote $U \to Z$ and $U' \to Z'$ the corresponding affine schemes étale over $Z$ and $Z'$. As $f$ is formally smooth there exists a morphism $h : U'' \to X$ which agrees with $i$ on $U$ and such that $f \circ h$ equals $b|_{U''}$. Since $Z'$ is the universal first order thickening we obtain a unique morphism $g : U'' \to Z'$ such that $g = a \circ h$. The universal property of $Z''$ implies that $k \circ g$ is the inclusion map $U'' \to Z''$. Hence $g$ is a left inverse to $k$. Picture
Thus $g$ induces a map $\mathcal{C}_{Z/Z'}|_ U \to \mathcal{C}_{Z/Z''}|_ U$ which is a left inverse to the map $\mathcal{C}_{Z/Z''} \to \mathcal{C}_{Z/Z'}$ over $U$. $\square$
Comments (0)