For more see at smooth ∞-groupoid.
The concept of smooth -stack is essentially that of
Following the logic described at
a smooth -stack is the ∞-categorification of smooth space and differentiable stack. It is an ∞-stack on the (essentially small) site Diff of smooth manifolds, or correspondingly on or CartSp (see smooth space for more on that).
So smooth -stacks are the objects in the (∞,1)-topos that computes smooth generalized cohomology. (See differential nonabelian cohomology and the disucssion under “Models” below for more on that).
Let be the full subcategory [of Diff on the Cartesian spaces of the simple form , equipped with the standard structure of a site with the coverage given by open covers of manifolds.]
is the (∞,1)-topos given by the (∞,1)-category of (∞,1)-sheaves on .
This is the cohesive (∞,1)-topos Smooth∞Grpd.
There is a large number of model structures presenting : all the model structures on simplicial (pre)sheaves on .
In terms of -groupoids internal to smooth spaces
Notice for instance that there is the model structure on simplicial sheaves given by the category equipped with the injective local model structure on simplicial presheaves.
But sheaves on cartesian spaces
is the category of smooth spaces, and is just the category of simplicial objects of that
So one model for smooth -stacks is given by simplicial smooth spaces.
Notice that the fibrant object in are the globally Kan complex-valued sheaves under the equivalence of categories
that satisfy descent (see descent for simplicial presheaves).
Being Kan complex-valued just means that the fibrant objects are sheaves on with values in ∞-groupoids.
Moreover, the descent-condition on is comparatively trivial, and in many cases (…details eventually here, but see examples below…) entirely empty, as every cartesian space is (smoothly, even) contractible.
This means that the fibrant objects in are pretty much nothing but ∞-groupoids internal to smooth spaces. (But notice that the requirement that she corresponding sheaf is Kan complex-valued is a bit weaker that other notions of “-groupoid internal to smooth spaces” that one may come up with).
In particular ∞-groupoids internal to diffeological spaces are therefore a model for smooth -stacks.
Moreover, a morphism between smooth -stacks modeled by such internal -groupoids is modeled as an -anafunctor (see simplicial localization, homotopy category and category of fibrant objects for details).
The model of smooth -stacks given by -groupoids internal to diffeological spaces with anafunctors as morphism between them is the model used in the Baez-ian school description of higher principal bundles and differential nonabelian cohomology.
Let be a Lie group. Using the embedding
of manifolds into smooth spaces we may regard naturally as a sheaf on CartSp.
Write for the delooping of , a one-object groupoid internal to SmoothSp. Postcomposing with the nerve functor Grpd SSet this yields a Kan complex-valued simplicial sheaf which we shall by convenient and useful abuse of notation just call itself.
Notice that does not satisfy descent when regarded as a simplicial sheaf on all of Diff: there its ∞-stackification is instead , the stack of -principal bundles
(or rather, in our context of simplicial sheaves, a rectification of that).
But restricted to the site the simplicial sheaf does satisfy descent: there is up to isomorphism only a single -bundle on , so that one finds an equivalence of categories
for each . This means that is a fibrant object in the injective model structure on simplicial sheaves. So in particular all the constructions and examples discussed at category of fibrant objects apply to : we get the universal G-bundle regarded as a smooth -stack as the pullback
in , which, do to the nerve being right adjoint is the same as the image under the nerve of the corresponding pullback in sheaves of groupoids (so that still our notational suppressing of is justified).