The Stacks project

Theorem 41.4.1. Let $Y$ be a locally Noetherian scheme. Let $f : X \to Y$ be a morphism of schemes which is locally of finite type. Let $x$ be a point of $X$. The following are equivalent

  1. $f$ is unramified at $x$,

  2. the stalk $\Omega _{X/Y, x}$ of the module of relative differentials at $x$ is trivial,

  3. there exist open neighbourhoods $U$ of $x$ and $V$ of $f(x)$, and a commutative diagram

    \[ \xymatrix{ U \ar[rr]_ i \ar[rd] & & \mathbf{A}^ n_ V \ar[ld] \\ & V } \]

    where $i$ is a closed immersion defined by a quasi-coherent sheaf of ideals $\mathcal{I}$ such that the differentials $\text{d}g$ for $g \in \mathcal{I}_{i(x)}$ generate $\Omega _{\mathbf{A}^ n_ V/V, i(x)}$, and

  4. the diagonal $\Delta _{X/Y} : X \to X \times _ Y X$ is a local isomorphism at $x$.

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)

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 024P. Beware of the difference between the letter 'O' and the digit '0'.