This is a sub-entry of smooth ∞-groupoid – structures. See there for more context.
Backround
Definition
Presentation over a site
Models
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
In every cohesive (∞,1)-topos there is a notion of concrete cohesive ∞-groupoids. Here we discuss concrete smooth ∞-groupoids. These are the higher generalization of diffeological spaces.
The general abstract definition is:
A concrete smooth -groupoid is a concrete cohesive ∞-groupoids in Smooth∞Grpd.
We will compare this intrinsic definition with more concrete models:
A diffeological space is a concrete sheaf on the site CartSp.
Write
for the full subcategory on diffeological spaces. Notice that is a quasitopos.
A diffeological groupoid is an internal groupoid in the category of diffeological spaces.
(…)
We discuss the special cases of n-truncated concrete smooth -groupoids:
0-truncated: diffeological space
1-truncated: diffeological groupoids.
Concrete smooth 0-groupoids are equivalently diffeological spaces.
More in detail, write for the full subcategory on the concrete 0-truncated objects. This is equivalent to the category of diffeological spaces
Let be a sheaf on . The condition for it to be concrete is that the unit
is a monomorphism. Since monomorphisms of sheaves are detected objectwise (see category of sheaves) this is equivalent to the statement that for all the morphism
is a monomorphism of sets, where in the first step we used the (∞,1)-Yoneda lemma and in the last one the -adjunction.
That this morphism is indeed follows by chasing the identity on through the adjunction naturality square for any morphism
So this is indeed the defining condition for concrete sheaves that defines diffeological spaces.
The canonical embedding from above factors through diffeological spaces: we have a sequence of full and faithful (∞,1)-functors
We want to say the following
Concrete 1-truncated smooth -groupoids are equivalent to diffeological groupoids, def. .
(…)
Let be 1-truncated and concrete. Then by definition there is a concrete 0-truncated object and an effective epimorphism – an atlas – , such that the (∞,1)-pullback
is itself concrete.
Since is assumed to be 1-truncated, it follows that is 0-truncated. By Giraud's axioms in the (∞,1)-topos Smooth∞Grpd we have that is equivalent to the groupoid object in an (∞,1)-category :
Now by prop. both and are diffeological spaces. Hence the above exhibits as equivalent to a diffeological groupoid.
(…)
For , write for the smooth -groupoid given under the Dold-Kan correspondence by the Deligne complex. Over smooth manifolds this is the coefficient object for circle n-bundles with connection.
At ∞-Chern-Simons theory the following fact is proven:
Let be a closed smooth manifold of dimension . Then there is an equivalence
of discrete ∞-groupoids such that for this computes the -volume holonomy of circle -bundles with connection.
Using concretization we want to refine this from discrete to smooth -groupoids.
Write for the internal hom in the (∞,1)-topos (see there).
We first look at this for
Since is 0-truncated, hence a sheaf, concretification is that discussed at concrete sheaves:
So for first of all we have by prop. that
in .
Generally is therefore a subset of the set of functions of sets . We need to show that it is precisely the set of smooth such functions.
But this is clear: holonomy of a smoth family of smoth circle -bundles is a smooth function. Moreover, every smooth function arises this way: for any smooth function, pick a trivial family of trivial circle -bundles with connection and then rescale the connection form using .
Many of the ideas involved here are due to Dave Carchedi.
A writeup of some aspects is in section 3.3.1 of
Last revised on June 29, 2011 at 12:13:50. See the history of this page for a list of all contributions to it.