Delta Functor¶

A graded family of additive functors whose natural connecting maps turn short exact sequences into long exact sequences.

Version: v1 · 2026-10-03 · History
Domain-specific #: 13131
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Homological Algebra, Category Theory → Mathematics
Aliases: Delta-functor, Δ-functor

Core Idea¶

A delta functor is a graded family of additive functors with natural connecting maps. In the cohomological form, functors \(F^n:\mathcal A\to\mathcal B\) act between abelian categories, and every \(0\to A\to B\to C\to0\) produces a long exact sequence with boundary \(\delta^n:F^n(C)\to F^{n+1}(A)\). The boundary maps must commute with morphisms of short exact sequences. Thus the identity is a coherent response rule, not a single functor or a long exact row for one chosen input.[^ref-05d6b3e80888]

Universality is an additional property: a map on \(F^0\) extends uniquely through all degrees. Positive-degree effaceability is one sufficient criterion; not every delta functor is universal. Right-derived functors often provide universal examples under stated hypotheses, but the delta axioms themselves do not prescribe a particular resolution construction.[^{ref-05d6b3e80888][}ref-550d5834bcb3]

Scope of Application¶

For a fixed topological space \(X\), abelian sheaf cohomology \(H^n(X,-)\) extends global sections and forms a universal cohomological delta functor. For a fixed \(R\)-module \(M\), \(\operatorname{Ext}^n_R(M,-)\) extends \(\operatorname{Hom}_R(M,-)\) in the second, covariant argument and has natural long exact sequences. These are two unlike carriers of the same graded, degree-raising formal structure.[^{ref-3aad50b52e78][}ref-58565bce84b4]

Tor is a related homological counterpart, not another instance of the displayed cohomological formula. As a left-derived tensor family it uses lower indices and a degree-lowering boundary. Stating its variance and indexing is necessary before comparing it with Ext or sheaf cohomology.[^{ref-a9dffe03060d][}ref-2a778ecfbaa7]

Clarity¶

The tests are: identify the two abelian categories and varying argument; exhibit additive functors in every nonnegative degree; give a boundary for every short exact input; check long exactness and naturality. The opening of the cohomological long exact sequence makes \(F^0\) left exact. A degreewise list of groups without compatible boundaries fails the identity, and a derived-functor calculation is a means of building an example rather than the definition.[^{ref-05d6b3e80888][}ref-550d5834bcb3]

Manages Complexity¶

The framework lets one reason about extension problems uniformly across sheaves and modules. A short exact input is converted into a predictable sequence of higher invariants and connecting maps. In universal cases, verifying a degree-zero natural map plus the extension property controls every degree. Axiomatic comparison is portable but does not compute a specific group; a resolution computes groups but brings category-specific construction obligations.[^{ref-05d6b3e80888][}ref-3aad50b52e78][^ref-58565bce84b4]

Abstract Reasoning¶

Given \(0\to A\to B\to C\to0\), apply each \(F^n\) and join the rows by \(F^n(C)\to F^{n+1}(A)\). Verify image-equals-kernel at every term and verify that maps between inputs commute with the connecting maps. To assert universality, separately prove the unique degree-zero extension property or use a sufficient effaceability theorem. This distinguishes basic membership from the stronger conclusion that higher degrees are uniquely determined by degree zero.[^ref-05d6b3e80888]

Knowledge Transfer¶

The same recognition test carries from sheaf cohomology to fixed-first-argument Ext: degree zero changes from global sections to Hom, while natural degree-raising boundaries and long exactness persist. Tor shows the transfer limit: its analogous long exact behavior lowers homological degree, so notation and variance must be retuned. The proposed DAG therefore records Functor and Exact Sequence as strict structural prerequisites, while Derived Functor remains a related construction, not a strict parent.[^{ref-05d6b3e80888][}ref-3aad50b52e78][^{ref-58565bce84b4][}ref-a9dffe03060d]

[^ref-05d6b3e80888]: The Stacks Project, “Cohomological delta-functors,” Homological Algebra §12.12, tag 010P, Definition 12.12.1, Definition 12.12.3 and Lemmas 12.12.4–5. [^ref-3aad50b52e78]: The Stacks Project, “Cohomology of sheaves,” §20.2, tag 01DZ, formulas 20.2.0.1–0.4. [^ref-58565bce84b4]: The Stacks Project, “Ext groups,” Derived Categories §13.27, tag 06XP, long exact sequences and resolution computation. [^ref-550d5834bcb3]: The Stacks Project, Lemma 13.16.6, tag 05TE, conditional canonical and universal delta-functor structure of right derived functors. [^ref-a9dffe03060d]: The Stacks Project, “Computing Tor,” More on Algebra §15.58, tag 064F, left-derived tensor and Tor. [^ref-2a778ecfbaa7]: The Stacks Project, “Complexes,” Homological Algebra §12.13, tag 010V, Lemmas 12.13.6 and 12.13.12.

Relationships to Other Abstractions¶

Current abstraction Delta Functor Domain-specific

Parents (2) — more general patterns this builds on

Delta Functor presupposes Exact sequence Domain-specific

The structure responds to each short exact sequence by a long exact sequence.
Delta Functor presupposes Functor Domain-specific

Each graded component is an additive functor and the boundary maps are natural in exact-sequence inputs.

Hierarchy paths (5) — routes to 5 parentless roots

Delta Functor → Exact sequence → Local Sequence Legality → Local-to-Global Aggregation

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Delta Functor sits in a sparse region of the domain-specific corpus (75^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Categories, Sheaves & Homotopy (21 abstractions)

Nearest neighbors

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