Lemma 76.20.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $x \in |X|$. Assume that $Y$ is locally Noetherian and $f$ locally of finite type. The following are equivalent:
$f$ is smooth at $x$,
for every solid commutative diagram
\[ \xymatrix{ X \ar[d]_ f & \mathop{\mathrm{Spec}}(B) \ar[d]^ i \ar[l]^-\alpha \\ Y & \mathop{\mathrm{Spec}}(B') \ar[l]_-{\beta } \ar@{-->}[lu] } \]where $B' \to B$ is a surjection of local rings with $\mathop{\mathrm{Ker}}(B' \to B)$ of square zero, and $\alpha $ mapping the closed point of $\mathop{\mathrm{Spec}}(B)$ to $x$ there exists a dotted arrow making the diagram commute, and
same as in (2) but with $B' \to B$ ranging over small extensions (see Algebra, Definition 10.141.1).
Comments (0)