04.01.01 · algebraic-geometry / sheaves

Sheaf

shipped3 tiersLean: partial

Anchor (Master): Hartshorne §II.1; Godement *Topologie algébrique et théorie des faisceaux*; Bredon

Intuition [Beginner]

A sheaf is the formal notion of "consistent local data with a gluing rule." For a topological space $X$ , a sheaf assigns to every open subset $U \subseteq X$ a set (or group, or ring) of "sections over $U$ ." The key requirement: if you have compatible sections on a covering of $U$ , they glue to a unique section on $U$ .

The motivating example: continuous functions on a topological space. To every open $U$ , assign $C (U)$ , the set of continuous real-valued functions on $U$ . If you have continuous functions on each piece of an open cover of $U$ that agree on overlaps, they assemble into a single continuous function on $U$ . That's the sheaf axiom.

Sheaves are the universal language for "objects on a topological space whose local information determines global information": holomorphic functions, smooth differential forms, sections of vector bundles, solutions to PDEs locally. They are the central organising concept of modern algebraic geometry, complex analysis, and parts of differential geometry.

Visual [Beginner]

A topological space with several open sets, each labelled with the "data" assigned by the sheaf. Where opens overlap, the data restricts compatibly. The gluing axiom says local-data on a cover assembles to a unique section.

Worked example [Beginner]

The sheaf of continuous real-valued functions on the real line $R$ . To each open subset $U \subseteq R$ , assign $C (U) = {f : U \to R continuous}$ .

The restriction map: for $V \subseteq U$ , send $f \in C (U)$ to $f ∣_{V} \in C (V)$ — restrict the function to the smaller domain. This is functorial: restricting twice equals restricting once with the composite inclusion.

The gluing axiom: if $U = U_{1} \cup U_{2}$ and we have $f_{1} \in C (U_{1})$ , $f_{2} \in C (U_{2})$ with $f_{1} ∣_{U_{1} \cap U_{2}} = f_{2} ∣_{U_{1} \cap U_{2}}$ , then there is a unique $f \in C (U)$ with $f ∣_{U_{1}} = f_{1}$ and $f ∣_{U_{2}} = f_{2}$ . Define $f$ piecewise: $f (x) := f_{1} (x)$ if $x \in U_{1}$ , $f_{2} (x)$ if $x \in U_{2}$ . Continuity follows from continuity on each piece and agreement on the overlap.

This is the prototypical sheaf. Other examples: smooth functions, holomorphic functions, sections of a vector bundle, locally constant functions — all are sheaves on appropriate spaces.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $X$ be a topological space 02.01.01. A presheaf $F$ of sets on $X$ is the data:

For each open $U \subseteq X$ , a set $F (U)$ — the set of sections of $F$ over $U$ . By convention $F (\emptyset)$ is a singleton (or the empty set in some conventions).
For each inclusion $V \subseteq U$ of opens, a restriction map $res_{U, V} : F (U) \to F (V)$ .

These satisfy:

$res_{U, U} = id_{F (U)}$ for every $U$ .
$res_{V, W} \circ res_{U, V} = res_{U, W}$ for $W \subseteq V \subseteq U$ .

Equivalently, a presheaf is a contravariant functor from the category of open subsets of $X$ (with morphisms = inclusions) to the category $Set$ .

A presheaf can be valued in any category $C$ (groups, abelian groups, rings, modules, etc.) instead of $Set$ . We write presheaf of abelian groups, presheaf of $R$ -modules, etc.

A sheaf is a presheaf satisfying two additional axioms (the sheaf axioms or gluing axioms):

(Locality / Identity): For an open $U$ with cover ${U_{i}}$ , if $s, t \in F (U)$ satisfy $res_{U, U_{i}} (s) = res_{U, U_{i}} (t)$ for every $i$ , then $s = t$ .
(Gluing): For an open $U$ with cover ${U_{i}}$ and a family of sections ${s_{i} \in F (U_{i})}$ such that $res_{U_{i}, U_{i} \cap U_{j}} (s_{i}) = res_{U_{j}, U_{i} \cap U_{j}} (s_{j})$ for every $i, j$ , there exists $s \in F (U)$ with $res_{U, U_{i}} (s) = s_{i}$ for every $i$ .

Combining, the sheaf axiom can be phrased as exactness of

