Constructible sheaf

A sheaf that becomes locally constant with finite-type stalks on each piece of a finite stratification of its underlying space.

Version

v2 · 2026-09-19 · History

Domain-specific #

3865

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Algebraic and Microlocal Geometry → Mathematics

Core Idea

Constructibility tames sheaf variation by requiring a suitable decomposition into locally closed strata; analytic, algebraic and etale settings impose different finiteness and coefficient conventions. The space is partitioned into finitely many regular pieces, restriction to each piece loses local variation and gluing data records how those locally constant parts interact across boundaries. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree any five-year-old picture becomes a map colored in flat patches, collapsing a constructible sheaf into a piecewise-constant function and losing local (not global) constancy, stalk data and the gluing across strata that define it.

Piece-by-Piece Information

Mathematicians sometimes attach information to every little neighborhood of a space, in a way where the pieces of information must fit together where neighborhoods overlap. That is called a sheaf. A constructible sheaf is a well-behaved kind: you can cut the space into a finite number of nice pieces, and on each piece the information looks the same as you move around nearby. The interesting part is what happens at the borders between pieces, and the sheaf keeps track of how the pieces connect there.

Stratified Locally Constant Sheaf

A sheaf assigns data, like sets or groups, to the open regions of a space so that local data agree on overlaps and can be glued together. A constructible sheaf is one whose variation is tamed: the space can be split into finitely many (or locally finitely many) regular pieces called strata, and on each stratum the sheaf is locally constant, meaning it looks the same in a small enough neighborhood of any point. Locally constant is weaker than constant: as you travel around a loop inside a stratum, the data can come back twisted. The sheaf's real content is in how these locally constant pieces are glued together across the boundaries between strata. The exact definition, including finiteness conditions, differs between settings such as analytic, algebraic and étale geometry.

 

A constructible sheaf on a space is a sheaf whose variation is controlled by a stratification: the space is partitioned into finitely many (or locally finitely many) locally closed strata such that the restriction of the sheaf to each stratum is locally constant, typically with finiteness conditions on the stalks. Restriction to a stratum removes local variation, and the gluing data record how these locally constant pieces interact across stratum boundaries. The notion is setting-dependent: analytic, algebraic and étale versions differ in topology, admissible stratifications, coefficient category and stalk-finiteness conventions. Its identity therefore requires the space and topology, the coefficient category, the stratification, the local constancy condition and the finiteness convention to be explicit.

Scope of Application

Constructible sheaf belongs to algebraic and microlocal geometry and is useful where the analyst can specify the typed algebraic and microlocal geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention are explicit. The scope is broad within that domain but bounded by the need for the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention are explicit. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity

The abstraction clarifies a crowded vocabulary by making the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Constructible sheaf can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Constructible sheaf. Constructible sheaf compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed algebraic and microlocal geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of algebraic and microlocal geometry because they reuse the typed algebraic and microlocal geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, The space is partitioned into finitely many regular pieces, restriction to each piece loses local variation and gluing data records how those locally constant parts interact across boundaries., and type the carrier, state every parameter and convention in the definition, test that the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Constructible sheaf Domain-specific

Parents (1) — outgoing typed relations

• Constructible sheaf is a kind of Segmentation and Boundary Drawing Prime

  It remains its own entry because its identity is fixed by the space and topology, coefficient category, finite or locally finite stratification, locally closed strata, local constancy and stalk-finiteness convention.

Hierarchy paths (2) — routes to 2 parentless roots

• Constructible sheaf → is a kind of Segmentation and Boundary Drawing → presupposes Classification

Show alternative path (1)

Neighborhood in Abstraction Space

Constructible sheaf sits in a crowded region of the domain-specific corpus (1^st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Schemes, Varieties & Moduli Spaces (41 abstractions)

Nearest neighbors

• Sheaf of algebras — 0.96
• Coherent sheaf — 0.94
• Morphism of schemes — 0.94
• Cotangent sheaf — 0.94
• Formal scheme — 0.94

Computed from structural-signature embeddings · 2026-10-25