**Proof.**
It is clear that (1) implies (2) and that (2) implies (3) by taking $V$ to be a disjoint union of affines étale over $Y$, see Properties of Spaces, Lemma 65.6.1. Assume $V \to Y$ is as in (3). Then for every affine open $W$ of $V$ we see that $W \times _ Y X$ is a quasi-affine open of $V \times _ Y X$. Hence by Properties of Spaces, Lemma 65.13.1 we conclude that $V \times _ Y X$ is a scheme. Moreover the morphism $V \times _ Y X \to V$ is quasi-affine. This means we can apply Spaces, Lemma 64.11.5 because the class of quasi-affine morphisms satisfies all the required properties (see Morphisms, Lemmas 29.13.5 and Descent, Lemmas 35.23.20 and 35.38.1). The conclusion of applying this lemma is that $f$ is representable and quasi-affine, i.e., (1) holds.

The equivalence of (1) and (4) follows from the fact that being quasi-affine is Zariski local on the target (the reference above shows that being quasi-affine is in fact fpqc local on the target).
$\square$

## Comments (1)

Comment #979 by Johan Commelin on