Lemma 35.20.24. The properties $\mathcal{P}(f) =$“$f$ is locally quasi-finite” and $\mathcal{P}(f) =$“$f$ is quasi-finite” are fpqc local on the base.

Proof. Let $f : X \to S$ be a morphism of schemes, and let $\{ S_ i \to S\}$ be an fpqc covering such that each base change $f_ i : X_ i \to S_ i$ is locally quasi-finite. We have already seen (Lemma 35.20.10) that “locally of finite type” is fpqc local on the base, and hence we see that $f$ is locally of finite type. Then it follows from Morphisms, Lemma 29.20.13 that $f$ is locally quasi-finite. The quasi-finite case follows as we have already seen that “quasi-compact” is fpqc local on the base (Lemma 35.20.1). $\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).