Constant sheaf

In mathematics, the constant sheaf on a topological space associated to a set is a sheaf of sets on whose stalks are all equal to . It is denoted by or . The constant presheaf with value is the presheaf that assigns to each non-empty open subset of the value , and all of whose restriction maps are the identity map . The constant sheaf associated to is the sheafification of the constant presheaf associated to . This sheaf identifies with the sheaf of locally constant -valued functions on . In certain cases, the set may be replaced with an in some (e.g. when is the , or ). Constant sheaves of abelian groups appear in particular as coefficients in sheaf cohomology. Let be a topological space, and a set. The sections of the constant sheaf over an open set may be interpreted as the continuous functions , where is given the discrete topology. If is connected, then these locally constant functions are constant. If is the unique map to the one-point space and is considered as a sheaf on , then the is the constant sheaf on . The sheaf space of is the projection map (where is given the discrete topology). Let be the topological space consisting of two points and with the discrete topology. has four open sets: . The five non-trivial inclusions of the open sets of are shown in the chart. A presheaf on chooses a set for each of the four open sets of and a restriction map for each of the nine inclusions (five non-trivial inclusions and four trivial ones). The constant presheaf with value , which we will denote , is the presheaf that chooses all four sets to be , the integers, and all restriction maps to be the identity. is a functor, hence a presheaf, because it is constant. satisfies the gluing axiom, but it is not a sheaf because it fails the local identity axiom on the empty set. This is because the empty set is covered by the empty family of sets: Vacuously, any two sections of over the empty set are equal when restricted to any set in the empty family. The local identity axiom would therefore imply that any two sections of over the empty set are equal, but this is not true.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related concepts (2)

Related courses (1)

Related lectures (7)

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

Categorical Foundations for K-theory

Nicolas Mathieu Michel

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily c ...

EPFL2010

Sheaf of modules

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.

Sheaf (mathematics)

In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts).

Categories and Functors MATH-436: Homotopical algebra

Explores building categories from graphs and the encoding of information by functors.

Sheaves and Modules MATH-510: Algebraic geometry II - schemes and sheaves

Covers sheaves and modules, including morphisms, sheafification, cocalization, and direct image properties.

Sheafification of Presheaves MATH-510: Algebraic geometry II - schemes and sheaves

Covers the sheafification process of presheaves, emphasizing injectivity and surjectivity.