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: v1 · 2026-08-30 · History
Domain-specific #: 1264
Origin domain: mathematics
Subdomain: algebraic geometry and moduli
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. ^[1]

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. Validity boundary: The diagonal and atlas must satisfy the chosen algebraic-stack representability and smoothness conditions; any categorical stack is insufficient. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the base site — schemes with a chosen topology such as fppf or étale
the fibered groupoids — objects and isomorphisms varying over test schemes
the descent condition — compatible local objects and arrows glue effectively
the diagonal — the morphism controlling isomorphism spaces and representability
the algebraic atlas — a scheme mapping smoothly and surjectively to the stack
the stabilizer groups — automorphisms retained at geometric objects
the presentation groupoid — the atlas and its self-fiber product encoding the stack
the moduli interpretation — the families of geometric objects classified

Recognition test. A case qualifies only when the analyst can map the declared the base site, the fibered groupoids, the descent condition, the diagonal, the algebraic atlas and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not an arbitrary category-valued functor. Descent, representable diagonal, and an atlas are essential.
Not an algebraic space. Algebraic spaces have no nontrivial object automorphisms in their functor-of-points groupoids.
Not a coarse moduli space. A coarse space discards stabilizer and family information.
Not a quotient set. A quotient stack retains isotropy and descent data.
Not necessarily a Deligne–Mumford stack. DM stacks require an étale atlas or equivalent stronger diagonal condition.

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. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Algebraic stack.

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.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

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. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: a quotient stack¶

For an algebraic group G acting on a scheme X, X/G consists of G-torsors over T with equivariant maps to X. The atlas X→[X/G] is smooth when G is smooth, while a point's stabilizer remains visible as its automorphism group. ^[2]

Mapped back: the base site; the fibered groupoids; the descent condition; the algebraic atlas; the stabilizer groups; the presentation groupoid.

Applied / In Practice: the moduli stack of curves¶

A T-point is a family of smooth proper curves over T, and arrows are family isomorphisms. Étale or smooth local charts provide an atlas, while curves with symmetries retain stabilizer groups that a coarse moduli scheme suppresses. ^[1]

Mapped back: the fibered groupoids; the diagonal; the algebraic atlas; the stabilizer groups; the moduli interpretation.

Structural Tensions¶

T1: Moduli object vs isomorphism class. Set-valued classification loses automorphisms needed for descent. Diagnostic: Are arrows retained?

T2: Atlas calculations vs intrinsic stack. Different atlases present the same stack through different groupoids. Diagnostic: Is the result presentation invariant?

T3: Stabilizers vs representability. Automorphisms are useful but obstruct representation by an algebraic space. Diagnostic: Which diagonal property controls them?

T4: General Artin vs Deligne–Mumford. Smooth and étale atlases impose different local structures. Diagnostic: Which definition is required?

T5: Coarse space vs family geometry. Coarse points classify geometric orbits but may not support universal families. Diagnostic: Which information can be forgotten safely?

T6: Domain autonomy vs prime reduction. Representation and Local-to-Global Aggregation omit the specialist objects, constraints, and validity tests named above. Diagnostic: Would retaining only the portable parent pattern still satisfy the recognition test?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is locally representable geometric data are glued as objects-with-isomorphisms so symmetry survives passage from charts to moduli. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: Locally representable geometric data are glued as objects-with-isomorphisms so symmetry survives passage from charts to moduli.

Domain accent: Grothendieck sites, fibered groupoids, descent, representable diagonals, smooth atlases, stabilizers, and moduli families.

Why it does not clear the prime bar: Representation and local-to-global gluing travel; algebraic stacks are their 2-categorical algebro-geometric realization. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Representation (prime:representation). Atlases and groupoids provide local presentations of an intrinsic moduli object.
Local-to-Global Aggregation (prime:local_to_global_aggregation). Descent glues compatible local families and isomorphisms into global objects.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

Relationships to Other Abstractions¶

Current abstraction Algebraic stack Domain-specific

Parents (1) — more general patterns this builds on

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

Algebraic stack → Category → Associativity → Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space¶

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

Family — Algebraic Geometry & Bundle Structure (14 abstractions)

Nearest neighbors

Uniform space — 0.86
Bundle metric — 0.86
Graph Sphericity — 0.86
McKay Graph — 0.86
Complete variety — 0.86

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

Not to Be Confused With¶

Algebraic space. an étale sheaf with a representable cover and trivial categorical stabilizers. Tell: Are nontrivial automorphism groups retained?
Deligne–Mumford stack. an algebraic stack with unramified diagonal or étale atlas. Tell: Is the stronger étale condition known?
Scheme. a locally ringed space represented by a functor of points. Tell: Does one need groupoid-valued points?
Coarse moduli space. a universal algebraic-space shadow of isomorphism classes. Tell: Are family and stabilizer data lost?
Gerbe. a locally nonempty, locally connected stack. Tell: Is the defining feature ubiquitous local isomorphism rather than general algebraicity?

References¶

[1] Gérard Laumon and Laurent Moret-Bailly, Champs algébriques, Springer, 2000. registry ↩a ↩b

[2] The Stacks Project Authors, The Stacks Project, chapters on algebraic stacks and examples. registry ↩