The Stacks project

110.57 Sheaves and constructible functions

In the following we fix a big étale site $\mathit{Sch}_{\acute{e}tale}$ as constructed in Topologies, Definition 34.4.6. Moreover, a scheme will be an object of this site. In this section we say that a constructible partition of a scheme $X$ is a locally finite disjoint union decomposition $X = \coprod _{i \in I} X_ i$ such that each $X_ i \subset X$ is a locally constructible subset of $X$. Locally finite means that for any quasi-compact open $U \subset X$ there are only finitely many $i \in I$ such that $X_ i \cap U$ is not empty. Note that if $f : X \to Y$ is a morphism of schemes and $Y = \coprod Y_ j$ is a constructible partition, then $X = \coprod f^{-1}(Y_ j)$ is a constructible partition of $X$. Given a set $S$ and a scheme $X$ a constructible function $f : |X| \to S$ is a map such that $X = \coprod _{s \in S} f^{-1}(s)$ is a constructible partition of $X$. If $G$ is an (abstract group) and $a, b : |X| \to G$ are constructible functions, then $ab : |X| \to G, x \mapsto a(x)b(x)$ is a constructible function too. The reason is that given any two constructible partitions there is a third one refining both.

Let $A$ be any abelian group. For any scheme $X$ we define

\[ F(X) = \frac{\{ a : |X| \to A \mid a \text{ is a constructible function}\} }{\{ \text{locally constant functions }|X| \to A\} } \]

We think of an element $a$ of $F(X)$ simply as a function well defined up to adding a locally constant one. Given a morphism of schemes $f : X \to Y$ and an element $b \in F(Y)$, then we define $F(f)(b) = b \circ f$. Thus $F$ is a presheaf on $\mathit{Sch}_{\acute{e}tale}$.

Note that if $\{ f_ i : U_ i \to X\} $ is an fppf covering, and $a \in F(X)$ is such that $F(f_ i)(a) = 0$ in $F(U_ i)$, then $a \circ f_ i$ is a locally constant function for each $i$. This means in turn that $a$ is a locally constant function as the morphisms $f_ i$ are open. Hence $a = 0$ in $F(X)$. Thus we see that $F$ is a separated presheaf (in the fppf topology hence a fortiori in the étale topology).

Let $G$ be the sheafification of $F$ in the étale topology. Since $F$ is separated, and since $F(X) \not= 0$ for example when $X$ is the spectrum of a discrete valuation ring, we see that $G$ is not zero.

Let $X = \mathop{\mathrm{Spec}}(k)$ where $k$ is a field. Then any étale covering of $X$ can be dominated by a covering $\{ \mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k)\} $ with $k'/k$ a finite separable extension of fields. Since $F(\mathop{\mathrm{Spec}}(k')) = 0$ we see that $G(X) = 0$.

Suppose that $X \subset X'$ is a thickening, see More on Morphisms, Definition 37.2.1. Then the category of schemes étale over $X'$ is equivalent to the category of schemes étale over $X$ by the base change functor $U' \mapsto U = U' \times _{X'} X$, see Étale Cohomology, Theorem 59.45.2. Since $F(U) = F(U')$ in this situation we see that also $G(X) = G(X')$.

The sheaf $G$ is limit preserving, see Limits of Spaces, Definition 70.3.1. Namely, let $R$ be a ring which is written as a directed colimit $R = \mathop{\mathrm{colim}}\nolimits _ i R_ i$ of rings. Set $X = \mathop{\mathrm{Spec}}(R)$ and $X_ i = \mathop{\mathrm{Spec}}(R_ i)$, so that $X = \mathop{\mathrm{lim}}\nolimits _ i X_ i$. Then $G(X) = \mathop{\mathrm{colim}}\nolimits _ i G(X_ i)$. To prove this one first proves that a constructible partition of $\mathop{\mathrm{Spec}}(R)$ comes from a constructible partitions of some $\mathop{\mathrm{Spec}}(R_ i)$. Hence the result for $F$. To get the result for the sheafification, use that any étale ring map $R \to R'$ comes from an étale ring map $R_ i \to R_ i'$ for some $i$. Details omitted.

Lemma 110.57.1. There exists a sheaf of abelian groups $G$ on $\mathit{Sch}_{\acute{e}tale}$ with the following properties

  1. $G(\mathop{\mathrm{Spec}}(k)) = 0$ whenever $k$ is a field,

  2. $G$ is limit preserving,

  3. if $X \subset X'$ is a thickening, then $G(X) = G(X')$, and

  4. $G$ is not zero.

Proof. See discussion above. $\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 05LG. Beware of the difference between the letter 'O' and the digit '0'.