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?
Is there an example of a formally smooth morphism which is not smooth?
David Zureick-Brown
- 10.5k
- 3
- 39
- 96