Sheaf of Modules¶
A sheaf whose local sections are modules over a sheaf of rings, with scalar multiplication compatible with restriction and gluing.
Core Idea¶
A sheaf of modules over a ringed space \((X,\mathcal O)\) assigns to every open set \(U\) a module \(\mathcal F(U)\) over the ring \(\mathcal O(U)\). Restrictions to smaller opens must preserve addition and scalar multiplication, and sections that agree on overlaps must glue uniquely. It therefore combines the sheaf's local-to-global rule with compatible linear algebra over varying local scalars.[^ref-a125148dc9f6]
Scope of Application¶
On a smooth manifold, smooth functions act pointwise on smooth vector fields over each open; restriction and gluing make the vector fields a module sheaf. On an affine scheme \(\operatorname{Spec}R\), an \(R\)-module \(M\) gives an associated sheaf \(\widetilde M\), whose sections on standard open \(D(f)\) are the localization \(M_f\). These are unlike settings that satisfy the same formal rule.[ref-f6b1e052a0a4][ref-7795a90d1fa9]
The affine correspondence identifies \(R\)-modules with quasi-coherent sheaves on \(\operatorname{Spec}R\). It does not assert that every module sheaf on every ringed space arises from one global module. Coherent and locally free sheaves impose still further conditions.[ref-b42e9c282c56][ref-7795a90d1fa9]
Clarity¶
The base pair \((X,\mathcal O)\) is a ringed space; the additional sheaf \(\mathcal F\) is the module sheaf. Ordinary sheaf gluing alone does not provide an \(\mathcal O\)-action, and module laws on each open alone do not provide sheaf gluing. To recognize the identity, test both the scalar-compatible restriction law \((fs)|_V=f|_V\,s|_V\) and the unique gluing of compatible sections.[^ref-a125148dc9f6]
Manages Complexity¶
Local descriptions can vary by chart or open set while representing one global object. Module-sheaf structure coordinates their linear algebra. It also preserves an important computational distinction: kernels of sheaf morphisms can be computed sectionwise, whereas the actual cokernel sheaf is obtained by sheafifying the sectionwise quotient. Calling both simply “open-by-open” calculations loses the gluing obligation.[^ref-08e17651cb8d]
Abstract Reasoning¶
Start with a sheaf of rings \(\mathcal O\) and an \(\mathcal O\)-module presheaf \(\mathcal F\). Verify that restrictions are linear relative to ring restrictions and that the underlying abelian presheaf satisfies locality and gluing. Only then use sheaf-level algebraic operations. Stronger conclusions, such as affine quasi-coherent equivalence or local freeness, require additional hypotheses; they are not consequences of the generic definition alone.[ref-a125148dc9f6][ref-b42e9c282c56][^ref-7795a90d1fa9]
Knowledge Transfer¶
The recognition test transfers literally between smooth vector fields and algebraic sheaves associated with modules. In each, local scalars act on local sections, restrictions commute with that action, and compatible sections glue. The extra theorems do not transfer automatically: the affine equivalence is specifically about quasi-coherent sheaves on affine schemes, whereas the general sheaf-of-modules definition also covers non-quasi-coherent and non-affine cases.[ref-f6b1e052a0a4][ref-7795a90d1fa9]
The proposed parent is the live Sheaf identity by strict subsumption: every module sheaf is an underlying sheaf, but not every sheaf has the required local ring action. The ringed space is ambient base data, not an upward genus of the sheaf itself.
[^ref-a125148dc9f6]: The Stacks Project, “Sheaves of modules,” Section 6.10, Definition 6.10.1, original mathematical text. [^ref-08e17651cb8d]: The Stacks Project, “The abelian category of sheaves of modules,” Section 17.3, construction and Lemma 17.3.1, original mathematical text. [^ref-7795a90d1fa9]: The Stacks Project, “Quasi-coherent sheaves on affines,” Section 26.7, Lemmas 26.7.1–26.7.5, original mathematical text. [^ref-b42e9c282c56]: The Stacks Project, “Quasi-coherent modules,” Section 17.10, opening warning and Definition 17.10.1, original mathematical text. [^ref-f6b1e052a0a4]: MIT Mathematics, “Automorphic Forms and Vector Bundles,” original lecture note, opening smooth-section definition, HTML text; the smooth vector-field module example follows by pointwise multiplication and the Stacks sheaf definition.
Relationships to Other Abstractions¶
Current abstraction Sheaf of Modules Domain-specific
Parents (1) — more general patterns this builds on
-
Sheaf of Modules is a kind of Sheaf Domain-specific
Every sheaf of modules is an underlying sheaf with additional local module structure.
Hierarchy path (1) — routes to 1 parentless root
- Sheaf of Modules → Sheaf
Neighborhood in Abstraction Space¶
Sheaf of Modules sits in a moderately populated region (50th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Ringed Space — 0.89
- Picard Group — 0.88
- Ideal sheaf — 0.86
- Associative algebra — 0.86
- Algebraic Variety — 0.85
Computed from structural-signature embeddings · 2026-10-08