Lemma 76.15.7. Let $S$ be a scheme. Let $Z \to X$ be a formally unramified morphism of algebraic spaces over $S$. Then the universal first order thickening $Z'$ is formally unramified over $X$.

**Proof.**
Let $T \subset T'$ be a first order thickening of affine schemes over $X$. Let

be a commutative diagram. Set $T_0 = c^{-1}(Z) \subset T$ and $T'_ a = a^{-1}(Z)$ (scheme theoretically). Since $Z'$ is a first order thickening of $Z$, we see that $T'$ is a first order thickening of $T'_ a$. Moreover, since $c = a|_ T$ we see that $T_0 = T \cap T'_ a$ (scheme theoretically). As $T'$ is a first order thickening of $T$ it follows that $T'_ a$ is a first order thickening of $T_0$. Now $a|_{T'_ a}$ and $b|_{T'_ a}$ are morphisms of $T'_ a$ into $Z'$ over $X$ which agree on $T_0$ as morphisms into $Z$. Hence by the universal property of $Z'$ we conclude that $a|_{T'_ a} = b|_{T'_ a}$. Thus $a$ and $b$ are morphism from the first order thickening $T'$ of $T'_ a$ whose restrictions to $T'_ a$ agree as morphisms into $Z$. Thus using the universal property of $Z'$ once more we conclude that $a = b$. In other words, the defining property of a formally unramified morphism holds for $Z' \to X$ as desired. $\square$

## Post a comment

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)

There are also: