skyscraper sheaf



A skyscraper sheaf is a sheaf supported at a single point.

This is not unlike the Dirac δ\delta-distribution.


For XX a topological space, xXx \in X a point of xx and SSetS \in Set a set, the skyscraper sheaf skyscr x(S)Sh(X)skyscr_x(S) \in Sh(X) in the category of sheaves on the category of open subsets Op(X)Op(X) of XX supported at xx with value SS is the sheaf of sets given by the assignment

skysc x(S):(UX){S ifxU * otherwise skysc_x(S) : (U \subset X) \mapsto \left\{ \array{ S & if \; x \in U \\ {*} & otherwise } \right.


  • The skyscraper sheaf skysc x(S)skysc_x(S) is the direct image of SS under the geometric morphism x:SetSh(X)x : Set \to Sh(X) which defines the point of a topos given by xXx \in X (see there for more details on this perspective).


category: sheaf theory

Revised on July 17, 2014 11:02:18 by Urs Schreiber (