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: v3 · 2026-09-19 · History
Domain-specific #: 1667
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Differential Geometry, Differentiable Stacks and Lie Groupoids → Mathematics

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.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree that a five-year-old picture could only be a glued, folded or squished shape, which is the coarse quotient space the concept exists to avoid, losing the isotropy and gluing data a differentiable stack keeps.

No faithful explanation at this level. Two of three generators judge that without groupoids and descent the story reduces to a manifold glued from patches or a folded-up shape, i.e. the coarse quotient that discards the isotropy the stack retains.

Symmetry-Remembering Smooth Spaces

A differentiable stack is a generalized smooth space used when an ordinary quotient, like a space divided by a symmetry group, would lose information or fail to be smooth. Instead of forming the quotient directly, you cover the stack with an ordinary smooth manifold, called an atlas. The overlaps of the atlas with itself form a Lie groupoid: a manifold of points, a manifold of arrows between them, and smooth rules for composing arrows. The arrows record which points are identified and how, including symmetries that fix a point. Different atlases give different groupoids, but these are considered the same stack when they are Morita equivalent, so no single presentation is the official one. Examples include orbifolds and quotients by group actions.

A differentiable stack is a stack over the site of smooth manifolds that admits a representable, surjective, suitably smooth atlas X → 𝒳 from an ordinary manifold. Descent data glue local objects and arrows, and the fiber product X ×_𝒳 X records the overlaps; together with X it forms a Lie groupoid presenting the stack. The groupoid depends on the atlas chosen, and different presentations of the same stack are related by Morita equivalence, so only Morita-invariant properties belong to the stack. This is not a generic stack, nor a single chosen groupoid, nor a coarse topological quotient: the construction retains isotropy and descent information that an orbit space discards. Verifying it requires stating the site and covering convention, checking descent, and confirming the atlas is representable, smooth, and surjective. Differentiable stacks give a framework for orbifolds, quotient stacks of group actions, foliation leaf spaces, and gerbes, but those applications are not the definition. Algebraic stacks live on a different site and are not interchangeable with them.

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.

This entry is a kind of 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. What makes it its own entry is the smooth-site stack with an atlas, equivalently a Lie-groupoid presentation up to Morita equivalence, not a generic stack, one chosen groupoid, or an arbitrary singular topological quotient.

Relationships to Other Abstractions¶

Current abstraction Differentiable stack Domain-specific

Parents (1) — outgoing typed relations

Differentiable stack is a kind of Representation Prime

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.

Hierarchy path (1) — routes to 1 parentless root

Differentiable stack → is a kind of Representation → presupposes Abstraction

Neighborhood in Abstraction Space¶

Differentiable stack sits in a crowded region of the domain-specific corpus (31^st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Manifolds, Stacks & Classifying Spaces (18 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-10-25

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.not authoritative registry ↩