All Questions
1 question
9
votes
1
answer
531
views
Can one check formal smoothness using only one-variable Artin rings?
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 ...