0 \to F (U) \to i \prod F (U_{i}) ⇉ i, j \prod F (U_{i} \cap U_{j}),

where the two parallel maps are restriction to first and second factors of the intersection.

A morphism of sheaves $φ : F \to G$ is a natural transformation: for each open $U$ , a map $φ_{U} : F (U) \to G (U)$ commuting with restriction. Sheaves on $X$ form a category $Sh (X)$ ; sheaves of abelian groups form an abelian category $Sh_{Ab} (X)$ .

The stalk of a sheaf $F$ at a point $x \in X$ is

F_{x} := colim_{x \in U} F (U),

the direct limit of sections over neighbourhoods of $x$ . A morphism $φ : F \to G$ is an isomorphism iff every stalk map $φ_{x} : F_{x} \to G_{x}$ is an isomorphism.

Key examples.

Sheaf of continuous functions $C_{X}$ : $U \mapsto {f : U \to R continuous}$ .
Sheaf of smooth functions $C_{M}^{\infty}$ on a smooth manifold $M$ .
Sheaf of holomorphic functions $O_{X}$ on a complex manifold $X$ .
Sheaf of sections of a vector bundle $E = Γ (E, -)$ on a manifold.
Constant sheaf $\underline{A}_{X}$ for an abelian group $A$ : $U \mapsto$ locally constant functions $U \to A$ .
Skyscraper sheaf at $x \in X$ with stalk $A$ : $U \mapsto A$ if $x \in U$ , $0$ otherwise.

Key theorem with proof [Intermediate+]

Theorem (Sheafification). Every presheaf $F$ on a topological space $X$ has a sheafification $F^{+}$ — a sheaf together with a map of presheaves $η : F \to F^{+}$ universal among presheaf maps to sheaves: any presheaf map $F \to G$ with $G$ a sheaf factors uniquely through $η$ .

Proof sketch. Construct $F^{+}$ via stalks. For an open $U$ , define

F^{+} (U) := {(s_{x})_{x \in U} \in x \in U \prod F_{x} : \forall x \in U, \exists open V ∋ x, V \subseteq U, \exists t \in F (V) with t_{y} = s_{y} \forall y \in V} .

A section of $F^{+}$ over $U$ is a tuple of stalks that is locally representable by an actual section of $F$ . Restriction maps are restriction of stalk-tuples. Verify the sheaf axioms:

Locality: agreement on a cover means agreement of stalks at each point, hence equal stalk-tuples.
Gluing: given compatible ${s_{i}}$ on a cover, the union of their stalk values gives a stalk-tuple that is locally representable (by the local representations of the $s_{i}$ ).

The natural map $η : F \to F^{+}$ sends $s \in F (U)$ to the stalk-tuple $(s_{x})_{x \in U}$ . It is universal: any presheaf map $φ : F \to G$ to a sheaf factors uniquely through $η$ by sheaf-axiom-driven extension to stalk-tuples. $□$

The sheafification construction is the right adjoint to the inclusion $Sh (X) ↪ Pr (X)$ of sheaves into presheaves. It is the "best sheaf approximation" of a presheaf — the sheaf that has the same stalks but satisfies the gluing axiom.

Bridge. The construction here builds toward 04.02.01 (scheme), where the same data is upgraded, and the symmetry side is taken up in 04.03.01 (sheaf cohomology). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Exercise 3 (medium, proof).

Prove that a morphism of sheaves $φ : F \to G$ is an isomorphism iff every stalk map $φ_{x}$ is an isomorphism.

Hint

For one direction: stalks are colimits, and isomorphisms commute with colimits. For the other: use the sheaf axiom to lift stalk-iso to section-iso.

Answer

If $φ$ is a sheaf isomorphism, taking stalks gives stalk isomorphisms (functor commutes with colimits up to natural iso).

For the converse, suppose $φ_{x}$ is an iso for every $x$ . To show $φ$ is an iso, we show each $φ_{U} : F (U) \to G (U)$ is bijective.

Injectivity: if $φ_{U} (s) = φ_{U} (t)$ , then $φ_{x} (s_{x}) = φ_{x} (t_{x})$ for every $x \in U$ . Stalk-injectivity gives $s_{x} = t_{x}$ . Locality of $F$ then gives $s = t$ .

