Remark 64.4.3. Of the properties mentioned which are stable under base change (as listed in Remark 64.4.1) the following are also *fpqc local on the base* (and a fortiori fppf local on the base):

for immersions we have this for

quasi-compact, see Descent, Lemma 35.22.1,

universally closed, see Descent, Lemma 35.22.3,

(quasi-)separated, see Descent, Lemmas 35.22.2, and 35.22.6,

monomorphism, see Descent, Lemma 35.22.31,

surjective, see Descent, Lemma 35.22.7,

universally injective, see Descent, Lemma 35.22.8,

affine, see Descent, Lemma 35.22.18,

quasi-affine, see Descent, Lemma 35.22.20,

(locally) of finite type, see Descent, Lemmas 35.22.10, and 35.22.12,

(locally) quasi-finite, see Descent, Lemma 35.22.24,

(locally) of finite presentation, see Descent, Lemmas 35.22.11, and 35.22.13,

locally of finite type of relative dimension $d$, see Descent, Lemma 35.22.25,

universally open, see Descent, Lemma 35.22.4,

flat, see Descent, Lemma 35.22.15,

syntomic, see Descent, Lemma 35.22.26,

smooth, see Descent, Lemma 35.22.27,

unramified (resp. G-unramified), see Descent, Lemma 35.22.28,

étale, see Descent, Lemma 35.22.29,

proper, see Descent, Lemma 35.22.14,

finite or integral, see Descent, Lemma 35.22.23,

finite locally free, see Descent, Lemma 35.22.30,

universally submersive, see Descent, Lemma 35.22.5,

universal homeomorphism, see Descent, Lemma 35.22.9.

Note that the property of being an “immersion” may not be fpqc local on the base, but in Descent, Lemma 35.23.1 we proved that it is fppf local on the base.

## Comments (0)