Monday, 7 July 2008

ag.algebraic geometry - Why does finitely presented imply quasi-separated ?

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_0to 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.

No comments:

Post a Comment