Sheaf Theory — Mathematics Knowledge System

Overview

Sheaf theory provides a systematic framework for tracking local data on a topological space and assembling it into global information. A sheaf assigns algebraic objects (sets, groups, rings, modules) to open sets of a space, subject to a locality condition (sections determined locally) and a gluing condition (compatible local sections glue uniquely). Sheaves are fundamental in algebraic geometry, topology, and mathematical physics.

Intuition

Think of a sheaf as a consistent assignment of data to every open region of a space. For example, assign to each open set U the ring of continuous real-valued functions on U. Restriction to a smaller open set is well-defined, and if functions on overlapping sets agree on the overlap, they glue to a unique function on the union. This captures the local-to-global principle: global structure is determined by compatible local data.

Formal Definition

Definition

Let X be a topological space. A presheaf F of sets on X is a contravariant functor from the category Open(X) of open sets (with inclusion maps) to Set. F is a sheaf if it satisfies two additional axioms.

F: \mathrm{Open}(X)^{\mathrm{op}} \to \mathbf{Set}

A presheaf is a contravariant functor from open sets to sets

presheaf

\text{Locality: if } s, t \in F(U) \text{ and } s|_{U_i} = t|_{U_i} \text{ for all } i, \text{ then } s = t

Sections are determined by their local restrictions

locality

\text{Gluing: if } s_i \in F(U_i) \text{ with } s_i|_{U_i \cap U_j} = s_j|_{U_i \cap U_j}, \text{ then } \exists!\, s \in F(U) \text{ with } s|_{U_i} = s_i

Compatible local sections glue uniquely to a global section

gluing

F_x = \varinjlim_{U \ni x} F(U)

The stalk of F at x is the colimit over open neighborhoods of x

stalk

Notation

Notation	Meaning
$F(U)$	Sections of sheaf F over open set U
$\rho_{UV}: F(U) \to F(V)$	Restriction map for V subset U
$F_x$	Stalk of sheaf F at point x
$\Gamma(U, F)$	Global sections of F over U (same as F(U))
$H^n(X, F)$	n-th sheaf cohomology of F on X
$f^* F$	Pullback (inverse image) sheaf along f
$f_* F$	Pushforward (direct image) sheaf along f

Properties

Sheafification

Every presheaf P has an associated sheaf P^+ (its sheafification) and a natural morphism P \to P^+ which is universal among morphisms from P to sheaves.

Condition: Universal property holds in the category of sheaves on X

Stalks determine morphisms

A morphism of sheaves \phi: F \to G is an isomorphism if and only if the induced map on stalks \phi_x: F_x \to G_x is an isomorphism for all x \in X.

Sheaves form an abelian category

\mathbf{Sh}(X, \mathbf{Ab}) is an abelian category with enough injectives, enabling sheaf cohomology via derived functors.

Theorems

Theorem 1: Leray's Theorem

If \mathcal{U} = \{U_i\} is an open cover of X such that H^q(U_{i_0} \cap \cdots \cap U_{i_p}, F) = 0 for all q > 0 and all finite intersections, then \check{H}^n(\mathcal{U}, F) \cong H^n(X, F).

Theorem 2: Grothendieck Vanishing Theorem

If X is a Noetherian topological space of dimension n, then H^q(X, F) = 0 for all q > n and all sheaves F of abelian groups.

Worked Examples

The constant sheaf assigns to each connected open set U the group Z, with restriction maps being the identity. For a disconnected open set U with components U_1, ..., U_k, we get Z^k.
$\underline{\mathbb{Z}}(U) = \mathbb{Z}^{\pi_0(U)}$
The stalk at any point x is the colimit over neighborhoods of x. Since any x has a connected neighborhood basis, the stalk is just Z.
$\underline{\mathbb{Z}}_x = \varinjlim_{U \ni x} \underline{\mathbb{Z}}(U) = \mathbb{Z}$
For gluing: take U = (-2,2), U_1 = (-2,1), U_2 = (-1,2). Both are connected, so sections s_1 = 5 \in Z and s_2 = 5 \in Z agree on U_1 \cap U_2 = (-1,1) (connected), and glue uniquely to s = 5 \in Z = \underline{\mathbb{Z}}(U).

Answer: The stalk of the constant sheaf Z at any point of R is Z. The gluing axiom is satisfied because restriction maps on connected sets are identities.

Practice Problems

Difficulty 8/10

Prove that the sheafification of the constant presheaf (assigning Z to every open set with identity restrictions) on a disconnected space X = {a} \cup {b} (discrete topology) is the constant sheaf \underline{Z}.

Difficulty 9/10

Let f: X -> Y be a continuous map and F a sheaf on X. Describe the pushforward sheaf f_*F on Y, and compute it explicitly when f is the inclusion of a point x_0 into Y.

Difficulty 9/10

Show that the category Sh(X) of sheaves of sets on X has all small limits and colimits.

Common Mistakes

Common Mistake

Confusing stalks with sections: the stalk F_x is a colimit (germ), not the same as F(U) for some neighborhood U of x.

A germ is an equivalence class of local sections; two sections have the same germ at x if they agree on some neighborhood of x.

Common Mistake

Assuming the pushforward of a sheaf is always a sheaf without checking the axioms.

The pushforward f_*F defined by f_*F(V) = F(f^{-1}(V)) is always a sheaf when F is a sheaf, because preimages preserve unions and intersections.

Historical Background

Sheaves emerged from the work of Jean Leray during World War II, developed as a tool for studying topology via algebraic invariants. Leray's sheaf cohomology was formalized by Henri Cartan and Jean-Pierre Serre in the 1950s. Alexander Grothendieck then revolutionized the subject by introducing the notion of a site (a category with a Grothendieck topology), allowing sheaves to be defined on abstract categories beyond classical topological spaces.

1945
Jean Leray introduces sheaves in his prisoner-of-war camp work
Jean Leray
1955
Cartan seminar formalizes sheaf cohomology
Henri Cartan
1956
Serre's FAC applies sheaves to algebraic geometry
Jean-Pierre Serre
1962
Grothendieck introduces Grothendieck topologies and sites in SGA 4
Alexander Grothendieck

Summary

A sheaf assigns algebraic data to open sets, satisfying locality (sections determined locally) and gluing (compatible local data assemble uniquely).
The stalk F_x = colim_{U \ni x} F(U) captures the germ of data near a point.
Every presheaf has a universal sheafification; sheaves form an abelian category with enough injectives.
Sheaf cohomology H^n(X,F) is the derived functor of global sections, measuring obstruction to gluing.
Grothendieck topologies generalize the notion of covering, allowing sheaves on abstract categories (sites).

References

BookHartshorne, R. Algebraic Geometry, Chapter II. Springer, 1977.
BookKashiwara, M. & Schapira, P. Sheaves on Manifolds. Springer, 1990.
BookSerre, J.-P. Faisceaux Algébriques Cohérents. Annals of Mathematics, 1955.