Surjectivity: given $r \in G (U)$ , the stalks $r_{x} \in G_{x}$ have preimages $s_{x} \in F_{x}$ via $φ_{x}^{- 1}$ . Each $s_{x}$ is locally representable by some $t \in F (V)$ for an open $V ∋ x$ . The local sections fit together to form a global section by the sheaf axiom (Gluing) applied to $F$ . Then $φ_{U} (s) = r$ by construction.

Exercise 6 (hard, proof).

Show that pushforward and pullback are adjoint functors between sheaves on related spaces: for a continuous map $f : X \to Y$ , $f_{*} : Sh (X) \to Sh (Y)$ has left adjoint $f^{- 1} : Sh (Y) \to Sh (X)$ .

Hint

The pushforward is $(f_{*} F) (V) := F (f^{- 1} (V))$ . The pullback is constructed via the sheafification of "stalks pulled back."

Answer

Define the pushforward $(f_{*} F) (V) := F (f^{- 1} (V))$ for $V \subseteq Y$ open. This is a sheaf on $Y$ because $F$ is a sheaf on $X$ and $f^{- 1}$ commutes with intersections.

Define the pullback $f^{- 1} G$ on $X$ by sheafifying the presheaf $U \mapsto colim_{V \supseteq f (U)} G (V)$ — sections on $X$ are stalks of $G$ pulled back along $f$ , glued by the sheaf axiom.

The adjunction $Hom_{Sh (X)} (f^{- 1} G, F) ≅ Hom_{Sh (Y)} (G, f_{*} F)$ is verified by tracing through the universal properties: a map $f^{- 1} G \to F$ corresponds (by the universal property of sheafification + colimit) to a map $G (V) \to F (f^{- 1} (V)) = (f_{*} F) (V)$ for every $V$ , naturally — that's a map $G \to f_{*} F$ of sheaves on $Y$ .

Exercise 7 (hard, conceptual).

State the espace étalé (étale space) construction of a sheaf and explain its geometric meaning.

Hint

The étale space topology gives a covering-space-like geometric realization of a sheaf.

Answer

For a sheaf $F$ on $X$ , the étale space $Et (F) := ⨆_{x \in X} F_{x}$ (disjoint union of stalks) carries a topology making the projection $π : Et (F) \to X$ a local homeomorphism. Sections of $F$ over $U$ correspond to continuous sections of $π$ over $U$ — i.e., continuous maps $s : U \to Et (F)$ with $π \circ s = id_{U}$ .

This identifies sheaves on $X$ with local-homeomorphism spaces over $X$ , and gives a geometric realization of sheaves as "stacked-sheets" objects (similar to covering spaces but more general — fibres can be sets / groups / rings, not just discrete sets, and the local structure can be more flexible). The étale-space perspective is the foundation of étale cohomology in algebraic geometry.

Lean formalization [Intermediate+]

lean_status: partial — Mathlib has CategoryTheory.Sheaf and a substantial library on Grothendieck topologies, sheafification, and stalks. The basic sheaf API is in place.

[object Promise]

The companion module re-exports the Mathlib API and adds Codex's standard examples (continuous functions, smooth functions, etc.).

Advanced results [Master]

Sheaves form a topos. $Sh (X)$ is a Grothendieck topos — a category with finite limits, exponentials, a subobject classifier, and small colimits. This topos-theoretic perspective unifies sheaf theory with logic and category theory; classical sheaves on a topological space are a special case of sheaves on a Grothendieck site.

Étale fundamental group. For a connected scheme $X$ , the étale fundamental group $π_{1}^{\overset{e}{ˊ} t} (X, \overline{x})$ classifies finite étale covers of $X$ — the algebraic analogue of $π_{1}$ for topological covers. It is the Galois group of the maximal unramified extension of the function field, and underlies arithmetic geometry.

Sheaves of modules and quasi-coherent sheaves. On a ringed space $(X, O_{X})$ — a topological space with a sheaf of rings — modules are sheaves $F$ with each $F (U)$ an $O_{X} (U)$ -module compatibly. Quasi-coherent sheaves on a scheme are those locally given by modules over the ring. Coherent sheaves are quasi-coherent + finite-type — they are the algebraic-geometric analogue of vector bundles, and their cohomology is the central computational tool 04.03.01.

