Lemma 59.29.7. Let S be a scheme. Let \overline{s} be a geometric point of S. Consider the functor
\begin{align*} u : S_{\acute{e}tale}& \longrightarrow \textit{Sets}, \\ U & \longmapsto |U_{\overline{s}}| = \{ \overline{u} \text{ such that }(U, \overline{u}) \text{ is an étale neighbourhood of }\overline{s}\} . \end{align*}
Here |U_{\overline{s}}| denotes the underlying set of the geometric fibre. Then u defines a point p of the site S_{\acute{e}tale} (Sites, Definition 7.32.2) and its associated stalk functor \mathcal{F} \mapsto \mathcal{F}_ p (Sites, Equation 7.32.1.1) is the functor \mathcal{F} \mapsto \mathcal{F}_{\overline{s}} defined above.
Proof.
In the proof of Lemma 59.29.5 we have seen that the scheme U_{\overline{s}} is a disjoint union of schemes isomorphic to \overline{s}. Thus we can also think of |U_{\overline{s}}| as the set of geometric points of U lying over \overline{s}, i.e., as the collection of morphisms \overline{u} : \overline{s} \to U fitting into the diagram of Definition 59.29.1. From this it follows that u(S) is a singleton, and that u(U \times _ V W) = u(U) \times _{u(V)} u(W) whenever U \to V and W \to V are morphisms in S_{\acute{e}tale}. And, given a covering \{ U_ i \to U\} _{i \in I} in S_{\acute{e}tale} we see that \coprod u(U_ i) \to u(U) is surjective by Lemma 59.29.5. Hence Sites, Proposition 7.33.3 applies, so p is a point of the site S_{\acute{e}tale}. Finally, our functor \mathcal{F} \mapsto \mathcal{F}_{\overline{s}} is given by exactly the same colimit as the functor \mathcal{F} \mapsto \mathcal{F}_ p associated to p in Sites, Equation 7.32.1.1 which proves the final assertion.
\square
Comments (2)
Comment #3237 by Dario Weißmann on
Comment #3336 by Johan on
There are also: