Let $X$ be a non-empty topological space. What are some interesting examples of a sheaf of sets $F$ over $X$ such that for some non-empty open $U \subset X$, $F(U) = \emptyset$?
Here is an example that I think is interesting:
Let $X$ be a topological space and $U \subset X$ be an open subset. Then one can define a sheaf of sets $F$ on $X$ as follows:
- If $V \subset X$ is open and $V \subset U$ then $F(V) = \{e\}$, where $\{e\}$ is any one element set.
- If $V \subset X$ is open and $V \not\subset U$ then $F(V) = \emptyset$.
The restriction maps are obviously the identity map on $\{e\}$ and the empty maps. Ravi Vakil in his online notes on Algebraic Geometry calls this sheaf "the indicator sheaf".
This sheaf is not trivial in the sense that one can use it to show that if a morphism of sheaves of sets on $X$ is a monomorphism in the category of sheaves of sets on $X$, then all its component maps are injective.
If I am not mistaken, one can also define a skyscraper sheaf at a point $p \in X$ such that if $U$ is an open subset of $X$ containing $p$, then the set of sections over $U$ is empty.
What are some other interesting examples of sheaves of sets with no sections over a non-empty open subset?