The Stacks project

Lemma 29.32.14. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. Set $s = f(x)$. Assume $f$ is locally of finite presentation. The following are equivalent:

  1. The morphism $f$ is smooth at $x$.

  2. The local ring map $\mathcal{O}_{S, s} \to \mathcal{O}_{X, x}$ is flat and $X_ s \to \mathop{\mathrm{Spec}}(\kappa (s))$ is smooth at $x$.

  3. The local ring map $\mathcal{O}_{S, s} \to \mathcal{O}_{X, x}$ is flat and the $\mathcal{O}_{X, x}$-module $\Omega _{X/S, x}$ can be generated by at most $\dim _ x(X_{f(x)})$ elements.

  4. The local ring map $\mathcal{O}_{S, s} \to \mathcal{O}_{X, x}$ is flat and the $\kappa (x)$-vector space

    \[ \Omega _{X_ s/s, x} \otimes _{\mathcal{O}_{X_ s, x}} \kappa (x) = \Omega _{X/S, x} \otimes _{\mathcal{O}_{X, x}} \kappa (x) \]

    can be generated by at most $\dim _ x(X_{f(x)})$ elements.

  5. There exist affine opens $U \subset X$, and $V \subset S$ such that $x \in U$, $f(U) \subset V$ and the induced morphism $f|_ U : U \to V$ is standard smooth.

  6. There exist affine opens $\mathop{\mathrm{Spec}}(A) = U \subset X$ and $\mathop{\mathrm{Spec}}(R) = V \subset S$ with $x \in U$ corresponding to $\mathfrak q \subset A$, and $f(U) \subset V$ such that there exists a presentation

    \[ A = R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ c) \]

    with

    \[ g = \det \left( \begin{matrix} \partial f_1/\partial x_1 & \partial f_2/\partial x_1 & \ldots & \partial f_ c/\partial x_1 \\ \partial f_1/\partial x_2 & \partial f_2/\partial x_2 & \ldots & \partial f_ c/\partial x_2 \\ \ldots & \ldots & \ldots & \ldots \\ \partial f_1/\partial x_ c & \partial f_2/\partial x_ c & \ldots & \partial f_ c/\partial x_ c \end{matrix} \right) \]

    mapping to an element of $A$ not in $\mathfrak q$.

Proof. Note that if $f$ is smooth at $x$, then we see from Lemma 29.32.11 that (5) holds, and (6) is a slightly weakened version of (5). Moreover, $f$ smooth implies that the ring map $\mathcal{O}_{S, s} \to \mathcal{O}_{X, x}$ is flat (see Lemma 29.32.9) and that $\Omega _{X/S}$ is finite locally free of rank equal to $\dim _ x(X_ s)$ (see Lemma 29.32.12). Thus (1) implies (3) and (4). By Lemma 29.32.5 we also see that (1) implies (2).

By Lemma 29.31.10 the module of differentials $\Omega _{X_ s/s}$ of the fibre $X_ s$ over $\kappa (s)$ is the pullback of the module of differentials $\Omega _{X/S}$ of $X$ over $S$. Hence the displayed equality in part (4) of the lemma. By Lemma 29.31.12 these modules are of finite type. Hence the minimal number of generators of the modules $\Omega _{X/S, x}$ and $\Omega _{X_ s/s, x}$ is the same and equal to the dimension of this $\kappa (x)$-vector space by Nakayama's Lemma (Algebra, Lemma 10.19.1). This in particular shows that (3) and (4) are equivalent.

Algebra, Lemma 10.136.16 shows that (2) implies (1). Algebra, Lemma 10.139.3 shows that (3) and (4) imply (2). Finally, (6) implies (5) see for example Algebra, Example 10.136.8 and (5) implies (1) by Algebra, Lemma 10.136.7. $\square$


Comments (2)

Comment #4594 by James Waldron on

Typo in statement (6): the denominators in the bottom row of the matrix should be instead of .

Comment #4771 by on

Hmmm... actually no that would be the etale case.

There are also:

  • 2 comment(s) on Section 29.32: Smooth morphisms

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 01V9. Beware of the difference between the letter 'O' and the digit '0'.