**Proof.**
The equivalence of (1) and (2) is proved in Morphisms, Lemma 29.35.14.

If $f$ is unramified at $x$, then $f$ is unramified in an open neighbourhood of $x$; this does not follow immediately from Definition 41.3.5 of this chapter but it does follow from Morphisms, Definition 29.35.1 which we proved to be equivalent in Lemma 41.3.6. Choose affine opens $V \subset Y$, $U \subset X$ with $f(U) \subset V$ and $x \in U$, such that $f$ is unramified on $U$, i.e., $f|_ U : U \to V$ is unramified. By Morphisms, Lemma 29.35.13 the morphism $U \to U \times _ V U$ is an open immersion. This proves that (1) implies (4).

If $\Delta _{X/Y}$ is a local isomorphism at $x$, then $\Omega _{X/Y, x} = 0$ by Morphisms, Lemma 29.32.7. Hence we see that (4) implies (2). At this point we know that (1), (2) and (4) are all equivalent.

Assume (3). The assumption on the diagram combined with Morphisms, Lemma 29.32.15 show that $\Omega _{U/V, x} = 0$. Since $\Omega _{U/V, x} = \Omega _{X/Y, x}$ we conclude (2) holds.

Finally, assume that (2) holds. To prove (3) we may localize on $X$ and $Y$ and assume that $X$ and $Y$ are affine. Say $X = \mathop{\mathrm{Spec}}(B)$ and $Y = \mathop{\mathrm{Spec}}(A)$. The point $x \in X$ corresponds to a prime $\mathfrak q \subset B$. Our assumption is that $\Omega _{B/A, \mathfrak q} = 0$ (see Morphisms, Lemma 29.32.5 for the relationship between differentials on schemes and modules of differentials in commutative algebra). Since $Y$ is locally Noetherian and $f$ locally of finite type we see that $A$ is Noetherian and $B \cong A[x_1, \ldots , x_ n]/(f_1, \ldots , f_ m)$, see Properties, Lemma 28.5.2 and Morphisms, Lemma 29.15.2. In particular, $\Omega _{B/A}$ is a finite $B$-module. Hence we can find a single $g \in B$, $g \not\in \mathfrak q$ such that the principal localization $(\Omega _{B/A})_ g$ is zero. Hence after replacing $B$ by $B_ g$ we see that $\Omega _{B/A} = 0$ (formation of modules of differentials commutes with localization, see Algebra, Lemma 10.131.8). This means that $\text{d}(f_ j)$ generate the kernel of the canonical map $\Omega _{A[x_1, \ldots , x_ n]/A} \otimes _ A B \to \Omega _{B/A}$. Thus the surjection $A[x_1, \ldots , x_ n] \to B$ of $A$-algebras gives the commutative diagram of (3), and the theorem is proved.
$\square$

## Comments (0)