Lemma 76.16.6. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$ The following are equivalent:
$f$ is formally étale,
$f$ is formally unramified and the universal first order thickening of $X$ over $Y$ is equal to $X$,
$f$ is formally unramified and $\mathcal{C}_{X/Y} = 0$, and
$\Omega _{X/Y} = 0$ and $\mathcal{C}_{X/Y} = 0$.
Proof. Actually, the last assertion only make sense because $\Omega _{X/Y} = 0$ implies that $\mathcal{C}_{X/Y}$ is defined via Lemma 76.14.6 and Definition 76.15.5. This also makes it clear that (3) and (4) are equivalent.
Either of the assumptions (1), (2), and (3) imply that $f$ is formally unramified. Hence we may assume $f$ is formally unramified. The equivalence of (1), (2), and (3) follow from the universal property of the universal first order thickening $X'$ of $X$ over $S$ and the fact that $X = X' \Leftrightarrow \mathcal{C}_{X/Y} = 0$ since after all by definition $\mathcal{C}_{X/Y} = \mathcal{C}_{X/X'}$ is the ideal sheaf of $X$ in $X'$. $\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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)