Definition 37.34.1. Let $S$ be a scheme. Let $s \in S$ be a point.

1. An étale neighbourhood of $(S, s)$ is a pair $(U, u)$ together with an étale morphism of schemes $\varphi : U \to S$ such that $\varphi (u) = s$.

2. A morphism of étale neighbourhoods $f : (V, v) \to (U, u)$ of $(S, s)$ is simply a morphism of $S$-schemes $f : V \to U$ such that $f(v) = u$.

3. An elementary étale neighbourhood is an étale neighbourhood $\varphi : (U, u) \to (S, s)$ such that $\kappa (s) = \kappa (u)$.

There are also:

• 3 comment(s) on Section 37.34: Étale neighbourhoods

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