All Questions
1 question
9
votes
3
answers
1k
views
If $\Omega_{X/Y}$ is locally free of rank $\mathrm{dim}\left(X\right)-\mathrm{dim}\left(Y\right)$, is $X\rightarrow Y$ smooth?
Suppose I have a morphism $f:X\rightarrow Y$ such that the relative sheaf of differentials $\Omega_{X/Y}$ is locally free. Does it follow that $f$ is smooth?
The answer is no, but for a silly reason. ...
