Talk:Formally smooth map
Add topicLatest comment: 1 year ago by 1234qwer1234qwer4 in topic Schemes
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Todo
[edit]- Remark on lemma 37.12.1 of https://stacks.math.columbia.edu/tag/02HW which gives an infinitesimal condition for infinitesimal lifting of local rings. The interpretation here is smooth deformations of local rings, whether they be around points, or subschemes, can be deformed around the scheme.
- Vakil gives an interesting discussion relating formally smooth, etale, and unramified maps to analytic geometry. Checkout https://math.stanford.edu/~vakil/0506-216/216class5152.pdf
- Add (counter-)examples found in the external links section
Schemes
[edit]The content added by @Wundzer refers to the concept for morphism of schemes, which is only defined at Smooth morphism#Formally smooth morphism. Probably this article should just have the scheme-theoretic definition as well, just like formally étale morphism does. 1234qwer1234qwer4 02:07, 3 March 2025 (UTC)