I think so (even in dimension higher than 2). Let H be an ample divisor in X avoiding F and let H' be its strict transform in Y. Then H' is ample in Y. In particular $Y={\rm Proj}(Y,H')={\rm Proj}(X,H)=X$.
mrw
- 153
- 6