9
$\begingroup$

Let $f:X\rightarrow Y$ be a morphism of schemes over a field $k$. Can one check that $f$ is formally smooth using only Artin rings of the form $k^{\prime}\left[t\right]/t^{n}$, where $k^{\prime}$ is also a field?

Considering cuspidal curves one can show that you do at least need arbitrarily large $n$.

$\endgroup$
1
  • 1
    $\begingroup$ Is there more left to do in this question? $\endgroup$ Jan 23, 2010 at 2:57

1 Answer 1

3
$\begingroup$

I'm not sure what you mean by "using" but I think the answer is no. X can be nonempty and singular over Y with X(k) empty.

$\endgroup$
1
  • $\begingroup$ To check formal smoothness, you have to check that for any square-zero extension of Artin rings A'-->A, and any maps Spec(A)-->X and Spec(A')-->Y (making the obvious diagram commute), there's a compatible map Spec(A')-->X. I think that "using k[t]/t^n" means only checking the cases where A'=k[t]/t^n. If I understood this right, then your answer is correct. $\endgroup$ Oct 10, 2009 at 20:34

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.