Stack (Mathematics)¶

Organize objects varying over a Grothendieck site as a category fibred in groupoids whose isomorphisms form sheaves and whose compatible local objects glue effectively to a global object.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2837
Origin domain: mathematics
Subdomain: category theory
Aliases: Stack in groupoids, 2-sheaf

Core Idea¶

A stack in groupoids over a site \(\mathcal C\) is a category \(p:\mathcal S\to\mathcal C\) fibred in groupoids that satisfies descent for both morphisms and objects. Fibredness supplies pullback: an object over \(U\) can be reindexed along a map \(V\to U\), coherently up to canonical isomorphism. The morphism condition says that isomorphisms between two objects are locally detectable and glue uniquely. Effectivity says that objects specified over a covering, together with compatible isomorphisms on overlaps satisfying the cocycle condition, arise from a global object up to isomorphism.^[1]^[2]

A sheaf of sets glues local elements and identifies them strictly. A stack replaces each fiber set with a groupoid, retaining automorphisms and treating equality through coherent isomorphism. That extra layer is decisive in moduli problems: families can have nontrivial symmetries that an ordinary parameter space collapses or miscounts. The stack records each object and its automorphisms while still enforcing local-to-global compatibility. Quotients by group actions and moduli of curves or bundles are standard motivations.

Terminology varies. The Stacks Project defines a general stack as a fibred category satisfying morphism-sheaf and effective-descent conditions, then calls the groupoid-fibred case a stack in groupoids. Many algebraic geometers use “stack” by default for the groupoid-valued case. This entry locks that conventional stack-in-groupoids identity. An algebraic stack is a much more restrictive stack with representability and atlas conditions; a Deligne–Mumford stack is more restrictive again. Those are subtypes, not synonyms.^[2]

Structural Signature¶

Base site. A category carries a declared Grothendieck topology specifying covering families.
Category over the base. A functor sends every object and arrow of the total category to its base object and base map.
Fibred pullback. Every base morphism supports cartesian reindexing of objects, unique up to canonical isomorphism.
Groupoid fibers. Morphisms lying over an identity are invertible under the conventional stack-in-groupoids scope.
Local objects. A covering family carries one object over each covering member.
Overlap isomorphisms. Pullbacks of local objects are identified on pairwise overlaps.
Cocycle coherence. The overlap identifications agree on triple overlaps.
Sheaf condition for isomorphisms. Compatible local isomorphisms glue uniquely.
Effective descent. Every valid local object datum is induced by a global object.
Equivalence-sensitive identity. Equivalent fibred categories present the same stack-level content.
Automorphism retention. Stabilizers remain part of the moduli object rather than being quotiented away silently.
Higher categorical setting. Stacks and their morphisms naturally form a 2-category.

What It Is Not¶

Not a stack data structure. Last-in-first-out storage is an unrelated computer-science homonym.
Not a sheaf of sets. A set-valued sheaf has no nontrivial automorphism arrows in its fibers.
Not any category-valued presheaf. Fibredness and descent conditions are constitutive.
Not merely a prestack. Effective descent for objects is the additional global-gluing requirement.
Not automatically an algebraic stack. Representable diagonal and an appropriate atlas require separate proof.
Not a moduli space with decoration. Retained automorphisms can change the quotient and universal properties materially.
Not strict equality of local presentations. Coherent isomorphism is the correct comparison level.

Scope of Application¶

Stacks are literal in descent theory, algebraic and differential geometry, topology, and moduli problems wherever objects and their symmetries vary locally over a site and must glue coherently.

Moduli problems. Recording families and automorphisms when a fine moduli space fails to exist.
Quotients by group actions. Retaining stabilizers discarded by a coarse orbit space.
Bundles and torsors. Gluing locally trivial objects through transition isomorphisms.
Algebraic geometry. Providing the substrate later restricted to Artin and Deligne–Mumford stacks.
Differential geometry. Treating orbifolds and Lie-groupoid presentations through differentiable stacks.
Descent. Expressing when locally defined objects and morphisms reconstruct globally.
Higher geometry. Serving as the 1-truncated case of higher and infinity-stack constructions.
Functor-of-points reasoning. Preserving families and isomorphisms over varying test objects.

Clarity¶

Name the base category, Grothendieck topology, covering families, total category, and projection functor. State whether “stack” means a general fibred category satisfying descent or specifically a stack in groupoids. Describe cartesian pullback, fiber groupoids, the sheaf of isomorphisms, local objects, overlap maps, and the cocycle. Separate stack condition from algebraicity, representability, separation, atlas, finiteness, or Deligne–Mumford hypotheses. When using a presentation by a groupoid or quotient, state the equivalence notion and which properties are presentation invariant.

Manages Complexity¶

A stack turns a dispersed collection of local geometric families and coordinate changes into one global object without erasing symmetries. It makes “objects vary functorially and glue” a reusable proof interface, allowing local constructions to be checked on covers while global moduli retain stabilizers. The abstraction is technically expensive: pullback coherence, size issues, 2-morphisms, and topology choices can overwhelm the motivating problem. A good account exposes the site, descent datum, and invariant conclusion rather than hiding all content behind the word stack.

