morphism of finite presentation
A homomorphism of schemes is
finitely presented at if there is an affine open neighborhood and an affine open set , such that is finitely presented as an -algebra.
locally finitely presented if it is finitely presented at each .
finitely presented if it is locally finitely presented, quasicompact and quasiseparated.
essentially finitely presented if it is a localization of a finitely presented morphism.
A standard open (Zariski topology) is of finite presentation. More generallly, an étale morphism of schemes is of finite presentation (though essentially by definition so).
Revised on November 25, 2013 01:27:26
by Urs Schreiber