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

\[ \xymatrix{ Z \ar[r]_ i \ar[rd]_ j & X \ar[d]^ f \\ & Y } \]

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

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

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

\[ \xymatrix{ Z \ar[r]_{i'} \ar[rd]_{j'} & Z' \ar[r]_ a \ar[d]^ k & X \ar[d]^ f \\ & Z'' \ar[r]^ b & Y } \]

The sequence above is identified with the sequence

\[ \mathcal{C}_{Z/Z''} \to \mathcal{C}_{Z/Z'} \to (i')^*\Omega _{Z'/Z''} \to 0 \]

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

\[ \xymatrix{ U \ar[d] \ar[r] & Z' \ar[d]^ k \\ U'' \ar[r] \ar[ru]^ g & Z'' } \]

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$

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)