About definition of finite presentation morphism

Question

Simple question: why finite type morphisms of scheme are required to be only quasi-compact while finitly presented morphisms are asked to by quasi-compacts and quasi-separated?

As far as I can see, removing this requirement does not prevent from proving the basic properties such as stability of the notion under composition, products, etc.

Answer 1

There's a really good answer to this over at MO. Let me quote the relevant text:

One of the main interests in finitely presented morphisms comes from the various theorems in EGA IV,8. They show that for many questions about morphisms of schemes and sheaves on them, the condition of finite presentation allows one to reduce to a noetherian situation. For these theorems the assumption of quasi-separatedness is crucial.

Let me quickly try to explain why. The heart of the reduction to the noetherian case are theorems like the following: Let X over Spec A be a finitely presented scheme. Then there is a subring $A_0$ of $A$ which is a finitely generated $\mathbb{Z}$-algebra (and in particular noetherian) and an $A_0$-scheme $X_0$ of finite presentation such that $X$ arises from $X_0$ via the base-change $A_0\to A$. If $X$ is affine, this is pretty clear, as $X$ is definied by finitely many equations in an affine space over $A$. In order to pass from the affine case to the general case, it does NOT suffice to know that we can cover $X$ by finitely many affine pieces (which would be the assumption of quasi-compactness), but we also need that the glueing data for the affine pieces are somehow described by a finite number of equations. This is ensured by the assumption that the intersection of two affine pieces is quasi-compact which corresponds precisely to the assumption that $X$ is quasi-separated over A.

I guess that these theorems were the reason for Grothendieck to include this condition in the definition of finitely presented.