Constructible sheaf

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Constructible sheaf (simplified)

A constructible sheaf is a sheaf of abelian groups on a space X that looks simple on a finite cover of X. Specifically, X can be written as a finite union of locally closed pieces Y, and on each piece Y the restriction of the sheaf is locally constant with finite fibers. In other words, on each Y there is an étale cover where the sheaf becomes a constant sheaf with a finite set of sections.

In algebraic geometry, people study constructible étale sheaves. A sheaf F on a scheme X is constructible if X can be broken into a finite number of locally closed subschemes Y, and on each Y the restriction F|Y is a finite locally constant sheaf. This means that after an étale cover of Y, F|Y looks like a constant sheaf with a finite set of sections.

Key consequences:
- If F is a constructible étale sheaf, many natural operations (like higher direct images) preserve constructibility.
- A representable étale sheaf is itself constructible.
- For abelian group sheaves, constructible étale sheaves are exactly the Noetherian objects among torsion étale sheaves.

Examples:
- Many interesting sheaves come from intersection cohomology or from pushing forward a local system along a family of spaces.
- A useful family is a local system on U = P^1 minus {0, 1, ∞}. Pushing this forward to P^1 (via the inclusion U → P^1) gives a constructible sheaf. The stalks at 0, 1, ∞ reflect the local cohomology near those points, and the behavior is governed by the monodromy around 0 and 1.

A concrete illustration:
- Consider a family of elliptic curves degenerating over the complex numbers at t = 0 and t = 1. If we take a local system on U = C − {0,1} with fiber Q^2, pushing forward to C gives a constructible sheaf whose stalks at 0, 1 encode how the local system behaves near those points. The way it twists around 0 and 1 can be computed using standard tools like the Picard–Lefschetz formula.

In short, constructible sheaves provide a controlled way to patch together local data across a space using only finitely many pieces, making them central in both topology and algebraic geometry.