4
$\begingroup$

We have the "standard criterion" which says that a morphism $f:X\rightarrow Y$ is smooth if:

1/ $Y$ is locally noetherian.

2/ $f$ is locally of finite type and satisfies lifting criterion for artinian rings.

Can we have the same satement if I remove 1/ and replace locally of finite type by locally of finite presentation?

$\endgroup$
7
  • $\begingroup$ Yes. See for example stacks.math.columbia.edu/tag/049R $\endgroup$ Jan 23, 2016 at 2:52
  • 4
    $\begingroup$ No. Let $Y = {\rm{Spec}}(R)$ for a local ring $R$ whose maximal ideal $m$ is nonzero and satisfies $m^2 = m$ (e.g., the valuation ring of the completed algebraic closure of the fraction field of a dvr), and let $X = {\rm{Spec}}(R/m)$ be the (reduced) closed point of $Y$. For any artinian local ring $A$, a map ${\rm{Spec}}(A) \rightarrow Y$ hitting the closed point factors (uniquely) through $X$ scheme-theoretically since any local map of rings $R \rightarrow A$ carries $m = m^n$ into $\mathfrak{m}_A^n = 0$ for $n \gg 0$. So the infinitesimal criterion is satisfied but $f$ is not even flat. $\endgroup$
    – nfdc23
    Jan 23, 2016 at 3:17
  • 1
    $\begingroup$ it is not finitely presented. $\endgroup$
    – prochet
    Jan 23, 2016 at 7:16
  • 3
    $\begingroup$ Take $X$ to be ${\rm{Spec}}(R/(r))$ for a nonzero $r \in m$ to get a finitely presented instance of the same phenomenon. $\endgroup$
    – nfdc23
    Jan 23, 2016 at 12:37
  • 1
    $\begingroup$ @nfdc23: Would you please post this as an answer? $\endgroup$ Jan 23, 2016 at 14:48

1 Answer 1

3
$\begingroup$

Let $Y = {\rm{Spec}}(R)$ for a local ring $R$ with nonzero maximal ideal $m$ satisfying $m^2 = m$ (e.g., a valuation ring with algebraically closed fraction field). Note that the noetherian $R$ can satisfy this condition, due to the Krull Intersection Theorem.

Let $X = {\rm{Spec}}(R/(r))$ for a nonzero $r \in m$. Then the natural map $f:X \rightarrow Y$ is finitely presented but not flat (since it corresponds to a non-injective local map between local rings), so it is not smooth.

However, the "infinitesimal criterion" restricted to artin local rings is satisfied. Indeed, every functorial point of $Y$ supported at the closed point and valued in an artinian local ring $A$ uniquely factors through $X$ (as any local homomorphism $R \rightarrow A$ carries $m = m^2 = \dots = m^n$ into $\mathfrak{m}_A^n = 0$ for $n$ large, so such a homomorphism kills $r$).

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.