Differentiable stack¶

Represent quotient-like smooth geometry as a stack on manifolds admitting a smooth atlas, equivalently through a Lie-groupoid presentation considered up to Morita equivalence.

Version: v2 · 2026-08-30 · History
Domain-specific #: 1667
Origin domain: differential geometry
Subdomain: differentiable stacks and lie groupoids

Core Idea¶

A differentiable stack is a stack over smooth manifolds that admits a suitable smooth representable surjective atlas by a manifold; choosing an atlas yields a Lie groupoid, and equivalent presentations are related by Morita equivalence.^[1] Descent glues local objects and arrows, an atlas covers the stack by ordinary smooth geometry, and the atlas fiber product records overlaps as a Lie groupoid whose presentation-dependent details are quotiented by Morita equivalence.

Its autonomous residual is the smooth-site stack plus atlas or Morita-equivalent Lie-groupoid identity, not a generic stack, one chosen groupoid, or an arbitrary singular topological quotient. The identity fails when descent is not established, the alleged atlas is nonrepresentable or lacks the required cover property, a single presentation is treated as canonical, isotropy is discarded into a coarse space, or algebraic and differentiable sites are interchanged.

Recognition requires an analyst to state the site and cover convention, verify stack descent, identify the atlas and representable maps, construct source and target manifolds of the groupoid, test smoothness and surjectivity, and separate stack invariants from artifacts of one presentation. Once established, it supports treating orbifolds, quotient stacks, foliation leaf spaces, group actions, gerbes, and singular quotient phenomena while retaining isotropy and descent data lost by a coarse orbit space without turning those uses into the definition.

Structural Signature¶

Carrier: a stack in groupoids on a chosen site of smooth manifolds together with a representable smooth surjective atlas, or a Lie groupoid presentation
Inputs or antecedent state: manifold site and Grothendieck topology, fibered groupoid and descent data, representable diagonal as required by convention, atlas, associated Lie groupoid, and equivalence or Morita-equivalence notion
Constitutive operation: Descent glues local objects and arrows, an atlas covers the stack by ordinary smooth geometry, and the atlas fiber product records overlaps as a Lie groupoid whose presentation-dependent details are quotiented by Morita equivalence
Invariant: the stack satisfies descent on the declared smooth site and possesses an atlas meeting the representability and smooth-surjective conditions of the selected convention, with geometric claims invariant under presentation equivalence
Recognition test: state the site and cover convention, verify stack descent, identify the atlas and representable maps, construct source and target manifolds of the groupoid, test smoothness and surjectivity, and separate stack invariants from artifacts of one presentation
Output or consequence: treating orbifolds, quotient stacks, foliation leaf spaces, group actions, gerbes, and singular quotient phenomena while retaining isotropy and descent data lost by a coarse orbit space
Failure boundary: descent is not established, the alleged atlas is nonrepresentable or lacks the required cover property, a single presentation is treated as canonical, isotropy is discarded into a coarse space, or algebraic and differentiable sites are interchanged

What It Is Not¶

It is not the whole field of differential geometry; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. For a Lie group \(G\) acting smoothly on a manifold \(M\), the quotient stack \([M/G]\) is presented by the action groupoid \(G\times M\rightrightarrows M\). That is an instance, not a definition.
It is not Stack (Mathematics). Stack (Mathematics) supplies descent in groupoids over a site; a differentiable stack fixes a smooth-manifold site and demands a representable smooth atlas, creating a geometric presentation theory distinct from Algebraic Stack.
It is not an unrestricted metaphor. Authors vary between differentiable, smooth, geometric, and Artin differentiable stacks and may build representability of the diagonal into the definition, so every theorem must preserve the source's site and atlas convention

Scope of Application¶

Differentiable stack applies when the analyst can specify a stack in groupoids on a chosen site of smooth manifolds together with a representable smooth surjective atlas, or a Lie groupoid presentation and establish that the stack satisfies descent on the declared smooth site and possesses an atlas meeting the representability and smooth-surjective conditions of the selected convention, with geometric claims invariant under presentation equivalence. The entry locks ordinary differentiable stacks on smooth manifolds; derived, higher, analytic, algebraic, and diffeological stacks need separately typed foundations.^[2]

