Let $f:X \rightarrow Y$ be a morphism between two smooth projective varieties $X,Y$ which are defined over an algebraically closed field $k$. I am looking for some criteria which guaranties the projectivity of $f$. 


For instance if $f$ is finite it is projective. Here we don't need the projectivity of the varieties $X,Y$.


Is the morphism $f$ projective if


Question1: The fibers of $f$ are finite? 


Question 2: $f$ is one-to-one?


Question 3: $f$ is onto?


Does the assumption $k=\mathbb{C}$ make the questions easier?



Morphism between projective varieties
Here is an attempt to prove Angelo's comment (it seems too simple to use a reference for it):


$X,Y$ defined over $S$. If they are both proper over $S$, then so is $f$ by Hartshorne, II.4.8(e). In particular $f$ is separated and universally closed.


If $X$ is projective over $S$ then for some $n$ there exists $\iota: X\to \mathbb P^n\_{S}$, a universally closed separated immersion. 


The morphism $\nu:X\to\mathbb P^n\_S\times\_S Y=:\mathbb P^n\_Y$ defined by $x \mapsto (x,f(x))\in \mathbb P^n\_S\times\_SY$ is the composition of the base extension of $f$ by the projection $\pi:\mathbb P^n\_Y\to Y$; $f\_{\pi}$, the embedding $\iota$ base extended by the identity of $X$; $X\times\_SX\to \mathbb P^n\_S\times\_S X$ and the diagonal morphism of $X$; $\Delta\_X: X\to X\times\_S X$. I.e., $\nu=f\_{\pi}\circ (\iota\times\_S{\rm id}\_X)\circ \Delta\_X: X\to \mathbb P^n\_S\times\_S Y$. Actually, this might be a better definition than the one with "coordinates". Since $f$ is separated and universally closed and $\iota$ is universally closed, it follows that $\nu$ is closed. It is obviously an embedding. Now $f=\pi\circ\nu$ and hence it is projective. 


Well, may be it was not that simple, and Angelo might tell me that it is wrong....


