Remarks 59.29.11. On points of the geometric sites.

Theorem 59.29.10 says that the family of points of $S_{\acute{e}tale}$ given by the geometric points of $S$ (Lemma 59.29.7) is conservative, see Sites, Definition 7.38.1. In particular $S_{\acute{e}tale}$ has enough points.

Suppose $\mathcal{F}$ is a sheaf on the big étale site of $S$. Let $T \to S$ be an object of the big étale site of $S$, and let $\overline{t}$ be a geometric point of $T$. Then we define $\mathcal{F}_{\overline{t}}$ as the stalk of the restriction $\mathcal{F}|_{T_{\acute{e}tale}}$ of $\mathcal{F}$ to the small étale site of $T$. In other words, we can define the stalk of $\mathcal{F}$ at any geometric point of any scheme $T/S \in \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{\acute{e}tale})$.

The big étale site of $S$ also has enough points, by considering all geometric points of all objects of this site, see (2).

## Comments (0)

There are also: