QUASI-FINITE MORPHISM

In algebraic geometry, a branch of mathematics, a morphism ''f'' : ''X'' → ''Y'' of schemes is 'quasi-finite' if it satisfies the following two conditions:

★ ''f'' is locally of finite type.

★ For every point ''y'' ∈ ''Y'', the scheme-theoretic fiber ''X'' ×_''Y'' ''k''(''y'') has only a finite number of points. Here ''k''(''y'') is the residue field of ''y'' and ''k''(''y'') → ''Y'' is the inclusion morphism.
Note that the underlying topological space of the fibre is homeomorphic to the preimage of ''f'' ⁻¹(''y'') when ''f'' is regarded as a map of topological spaces.
Quasi-finite morphisms were originally defined in SGA 1 and did not include the locally of finite type hypothesis. This hypothesis was added to the definition in EGA II 6.2 because it makes it possible to give an algebraic characterization of quasi-finiteness in terms of stalks.

Contents

Relationship to other types of morphisms

References

Relationship to other types of morphisms

★ Finite morphisms are quasi-finite. Conversely, by Zariski's main theorem, a quasi-finite proper morphism is finite. See EGA IV₃, 8.12.6.

★ Unramified and in particular étale morphisms are quasi-finite.

References

★ Séminaire de Géométrie Algébrique du Bois Marie - 1960-61 - Revêtements étales et groupe fondamental - (SGA 1) (Documents Mathématiques '3'), , Alexandre, Grothendieck, Société Mathématique de France, 2003, ISBN 2-85629-141-4

★ Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : II. Étude globale élémentaire de quelques classes de morphismes, , Alexandre, Grothendieck, Publications Mathématiques de l'IHÉS, 1961

★ Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : IV. Étude locale des schémas et des morphismes de schémas, Troisième partie, , Alexandre, Grothendieck, Publications Mathématiques de l'IHÉS, 1966