The Stacks project

65.39 Étale morphisms

The notion of an étale morphism of algebraic spaces was defined in Properties of Spaces, Definition 64.16.2. Here is what it means for a morphism to be étale at a point.

Definition 65.39.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $x \in |X|$. We say $f$ is étale at $x$ if there exists an open neighbourhood $X' \subset X$ of $x$ such that $f|_{X'} : X' \to Y$ is étale.

Lemma 65.39.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent:

  1. $f$ is étale,

  2. for every $x \in |X|$ the morphism $f$ is étale at $x$,

  3. for every scheme $Z$ and any morphism $Z \to Y$ the morphism $Z \times _ Y X \to Z$ is étale,

  4. for every affine scheme $Z$ and any morphism $Z \to Y$ the morphism $Z \times _ Y X \to Z$ is étale,

  5. there exists a scheme $V$ and a surjective étale morphism $V \to Y$ such that $V \times _ Y X \to V$ is an étale morphism,

  6. there exists a scheme $U$ and a surjective étale morphism $\varphi : U \to X$ such that the composition $f \circ \varphi $ is étale,

  7. for every commutative diagram

    \[ \xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ X \ar[r] & Y } \]

    where $U$, $V$ are schemes and the vertical arrows are étale the top horizontal arrow is étale,

  8. there exists a commutative diagram

    \[ \xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ X \ar[r] & Y } \]

    where $U$, $V$ are schemes, the vertical arrows are étale, and $U \to X$ surjective such that the top horizontal arrow is étale, and

  9. there exist Zariski coverings $Y = \bigcup Y_ i$ and $f^{-1}(Y_ i) = \bigcup X_{ij}$ such that each morphism $X_{ij} \to Y_ i$ is étale.

Proof. Combine Properties of Spaces, Lemmas 64.16.3, 64.16.5 and 64.16.4. Some details omitted. $\square$

Lemma 65.39.3. The composition of two étale morphisms of algebraic spaces is étale.

Proof. This is a copy of Properties of Spaces, Lemma 64.16.4. $\square$

Lemma 65.39.4. The base change of an étale morphism of algebraic spaces by any morphism of algebraic spaces is étale.

Proof. This is a copy of Properties of Spaces, Lemma 64.16.5. $\square$

Lemma 65.39.5. An étale morphism of algebraic spaces is locally quasi-finite.

Proof. Let $X \to Y$ be an étale morphism of algebraic spaces, see Properties of Spaces, Definition 64.16.2. By Properties of Spaces, Lemma 64.16.3 we see this means there exists a diagram as in Lemma 65.22.1 with $h$ étale and surjective vertical arrow $a$. By Morphisms, Lemma 29.35.6 $h$ is locally quasi-finite. Hence $X \to Y$ is locally quasi-finite by definition. $\square$

Proof. The proof is identical to the proof of Lemma 65.39.5. It uses the fact that an étale morphism of schemes is smooth (by definition of an étale morphism of schemes). $\square$

Proof. The proof is identical to the proof of Lemma 65.39.5. It uses Morphisms, Lemma 29.35.12. $\square$

Proof. The proof is identical to the proof of Lemma 65.39.5. It uses Morphisms, Lemma 29.35.11. $\square$

Lemma 65.39.9. An étale morphism of algebraic spaces is locally of finite type.

Proof. An étale morphism is locally of finite presentation and a morphism locally of finite presentation is locally of finite type, see Lemmas 65.39.8 and 65.28.5. $\square$

Proof. The proof is identical to the proof of Lemma 65.39.5. It uses Morphisms, Lemma 29.35.5. $\square$

Lemma 65.39.11. Let $S$ be a scheme. Let $X, Y$ be algebraic spaces étale over an algebraic space $Z$. Any morphism $X \to Y$ over $Z$ is étale.

Proof. This is a copy of Properties of Spaces, Lemma 64.16.6. $\square$

Lemma 65.39.12. A locally finitely presented, flat, unramified morphism of algebraic spaces is étale.

Proof. Let $X \to Y$ be a locally finitely presented, flat, unramified morphism of algebraic spaces. By Properties of Spaces, Lemma 64.16.3 we see this means there exists a diagram as in Lemma 65.22.1 with $h$ locally finitely presented, flat, unramified and surjective vertical arrow $a$. By Morphisms, Lemma 29.35.16 $h$ is étale. Hence $X \to Y$ is étale by definition. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 03XS. Beware of the difference between the letter 'O' and the digit '0'.