1
$\begingroup$

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?

  • 0
    Rankeya and @MattE, yes you are right. I was confused.2011-11-23

1 Answers 1

6

A lot of sheaves can be thought of as functions satisfying some differential equation(s) (e.g. the sheaf of holomorphic functions can be described as those satisfying the Cauchy-Riemann equation). Often solutions to these differential equations will exist locally by general facts, but these general facts won't necessarily give you global solutions, especially if you're on a compact manifold. For instance, the sheaf of holomorphic functions on a compact complex manifold restricted to be zero at one point and one at another is quite big, but it has no global sections.