Recognition. state the site and cover convention, verify stack descent, identify the atlas and representable maps, construct source and target manifolds of the groupoid, test smoothness and surjectivity, and separate stack invariants from artifacts of one presentation
Comparison. Compare legitimate instances through site, cover topology, representability, atlas class, diagonal, source and target maps, isotropy, properness, étaleness, presentation, Morita equivalence, and coarse space.
Boundary. Authors vary between differentiable, smooth, geometric, and Artin differentiable stacks and may build representability of the diagonal into the definition, so every theorem must preserve the source's site and atlas convention
Use. Preserve every assumption when using the identity for treating orbifolds, quotient stacks, foliation leaf spaces, group actions, gerbes, and singular quotient phenomena while retaining isotropy and descent data lost by a coarse orbit space.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because differentiable stack can name either the stack object or an equivalence class of Lie groupoid presentations, and definition variants differ on built-in separation or diagonal conditions. The disciplined statement is that the object counts as Differentiable stack exactly when the stack satisfies descent on the declared smooth site and possesses an atlas meeting the representability and smooth-surjective conditions of the selected convention, with geometric claims invariant under presentation equivalence

Identity and measurement remain separate. Recognition is categorical and geometric rather than empirical; computations in one atlas must be proved invariant under refinement or Morita equivalence before being attributed to the stack. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses quotient stacks, orbifolds, gerbes, foliation stacks, proper or étale stacks, separated variants, and equivalent atlas or principal-bundle formulations into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares site, cover topology, representability, atlas class, diagonal, source and target maps, isotropy, properness, étaleness, presentation, Morita equivalence, and coarse space and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a stack in groupoids on a chosen site of smooth manifolds together with a representable smooth surjective atlas, or a Lie groupoid presentation and reject examples from a different problem.
Lock the rule. Express that the stack satisfies descent on the declared smooth site and possesses an atlas meeting the representability and smooth-surjective conditions of the selected convention, with geometric claims invariant under presentation equivalence independently of one notation or implementation.
Derive carefully. Infer treating orbifolds, quotient stacks, foliation leaf spaces, group actions, gerbes, and singular quotient phenomena while retaining isotropy and descent data lost by a coarse orbit space only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—Authors vary between differentiable, smooth, geometric, and Artin differentiable stacks and may build representability of the diagonal into the definition, so every theorem must preserve the source's site and atlas convention—with this counterexample: the coarse orbit space of a nonfree group action is not the quotient differentiable stack because it forgets stabilizer arrows and equivariant descent data.

Knowledge Transfer¶

Transfer within differential geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For a Lie group \(G\) acting smoothly on a manifold \(M\), the quotient stack \([M/G]\) is presented by the action groupoid \(G\times M\rightrightarrows M\). to An orbifold can be represented by a proper étale Lie groupoid and therefore determines a differentiable stack with discrete finite isotropy under the standard hypotheses. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—encode a global quotient-like object by compatible local charts and arrows while treating changes of presentation as equivalences—travels automatically. The terms stack, descent, atlas, representable morphism, Lie groupoid, action groupoid, Morita equivalence, isotropy, quotient stack, and coarse moduli space retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

For a Lie group \(G\) acting smoothly on a manifold \(M\), the quotient stack \([M/G]\) is presented by the action groupoid \(G\times M\rightrightarrows M\). Unlike the orbit space alone, the stack remembers stabilizer groups and equivariant gluing; a different Morita-equivalent groupoid can present the same differentiable stack. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a stack in groupoids on a chosen site of smooth manifolds together with a representable smooth surjective atlas, or a Lie groupoid presentation → Descent glues local objects and arrows, an atlas covers the stack by ordinary smooth geometry, and the atlas fiber product records overlaps as a Lie groupoid whose presentation-dependent details are quotiented by Morita equivalence → the stack satisfies descent on the declared smooth site and possesses an atlas meeting the representability and smooth-surjective conditions of the selected convention, with geometric claims invariant under presentation equivalence → treating orbifolds, quotient stacks, foliation leaf spaces, group actions, gerbes, and singular quotient phenomena while retaining isotropy and descent data lost by a coarse orbit space

