Projective morphism

Summary

A projective morphism $X \to Y$ is a morphism that embeds $X$ as a closed subscheme of a projective space over $Y$. It is the relative form of a projective variety: a family of projective schemes parametrized by $Y$. Projective morphisms are proper, and most proper morphisms met in practice are projective.