In differential geometry, a differentiable stack is a stack over the category of differentiable manifolds (with the usual open covering topology) which admits an atlas. In other words, a differentiable stack is a stack that can be represented by a Lie groupoid.
Contents
Connection with Lie groupoids
Every Lie groupoid Γ gives rise to a differentiable stack that is the category of Γ-torsors. In fact, every differentiable stack is of this form. Hence, roughly, "a differentiable stack is a Lie groupoid up to Morita equivalence."
Differential space
A differentiable space is a differentiable stack with trivial stabilizers. For example, if a Lie group acts freely but not necessarily properly on a manifold, then the quotient by it is in general not a manifold but a differentiable space.
With Grothendieck topology
A differentiable stack X may be equipped with Grothendieck topology in a certain way (see the reference). This gives the notion of a sheaf over X. For example, the sheaf
Gerbes
An epimorphism between differentiable stacks