Return to Question

Corrected the question by changing the field k to k'.

view source

edited Oct 11 2009 at 20:20

Let f:X -> 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[t]/t^nk'[t]/t^n, where k' is also a field?

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

edited body; edited tags; edited tags

view source

edited Oct 8 2009 at 14:16

David Zureick-Brown♦
6,064●10●41

Let f:X -> Y be a morphism of schemes over a field k. Can one check that f is Formally formally smooth using only Artin rings of the form k[t]/t^n?

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

edited title; deleted 12 characters in body

view source

edited Oct 7 2009 at 19:48

David Zureick-Brown♦
6,064●10●41

Can one check formal smoothness on using only one-variable Artin rings?

Let f:X -> Y be a morphism of schemes over a field k. Can one check that f is Formally smooth using only infinitesmal extensions Artin rings of the form k[t]/t^n?

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