Proof.
Assume (1), and let Z \to Y be a morphism of algebraic spaces with Z quasi-compact. By Properties of Spaces, Definition 66.5.1 there exists a quasi-compact scheme U and a surjective étale morphism U \to Z. Since f is representable and quasi-compact we see by definition that U \times _ Y X is a scheme, and that U \times _ Y X \to U is quasi-compact. Hence U \times _ Y X is a quasi-compact scheme. The morphism U \times _ Y X \to Z \times _ Y X is étale and surjective (as the base change of the representable étale and surjective morphism U \to Z, see Section 67.3). Hence by definition Z \times _ Y X is quasi-compact.
Assume (2). Let Z \to Y be a morphism, where Z is a scheme. We have to show that p : Z \times _ Y X \to Z is quasi-compact. Let U \subset Z be affine open. Then p^{-1}(U) = U \times _ Y Z and the scheme U \times _ Y Z is quasi-compact by assumption (2). Hence p is quasi-compact, see Schemes, Section 26.19.
\square
Comments (0)