En Hartshorne de la Geometría Algebraica, página 103, una de morfismos se dice es proyectivo si factores como cerrado inmersión seguido por la proyección de . Como se señaló allí, EGA II, 5.5 tiene otra definición, es decir, es proyectivo si factores como cerrado inmersión seguido por el mapa de proyección, donde es finitos de tipo cuasi-coherentes -módulo.
Hartshorne estados sin prueba ni referencia que las dos definiciones son equivalentes en el caso de sí es cuasi-proyectiva a través de un esquema afín".
Mi pregunta es: ¿alguien sabe de una prueba o una referencia para esta afirmación? Y si no: ¿es correcto?