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?

  • 8
    $\begingroup$ ... the same question for topological spaces, who were assumed to be Hausdorff in their first years (by ... well Hausdorff). $\endgroup$ – Martin Brandenburg Feb 16 '11 at 16:41

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?"

  • 4
    $\begingroup$ I did not mean to imply that "people" did not include Grothendieck; obviously, it did. (If you'll note, my question specifically referred to the "first edition of EGA," since the second one, insofar as it exists, uses the new terminology.) In any case, while I don't mean to deny interest in who exactly was involved in the terminology shift, I am more interested in the motivation for it. I am editing the question a bit to make this more clear. $\endgroup$ – Charles Staats Feb 16 '11 at 20:12
  • 4
    $\begingroup$ Dear Charles, the last paragraph of my answer is pretty silly and is to be taken as such. I certainly did not want to criticize your interesting question and am sorry if I gave this false impression. I just meant to convey the sycophantic atmosphere surrounding Grothendieck at the time . It is all hearsay anyway (I wasn't around), but reliable hearsay from several sources. $\endgroup$ – Georges Elencwajg Feb 16 '11 at 21:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.