Lemma 70.6.2. With notation and assumptions as in Situation 70.6.1. If
f is étale,
f_0 is locally of finite presentation,
then f_ i is étale for some i \geq 0.
Lemma 70.6.2. With notation and assumptions as in Situation 70.6.1. If
f is étale,
f_0 is locally of finite presentation,
then f_ i is étale for some i \geq 0.
Proof. Choose an affine scheme V_0 and a surjective étale morphism V_0 \to Y_0. Choose an affine scheme U_0 and a surjective étale morphism U_0 \to V_0 \times _{Y_0} X_0. Diagram
The vertical arrows are surjective and étale by construction. We can base change this diagram to B_ i or B to get
Note that U_ i, V_ i, U, V are affine schemes, the vertical morphisms are surjective étale, and the limit of the morphisms U_ i \to V_ i is U \to V. Recall that X_ i \to Y_ i is étale if and only if U_ i \to V_ i is étale and similarly X \to Y is étale if and only if U \to V is étale (Morphisms of Spaces, Lemma 67.39.2). Since f_0 is locally of finite presentation, so is the morphism U_0 \to V_0. Hence the lemma follows from Limits, Lemma 32.8.10. \square
Comments (0)