All Questions
2 questions
27
votes
1
answer
1k
views
Motivation for relative schemes: why should one work with schemes over a ringed topos?
Recently I've been trying to learn more about relative schemes. These were developed in M. Hakim's thesis Topos annelés et schémas relatifs under Grothendieck's guidance and appear in many of later ...
5
votes
1
answer
686
views
What is the natural motivation for smooth/étale/unramified morphisms restricting from formally smooth/étale/unramified morphisms?
(I asked it first in MathStackExchange but I haven't get an answer yet)
Smooth (resp. étale) morphisms are just locally finitely presented + formally smooth (resp. étale) morphisms.
For unramified ...