Direct and inverse images. For a morphism $f : X \to Y$ of ringed spaces, the pushforward $f_{*}$ and pullback $f^{*}$ functors are central to all higher constructions: composition of morphisms, base change, projection formulas. Adjoint pairs are the structural backbone of sheaf-theoretic functoriality.

Soft, fine, flabby sheaves. Various flavours of "acyclic" sheaves used to compute sheaf cohomology: soft sheaves (extension property for closed sets), fine sheaves (admit partitions of unity), flabby sheaves (every section extends globally). On smooth manifolds, the sheaves $C^{\infty}$ , $Ω^{k}$ , etc., are all fine; this is why de Rham cohomology computes singular cohomology.

Synthesis. This construction generalises the pattern fixed in 02.01.01 (topological space), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Sheafification existence. Proved in §"Key theorem".

Stalks compute everything. Proved in Exercise 3.

Sheaves of abelian groups form an abelian category. The kernel of a morphism $φ : F \to G$ is the pointwise kernel $ker (φ) (U) := ker (φ_{U})$ — this is a sheaf (verify: kernels are local). The image is the sheafification of the pointwise image (which fails to be a sheaf in general). The cokernel similarly. With these constructions, $Sh_{Ab} (X)$ has all kernels, cokernels, and images, and the category is abelian.

Adjunction $f^{- 1} ⊣ f_{*}$ . Proved in Exercise 6 with the universal-property argument.

Stalks under $f^{- 1}$ . $(f^{- 1} G)_{x} ≅ G_{f (x)}$ . Proof: stalks are colimits over neighbourhoods, and pullback along $f$ realises the directed system of opens around $f (x)$ as a sub-system of opens around $x$ via pullback. The colimit is preserved.

Étale-space topology. Sheaves on $X$ correspond to étale spaces over $X$ (local homeomorphisms). The bijection sends $F$ to $Et (F) = ⨆_{x} F_{x}$ topologised by germs over neighbourhoods. Continuous sections over $U$ correspond to elements of $F (U)$ via the colimit structure.

Connections [Master]

Topological space 02.01.01 — the underlying setting.
Continuous map 02.01.02 — sheaves transport along continuous maps via $f_{*}$ and $f^{- 1}$ .
Scheme 04.02.01 — schemes are locally ringed spaces; their structure sheaf is a sheaf of rings.
Sheaf cohomology 04.03.01 — the right-derived functors of global sections.
Riemann surface 06.03.01 — sheaf of holomorphic functions $O$ is the basic data.
Vector bundle 03.05.02 — sections of a vector bundle form a locally free sheaf.

Historical & philosophical context [Master]

The notion of a sheaf was introduced by Jean Leray in 1946 in the context of homological methods for studying topological invariants of fibre bundles. Henri Cartan's seminar at the École Normale Supérieure (1948–1953) systematised the theory, with Cartan, Weil, Eilenberg, and Steenrod establishing the now-canonical axiomatics.

Roger Godement's 1958 Topologie algébrique et théorie des faisceaux gave the first systematic textbook treatment. Grothendieck's mid-century revolution in algebraic geometry — the Éléments de géométrie algébrique (EGA, 1960s) — built the entire theory of schemes on the foundation of sheaves of rings on a topological space, recasting algebraic geometry as commutative algebra applied to spectra of rings.

In modern mathematics, sheaves are the universal language for "local structure on a space": they appear in algebraic geometry (sheaves on schemes), differential geometry (sheaves of smooth functions, forms, sections of bundles), complex analysis (sheaves of holomorphic functions), algebraic topology (cosheaves of chains), category theory (Grothendieck topoi), and logic (Lawvere-Tierney elementary topoi). The dual perspectives of "local data with gluing" and "geometric realisation as étale spaces" make the concept bridge analytic, geometric, and algebraic intuitions.

Bibliography [Master]

Hartshorne, R., Algebraic Geometry, Springer GTM 52, 1977. §II.1.
Vakil, R., The Rising Sea: Foundations of Algebraic Geometry, draft monograph available online. §2–§3.
Bredon, G. E., Sheaf Theory, Springer GTM 170, 2nd ed., 1997.
Godement, R., Topologie algébrique et théorie des faisceaux, Hermann, 1958.
Iversen, B., Cohomology of Sheaves, Springer Universitext, 1986.

v0.5 Strand A unit #1. Sheaf — the foundational concept of algebraic geometry; the universal language for local-to-global structure on a topological space.