Suppose I have a quasiprojective variety $X$ and a finite surjective map $$f: X \rightarrow Y$$ to a scheme $Y$. Is it true that $Y$ is quasiprojective as well? It seems like the answer could be no, but I don't know enough examples of nonprojective schemes.

4$\begingroup$ No. One classic example of a nonprojective 3fold involves contracting a bunch of rational curves in a projective 3fold. This gives a finite morphism $X\to Y$, with $X$ projective. Since $Y$ is complete but not projective, it is not quasiprojective. I'll see if I can dig it up. $\endgroup$– Will SawinFeb 28, 2012 at 23:01

7$\begingroup$ When you contract curves, the resulting morphism is not finite. $\endgroup$– AngeloFeb 29, 2012 at 5:46
2 Answers
This isn't true in general.
For example, see Section 6 of Conducteur, Descente et Pincement by D. Ferrand. There Ferrand gives an example of a nonnormal proper variety $Y$ whose normalization is projective.
If I recall correctly, many examples of proper nonprojective schemes have finite maps from projective ones.
It is true if $Y$ is normal. Let me explain why.
I will say that a variety has the ChevalleyKleiman (CK) property if every finite subset is contained in an affine open. By Corollary 48 of Kollar's "Quotients by finite equivalence relations" arXiv:0812.3608, if $f:X\to Y$ is finite and surjective, then if $X$ has the CK property, $Y$ has it too.
Now, it is clear that a quasiprojective variety has the CK property, and a normal variety with the CK property is quasiprojective by Corollary 2 of "Quasiprojectivity of normal varieties" arXiv:1112.0975.
Putting this together, we see that if $f:X\to Y$ is a finite surjective map of varieties with $X$ quasiprojective and $Y$ normal, then $Y$ is quasiprojective.

1$\begingroup$ I just want to say wow, that's really interesting. $\endgroup$ Feb 29, 2012 at 19:54

7$\begingroup$ I agree. Although there is more elementary way to see this by a nice and easy construction in EGA2, 6.5: To simplify things I assume that all schemes are of finite type over some noetherian ring $R$. In EGA2 it is explained that for a finite morphism of schemes $f: X \to Y$ you can construct a group homomorphism $N_{X/Y}: {\rm Pic}(X) \to {\rm Pic}(Y)$ if $f$ is flat of if $Y$ is normal. Moreover in EGA2, 5.6, it is then shown that if $L$ is an ample line bundle on $X$, then $N_{X/Y}(L)$ is an ample line bundle on $Y$. This shows that $Y$ is quasiprojective if $f$ is flat or $Y$ is normal. $\endgroup$ Mar 1, 2012 at 5:18

$\begingroup$ You are right : this is much simpler. Moreover, it constructs an explicit ample line bundle on $Y$ (I don't think it is possible to get one with the arguments I gave). On the other hand, Kollar's result says something even if $Y$ is not normal. For example, if $Y$ were only known to be an algebraic space, then it is automatically a scheme. $\endgroup$ Mar 1, 2012 at 9:27