On elimination of Noetherian conditions in the geometry of schemes

Question

Grothendieck seemed to try to eliminate Noetherian conditions as much as possible in EGA. For example, he developed the cohomology theory of schemes without Noetherian conditions. On the other hand, the Hartshorne's book assumes Noetherian conditions to do it. If one's main interest is in the geometry of varieties or schemes of finite type over Dedekind domains, does one need non-Noetherian theory like Grothendieck's?

Answer 1

For the most part, the answer is "no"; most people who work with varieties will never need to worry about non-Noetherian rings. But there are reasons to be open to the non-Noetherian setting. First, they can actually come up (as pointed out in the comments). As just one example, the normalization of a Noetherian ring can be non-Noetherian. You can either work hard to show that the rings you care about don't have this pathology, or you can just relax and not worry about it. Second, there is often no harm in working with schemes in general. (One caution with Hartshorne: often the Noetherian conditions are unnecessary, and not used in the proofs; and in some cases, the arguments are more complicated because of the desire to work in the Noetherian setting.)

My suggestion is this: don't worry about reading how to remove Noetherian conditions until you have a need to remove them. But don't gratuitously add Noetherian conditions for no good reason. (Note also: sometimes Noetherian conditions can be removed with little pain, see for example my answer Flatness for family of hypersurfaces.)