Applied / In Practice¶

An orbifold can be represented by a proper étale Lie groupoid and therefore determines a differentiable stack with discrete finite isotropy under the standard hypotheses. The orbifold conditions are additional restrictions on a differentiable-stack presentation, so not every differentiable stack is an orbifold. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. quotient stacks, orbifolds, gerbes, foliation stacks, proper or étale stacks, separated variants, and equivalent atlas or principal-bundle formulations can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the smooth-site stack plus atlas or Morita-equivalent Lie-groupoid identity, not a generic stack, one chosen groupoid, or an arbitrary singular topological quotient. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is encode a global quotient-like object by compatible local charts and arrows while treating changes of presentation as equivalences; its identity-bearing terms are stack, descent, atlas, representable morphism, Lie groupoid, action groupoid, Morita equivalence, isotropy, quotient stack, and coarse moduli space. Those terms determine admissible objects, evidence, and consequences inside differential geometry.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by Descent glues local objects and arrows, an atlas covers the stack by ordinary smooth geometry, and the atlas fiber product records overlaps as a Lie groupoid whose presentation-dependent details are quotiented by Morita equivalence and tested by state the site and cover convention, verify stack descent, identify the atlas and representable maps, construct source and target manifolds of the groupoid, test smoothness and surjectivity, and separate stack invariants from artifacts of one presentation. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Differentiable stack.

The proposed strict upward parent is prime:representation. A differentiable stack literally represents quotient-like smooth geometry by compatible local manifolds and a Lie groupoid presentation while preserving equivalence under changes of presentation. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because the smooth-site stack plus atlas or Morita-equivalent Lie-groupoid identity, not a generic stack, one chosen groupoid, or an arbitrary singular topological quotient A thematic neighbor is declined whenever it does not literally subsume that rule.

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

Relationships to Other Abstractions¶

Current abstraction Differentiable stack Domain-specific

Parents (1) — more general patterns this builds on

Differentiable stack is a kind of Representation Prime

The proposed strict upward parent is prime:representation.

Hierarchy path (1) — routes to 1 parentless root

Differentiable stack → Representation → Abstraction

Neighborhood in Abstraction Space¶

Differentiable stack sits in a moderately populated region (50^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Differential Topology & Geometric Structure (11 abstractions)

Nearest neighbors

Quotient stack — 0.89
Quotient space of an algebraic stack — 0.89
Gerbe — 0.88
Algebraic space — 0.88
Weakly symmetric space — 0.88

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

Not to Be Confused With¶

Algebraic stack. Uses an algebraic-geometric site and smooth or étale atlases by schemes rather than smooth manifolds.
Lie groupoid. One presentation of a differentiable stack; Morita-equivalent groupoids can present the same object.
Orbifold. A restricted differentiable stack, commonly with proper étale presentation and finite isotropy.
Differential structure. An atlas compatibility structure on a topological manifold, not a stack with descent and isotropy.

References¶

[1] Kai Behrend and Ping Xu, 'Differentiable Stacks and Gerbes,' Journal of Symplectic Geometry 9(3), 285–341 (2011), DOI 10.4310/JSG.2011.v9.n3.a1; arXiv:math/0605694. registry ↩a ↩b

[2] Ieke Moerdijk and Janez Mrčun, Introduction to Foliations and Lie Groupoids, Cambridge University Press, 2003, DOI 10.1017/CBO9780511615450. registry ↩a ↩b

[3] David Metzler, 'Topological and Smooth Stacks,' arXiv:math/0306176 (2003), in preparation for the 2003 Seattle conference on groupoids in analysis, geometry, and physics. registry ↩