16
$\begingroup$

A morphism of schemes is formally smooth and locally of finite presentation iff it is smooth.

What happens if we drop the finitely presented hypothesis? Of course, locally of finite presentation is part of smoothness, so implicilty I am asking for the flatness to fail.

$\endgroup$

2 Answers 2

30
$\begingroup$

Here's an elementary example. For any field $k$, consider the ring $k[t^q|q\in\mathbb Q_{>0}]$, which I'll abbreviate $k[t^q]$. I claim that the natural quotient $k[t^q]\to k$ given by sending $t^q$ to $0$ is formally smooth but not flat, and therefore not smooth.

First let's show it's formally smooth. Let $A$ be a ring with square-zero ideal $I\subseteq A$, and suppose we have maps $f:k[t^q]\to A$ and $g:k\to A/I$ making the following square commute (I drew it backwards because you're probably thinking of Spec of everything)

$$ \begin{array}{ccc} A/I & \xleftarrow g & k \\ \uparrow & & \uparrow\\ A & \xleftarrow f & k[t^q] \end{array} $$

We'd like to show that there's a map $k\to A$ filling the diagram in. For any $q\in \mathbb Q_{>0}$, note that $f(t^q)\in I$ by commutativity of the square, so $f(t^{2q})\in I^2=0$. But every $q$ is of the form $2q'$ for some $q'$, so we've shown that $f(t^q)=0$ for all $q\in \mathbb Q_{>0}$. So $f$ factors through $k$, as desired.

Now let's show that $k$ is not flat over $k[t^q]$. Consider the exact sequence $$0\to (t)\to k[t^q]\to k[t^q]/(t)\to 0.$$ When you tensor with $k$, you get $$0\to k\to k\to k\to 0,$$ which is obviously not exact. So $k$ is not flat over $k[t^q]$.

$\endgroup$
2
  • 3
    $\begingroup$ Great, crisp answer, Anton! And as a bonus it shows, as Mabli has just remarked, that even formally étale doesn't imply flat (since your example is formally étale). $\endgroup$ Jan 17, 2010 at 22:39
  • 3
    $\begingroup$ I'm just going to point out a small extension of this, and simultaneously advertise a little. In general, if $R$ is any ring and $I \subset R$ an ideal with $I^2 =I$, then $R \to R/I$ is formally \'etale (but probably not flat, i.e. unless $I$ is a direct factor). This follows by the same argument, and is Prop. 2.20 in people.fas.harvard.edu/~amathew/chetale.pdf Note that if $R$ is noetherian, then in this situation $R /I$ is always flat over $R$ (as a formally smooth algebra over a noeth. ring is flat) because $I$ is automatically a direct factor. $\endgroup$ Sep 5, 2011 at 23:13
5
$\begingroup$

This paper by Fishel-Grojnowski-Teleman shows that the "loop Grassmannian" G((z))/G[[z]] is formally smooth, but does not satisfy Hodge decomposition, hence is not smooth: http://arxiv.org/abs/math.AG/0411355

$\endgroup$
1
  • $\begingroup$ but is it proper? $\endgroup$
    – geometer
    Dec 27, 2018 at 8:53

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.