En Hartshorne de la Geometría Algebraica, página 103, una de morfismos f:X→Yf:X→Y se dice es proyectivo si factores como cerrado inmersión X→PnYX→PnY seguido por la proyección de PnY→YPnY→Y. Como se señaló allí, EGA II, 5.5 tiene otra definición, es decir, ff es proyectivo si factores como cerrado inmersión X→P(E)X→P(E) seguido por el mapa de proyección, donde EE es finitos de tipo cuasi-coherentes OYOY-módulo.
Hartshorne estados sin prueba ni referencia que las dos definiciones son equivalentes en el caso de YY 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?