[Math] Why and how did preschemes become schemes

ag.algebraic-geometryho.history-overviewschemesterminology

Originally (e.g., in the first edition of EGA and in Mumford's Red Book), what are now called "schemes" were referred to as "preschemes." The word "scheme" was reserved for what are now called "separated schemes." Presumably (although admittedly I am guessing here), the original idea was that all schemes should be separated by analogy with manifolds, which are by definition Hausdorff; however, unlike in the case of manifolds, in algebraic geometry one cannot introduce a notion of "separated" until the category of (pre)schemes has already been defined, hence the need for a term for "not necessarily separated scheme."

I can think of at least two possible scenarios that might have contributed to the revision of the terminology:
1) Perhaps preschemes that are not separated, or at least not easy to show separated, came up sufficiently often that people decided they should be included in the "fundamental objects of study." (If so, I would be interested to know some examples of these non-separated schemes.)
2) Perhaps, when Grothendieck and Dieudonne carefully wrote EGA so as to assume the weakest reasonable hypotheses for every proposition, it was discovered that there were far more propositions about preschemes than about schemes, and people (most notably, Grothendieck himself) decided that preschemes, not separated schemes, were the more fundamental objects.

Unfortunately, both of these scenarios are largely speculative. What actually happened? In particular, what was the motivation for the shift in terminology?

Best Answer

Dear Charles, Dieudonné and Grothendieck themselves changed their terminology in the second edition of EGA I, published by Springer Verlag in 1971. At the end of their Avant-propos, on page 3, they write:

Signalons enfin, par rapport à la première édition, un changement important de terminologie: le mot schéma désigne maintenant ce qui était appelé "préschéma" dans la première édition, et les mots "schéma séparé" ce qui était appelé "schéma".

As to the suggestion "it was discovered that there were far more propositions about preschemes than about schemes, and people decided that this was ridiculous": considering the God-like status of Grothendieck and the awe he inspired, this sounds to me as plausible as courtesans telling Louis XIV "hey, this royalty business is pretty ridiculous. Why not name our country The Democratic Libertarian Republic of France?"

Related Question