Skip to content

Algebraic stack

A stack with algebraic representability and smooth-cover conditions that generalizes schemes and algebraic spaces while retaining automorphism data in moduli problems.

Version
v2 · 2026-09-19 · History
Domain-specific #
1264
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Algebraic Geometry and Moduli → Mathematics
Aliases
Artin stack

Core Idea

Algebraic stack is a stack with algebraic representability and smooth-cover conditions that generalizes schemes and algebraic spaces while retaining automorphism data in moduli problems.

An algebraic stack is a stack in groupoids on a Grothendieck site whose diagonal is representable under specified finiteness conditions and which admits a smooth surjective atlas from a scheme. It generalizes schemes and algebraic spaces while retaining automorphism groups of parameterized objects, which coarse moduli spaces forget.

Its operative boundary is not supplied by the name alone. Preserve this identity: A stack with algebraic representability and smooth-cover conditions that generalizes schemes and algebraic spaces while retaining automorphism data in moduli problems.

How would you explain it like I'm…

 

No faithful explanation at this level. All three agree a child-level picture can only be 'a catalog of shapes that remembers their symmetries', which fits any stack or groupoid and drops the algebraic representability and smooth-atlas conditions the concept requires.

The Symmetry-Remembering Catalog

Sometimes mathematicians want one object that lists every shape of a certain kind, like every possible curve of a certain type. A plain list loses information, because some shapes have symmetries: ways to flip or turn them onto themselves. An algebraic stack is a way to build that catalog so it remembers those symmetries. To make it well behaved, it also has to be covered by an ordinary, nicer shape in a smooth way, and follow certain technical rules. It is a bigger, more flexible cousin of ordinary geometric shapes.

Moduli Objects With Automorphisms

An algebraic stack generalizes schemes and algebraic spaces, the usual objects of algebraic geometry. It is mainly used for moduli problems, where you want a space whose points classify geometric objects, such as all curves of a given type. A 'coarse' moduli space treats each object as a single point and forgets its automorphisms (its symmetries), which causes technical trouble. An algebraic stack keeps those automorphism groups. Formally it is a stack in groupoids, a structure recording objects together with their isomorphisms, and to count as algebraic it must meet two conditions: its diagonal must be representable (under stated finiteness conditions), and it must have a smooth surjective atlas, a map from an ordinary scheme covering it. Without those conditions, you just have a stack, not an algebraic one.

 

An algebraic stack is a stack in groupoids over a Grothendieck site, typically schemes with a suitable topology, whose diagonal is representable under specified finiteness conditions and which admits a smooth surjective atlas from a scheme. It generalizes schemes and algebraic spaces. Its purpose in moduli problems is to retain the automorphism groups of the parameterized objects, which coarse moduli spaces forget. Being a stack means objects and their isomorphisms glue across covers; being algebraic adds the representability condition on the diagonal and the existence of the smooth atlas. The validity boundary is strict: any categorical stack does not qualify unless the diagonal and atlas satisfy the chosen algebraic-stack conditions.

Scope of Application

The abstraction recurs literally within moduli problems and quotients where families glue but objects carry nontrivial automorphisms. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

  • Moduli of curves. families and curve automorphisms form an algebraic stack.
  • Vector bundles. bundle families and gauge automorphisms are retained.
  • Quotient stacks. a group action is recorded as [X/G], including stabilizers.
  • Intersection theory. cycles and virtual classes extend to suitable stacks.
  • Deformation theory. the diagonal and cotangent complex organize infinitesimal automorphisms and obstructions.

Clarity

State the site, definition of algebraic stack in use, diagonal conditions, and atlas topology. 'Artin stack' conventions vary, especially around quasi-separatedness and finiteness. A moduli functor with isomorphism classes only may fail to satisfy descent precisely because automorphisms were discarded.

A practical identification audit begins with the typed roles rather than the title: establish the base site, verify the fibered groupoids, then test the remaining conditions and exclusions.

Manages Complexity

The stack formalism makes moduli local-to-global while retaining symmetry at each object. An atlas permits scheme-theoretic calculations, and the groupoid presentation records how local charts glue with isotropy.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning

R1. Form the category fibered in groupoids of families over test schemes. R2. Prove effective descent for objects and morphisms on the chosen site. R3. Show the diagonal is representable with the required separation and finiteness properties. R4. Construct a smooth surjective scheme atlas. R5. Check that any quotient or coarse-space calculation preserves the stabilizer information needed by the claim.

Knowledge Transfer

The identity transfers among algebraic moduli and quotient problems meeting the stack, diagonal, and atlas conditions. Representation and local-to-global aggregation are parents; any hierarchical dataset or software stack is unrelated.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: Algebraic stacks recur across moduli of curves, elliptic curves, bundles, and objects with nontrivial automorphisms. Literal recognition retains the specialist vocabulary and validity conditions of algebraic geometry and moduli theory; outside that setting only broader parent operations transfer.

Relationships to Other Abstractions

Local relationship map for Algebraic stackParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Algebraic stackDOMAINPrime abstraction: Category — presupposesCategoryPRIME

Current abstraction Algebraic stack Domain-specific

Parents (1) — outgoing typed relations

  • Algebraic stack presupposes Category Prime

    The accepted reference-grade review places Algebraic stack under Category because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

Hierarchy paths (3) — routes to 3 parentless roots

Neighborhood in Abstraction Space

Algebraic stack sits in a moderately populated region (42nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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