A question about the skyscraper sheaf

522 Views Asked by At

I am confused about the skyscraper sheaf.

Say we have set $S$, and the topological space $X$. For any $x\in X$, the skyscraper sheaf $F_x$ assigns any open set $U$ containing $x$ the set $S$, and to open sets that do not contain $x$, it assigns $\{e\}$.

What are the sections in this sheaf? Are these the elements of the set $S$? How do the restriction maps work?

1

There are 1 best solutions below

4
On

A "section" of a sheaf $F$ over a set $U$ is by definition just an element of the set $F(U)$. So a section of $F_x$ over an open set containing $x$ is an element of $S$, and the only section over an open set not containing $x$ is $e$.

The restriction maps are defined in the only "obvious" way there is to define them. If $U\subseteq V$ and $x\not\in U$, then $F_x(U)=\{e\}$, and the restriction map $F_x(V)\to F_x(U)$ is the unique map from $F_x(V)$ to $F_x(U)$ (the map that sends everything to $e$). If $U\subseteq V$ and $x\in U$, then $x\in V$ as well, so $F_x(U)=F_x(V)=S$, and the restriction map is the identity map $S\to S$.