Lemma 35.20.1. The property $\mathcal{P}(f) =$“$f$ is quasi-compact” is fpqc local on the base.

Proof. A base change of a quasi-compact morphism is quasi-compact, see Schemes, Lemma 26.19.3. Being quasi-compact is Zariski local on the base, see Schemes, Lemma 26.19.2. Finally, let $S' \to S$ be a flat surjective morphism of affine schemes, and let $f : X \to S$ be a morphism. Assume that the base change $f' : X' \to S'$ is quasi-compact. Then $X'$ is quasi-compact, and $X' \to X$ is surjective. Hence $X$ is quasi-compact. This implies that $f$ is quasi-compact. Therefore Lemma 35.19.4 applies and we win. $\square$

There are also:

• 2 comment(s) on Section 35.20: Properties of morphisms local in the fpqc topology on the target

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).