Abstract Reasoning¶

Choose the base category and Grothendieck topology appropriate to the geometry.
Define the category of families over each base object and its projection to the base.
Construct cartesian pullback along base morphisms and verify coherence.
Check that each fiber has the required groupoid structure under the chosen convention.
For two local objects, verify that their isomorphism presheaf is a sheaf.
Write descent data on a cover, including pairwise overlap isomorphisms.
Verify the cocycle condition on triple overlaps.
Prove effectivity by constructing a global object and comparing its restrictions.
Use equivalence rather than presentation equality when changing cleavage, atlas, or groupoid model.
Add algebraicity or geometric finiteness conditions only after the stack property is established.

Knowledge Transfer¶

The strict parent is Category: a stack is first a category equipped with a functor to a base category, and its local-to-global behavior is expressed through arrows, composition, pullbacks, and isomorphism. Descent (Mathematics) is the closest accepted domain-specific structural neighbor, but the frozen protocol requires a prime endpoint. The stack residual is category-valued effective descent with automorphisms retained.

Examples¶

Canonical¶

Let a cover of a base object carry principal bundles on each covering member. Isomorphisms between their restrictions on pairwise overlaps satisfy a cocycle on triple overlaps. The stack condition says this datum is effective: it comes from a bundle over the whole base, uniquely up to the appropriate isomorphism. Automorphisms of the local and global bundle are retained rather than discarded.^[1]

Mapped back: site and cover → local groupoid-valued objects → overlap isomorphisms plus cocycle → effective global object with automorphisms.

Applied / In Practice¶

A group acts on a parameter space and some objects have nontrivial stabilizers. The coarse orbit set forgets which symmetries each orbit carries. The quotient stack records an object together with its descent behavior and automorphism group. Two different groupoid presentations can describe an equivalent stack, so conclusions are stated invariantly rather than tied to one atlas.

Mapped back: parameter objects + group action → groupoid presentation → descent-compatible quotient stack → symmetry-aware moduli.

Structural Tensions¶

Local presentation vs. global object. Compatible pieces need not glue without effectivity. Diagnostic: Has global realization actually been proved?
Equality vs. isomorphism. Strict identification breaks natural coordinate changes. Diagnostic: Are overlap and uniqueness claims made at the correct categorical level?
Automorphism retention vs. coarse simplification. Stabilizers complicate moduli but carry real structure. Diagnostic: What information would a coarse quotient lose?
Topology choice vs. claimed universality. Descent can hold for one topology and fail for another. Diagnostic: Is the site named in every stack claim?
General stack vs. algebraic stack. Geometric atlases are additional conditions. Diagnostic: Which representability and atlas results are available?
Autonomous construct vs. generic category. Category travels; fibred groupoids and effective descent define Stack. Diagnostic: Are both morphism descent and object effectivity present?

Structural–Framed Character¶

Stack is strongly structural once the site, topology, and convention are fixed. Choice enters through the base geometry, coverage notion, presentation, and universe/size conventions. Equivalent presentations can be framed differently while denoting the same stack. The construct is mathematically neutral; its complexity is justified when automorphisms and descent are load-bearing.

Structural Core vs. Domain Accent¶

The skeleton is a category varying over a base whose compatible local data reconstruct globally. The domain accent is Grothendieck topology, cartesian pullback, fiber groupoids, overlap isomorphisms, cocycles, effective descent, and 2-categorical equivalence. Removing those yields Category or generic Local-to-Global Aggregation.

Category is the strict prime parent because a stack is a category over a site with additional fibred and descent structure. Isomorphism, Local-to-Global Aggregation, and Category are structurally relevant; Algebraic Stack is an accepted proper subtype.

The prospective workspace queue contains one strict upward edge to prime:category. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Stack (Mathematics) Domain-specific

Parents (1) — more general patterns this builds on

Stack (Mathematics) is a kind of Category Prime

Category is the strict prime parent because a stack is a category over a site with additional fibred and descent structure.

Hierarchy paths (3) — routes to 3 parentless roots

Stack (Mathematics) → Category → Associativity → Invariance

Show alternative paths (2)

Stack (Mathematics) → Category → Closure
Stack (Mathematics) → Category → Associativity → Symmetry

Neighborhood in Abstraction Space¶

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

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Sheaf. Set- or object-valued local data with stricter identity and no general stabilizer groupoids.
Prestack. Has local morphism descent but may lack effective descent for objects.
Category fibred in groupoids. Supplies pullback and fibers but not necessarily descent.
Algebraic stack. A stack satisfying representability and atlas conditions.
Deligne–Mumford stack. An algebraic stack with a more restrictive étale atlas/diagonal behavior.
Gerbe. A locally nonempty, locally connected special kind of stack in groupoids.
Stack data structure. A last-in-first-out collection.

References¶

[1] The Stacks Project Authors, “Stacks,” Section 8.4, Tag 0268, especially Definition 8.4.1, current edition. registry ↩a ↩b

[2] The Stacks Project Authors, “Stacks in Groupoids,” Section 8.5, Tags 02ZH–02ZJ, current edition. registry ↩a ↩b