Formal Lie groupoids
This is a sub-entry of Smooth∞Grpd. See there for background.
We discuss the general abstract structures in a cohesive (∞,1)-topos realized in Smooth∞Grpd.
Geometric homotopy and Galois theory
We discuss the intrinsic fundamental ∞-groupoid construction realized in .
If is presented by , then its image ETop∞Grpd under the relative topological cohesion morphism is presented by the underlying simplicial topological space .
Let first be simplicially constant. Then there is a differentiably good open cover such that the Cech nerve projection
is a cofibrant resolution in which is degreewise a coproduct of representables. That means that the left derived functor on is computed by the application of on this coend, which by the fact that this is defined to be the left Kan extension along is given degreewise by , and since preserves pullbacks along covers, this is
The last step follows from observing that we have manifestly the Cech nerve as before, but now of the underlying topological spaces of the and of .
The claim then follows for general simplicial spaces by observing that presents the (∞,1)-colimit over and the left adjoint (∞,1)-functor preserves these (∞,1)-colimits.
The preserves homotopy fibers of morphisms that are presented in by morphisms of the form with fibrant and a simplicial group in SmoothMfd.
By the above the functor factors as
and assigns the underlying topological spaces. If we can show that this preserves the homotopy fibers in question, then the claim follows with the analogous discussion at ETop∞Grpd.
We find this as in the proof of the latter proposition, by considering the pasting diagram of pullbacks of simplicial presheaves
Since the component maps of the right vertical morphisms are surjective, the degreewise pullbacks in that define are all along transversal maps, and thus the underlying objects in TopMfd are the pullbacks of the underlying topological manifolds. Therefore the degreewise forgetful functor presents on the outer diagram and sends this homotopy pullback to a homotopy pullback.
Paths and geometric Postnikov towers
Paths and geometric Postnikov towers
We discuss the notion of geometric path ∞-groupoids realized in .
For SmthMfd write
for the simplicial presheaf that sends a test space CartSp to the singular simplicial complex of smooth simplices smoothly parameterized over :
Concrete objects – diffeological -groupoids
This section is at
Geometry and structure sheaves
We discuss cohesive ∞-groups in : smooth -groups.
Let be a Lie group. Under the embedding this is canonically identifed as a 0-truncated ∞-group object in . Write for the corresponding delooping object.
A fibrant presentation of the delooping object in the projective local model structure on simplicial presheaves is given by the simplicial presheaf that is the nerve of the one-object Lie groupoid
regarded as a simplicial manifold and canonically embedded into simplicial presheaves:
The presheaf is clearly objectwise a Kan complex, being objectwise the nerve of a groupoid. It satisfies descent along good open covers of Cartesian spaces, because the descent -groupoid is : an object is a Cech 1-cocycle with coefficients in , a morphism a Cech coboundary, which yields the groupoid of -principal bundles over , which for the Cartesian space is however equivalent to the groupoid of trivial -bundles over .
To show that is indeed the delooping object of it is sufficient (by the discussion at model structure on simplicial presheaves – homotopy limits) to compute the (∞,1)-pullback in the global model structure .
This is accomplished by the ordinary pullback of the fibrant replacement diagram
as discussed at universal principal ∞-bundle.
Strict Lie 2-groups
Let now be a strict Lie 2-group coming from a smooth crossed module with action .
A fibrant representative of in is given by the crossed complex
As above for Lie groups.
Circle Lie -groups
for the chain complex of sheaves concentrated in degree on .
Recall the right Quillen functor from above.
The simplicial presheaf is a fibrant representative in of the circle Lie -group .
First notice that since is fibrant in we have that is fibrant in . We may compute the homotopy pullback that defines the loop space object in the global model structure (by the discussion at model structure on simplicial presheaves – homotopy (co)limits) we may check the statement about the delooping in the global model structure.
Consider the global fibration resolution of the point inclusion given by
The underlying morphism of chain complexes is clearly degreewise surjective, hence a projective fibration, hence its image under is a projective fibration. Therefore the homotopy pullback in question is given by the ordinary pullback
computed in and then using that is the right adjoint and hence preserves pullbacks. This shows that the loop object is indeed presented by .
Now we discuss the fibrancy of in the local model structure . We need to check that for all good open covers of a Cartesian space we have that the mophism
is an equivalence of Kan complexes, where is the Cech nerve of the cover. Observe that the Kan complex on the right is that whose vertices are cocycles in degree- Cech cohomology (see there for details) with coefficients in and whose morphisms are coboundaries between these.
We proceed by induction on . For the condition is just that is a sheaf, which clearly it is. For general we use that since is cofibrant, the above is the derived hom-space functor which commutes with homotopy pullbacks and hence with forming loop space objects, so that
by the above result on delooping. So we find that for all that is the Cech cohomology of with coefficients in in degree . By standard facts about Cech cohomology (using the short exact sequence of abelian groups and the fact that the cohomology with coefficients in vanishes in positive degree, for instance by a partition of unity argument) we have that this is given by the integral cohomology groups
for . For the contractible Cartesian space all these cohomology groups vanish.
So we have that and both have homotopy groups concentrated in degree on . The above looping argument together with the fact that is a sheaf also shows that the morphism in question is an isomorphism on this degree- homotopy group, hence is indeed a weak homotopy equivalence.
Simplicial Lie groups
Every connected object is – by definition – the delooping of a Lie ∞-group , its loop space object formed in . Since the discussion of group objects, loop space objects etc. involves only finite (∞,1)-limits and ∞-stackification preserves these, this may be discussed in the (∞,1)-category of (∞,1)-presheaves on CartSp. Since there -limits are computed objectwise, an ∞-group object in is modeled by a (∞,1)-presheaf with values in ∞-groups in ∞Grpd.
By standard results on Models for group objects in ∞Grpd the latter may equivalently be modeled by simplicial groups. A simplicial group is possibly weak ∞-groupoid equipped with a strict group object structure. While strict ∞-groupoids with weak group object structure do not model all ∞-groups, weak -groupoids with strict group structure do.
There is a good supply of standard results for and constructions with simplicial groups which makes this model useful for applications.
Cohomology and principal -bundles
We discuss the intrinsic cohomology and pricipal ∞-bundles in .
Cohomology with constant coefficients
Let ∞Grpd be any discrete ∞-groupoid. Write Top for its geometric realization. For any topological space, the nonabelian cohomology of with coefficients in is the set of homotopy classes of maps
We say itself is the cocycle ∞-groupoid for -valued nonabelian cohomology on .
Similarly, for two smooth -groupoids, write
for the intrinsic cohomology of on with coefficients in .
Let ∞Grpd, write for the corresponding discrete smooth ∞-groupoid. Let be a paracompact topological space regarded as a 0-truncated Euclidean-topological -groupoid.
We have an isomorphism of cohomology sets
and in fact an equivalence of cocycle ∞-groupoids
More generally, for presenting an object in we have
-Principal bundles for a Lie group
Let be a Lie group, regarded as a group object in as in the above discussion.
The universal G-principal bundle is a replacement of the point inclusion by a fibration .
For an ordinary group one model for this is given by the Lie groupoid
which is the action groupoid of acting on itself.
One noteworthy aspect of this object is that it is itself groupal, in fact itself a Lie strict 2-group in a way that is compatible with the canonical inclusion : it is an example of a groupal model for universal principal ∞-bundles.
To emphasize this group structure, we also write for this groupoid, following SchrRob. The corresponding crossed module is
Accordingly we write or for the 2-groupoid given by the Lie crossed complex
The following proposition asserts that the general definition of principal ∞-bundles in an (∞,1)-topos applied to the coefficient object in for a Lie group does reprpduce the ordinary notion of -principal bundles.
By the discussion at model structure on simplicial presheaves we have that a cofibrant resolution for in the model for is civen by the Cech nerve of a good open cover . It follows that is the Cech cohomology of with coefficients in (see there for details).
Concretely, a cocycle
is canonically identified with a transition function
satisfying on the cocycle condition .
From this we can compute the homotopy fiber of by forming the ordinary pullback of the fibrant replacement of the point inclusion , where is the smooth groupoid
From this we find the pullback in
to be the smooth Lie groupoid
The evident projection is objectwise a surjective and full and faithful functor.
Cohomology of Lie groups
We consider the cohomology in of smooth delooping groupoids for an ordinary Lie group. This is a form of group cohomology for Lie groups.
We discuss how this relates to other definitions of Lie group cohomology in the literature.
(naive Lie group cohomology)
For a Lie group and an abelian Lie group and define to be the group of equivalence classes of cocycles given by smooth functions by coboundatries given by smooth functions subject to the usual relations.
Observe that with regarded as an object of , this is
Written this way it is evident that this definition misses to take into account any cofibrant replacement of .
A more refined definition of cohomology of Lie groups has been given by (Segal), which was later rediscovered by (Brylinski), following (Blanc). A review is in section 4 of (Schommer-Pries).
(differential Lie group cohomology)
Let be a paracompact Lie group and an abelian Lie group.
For eack we can pick a good open cover such that
the index sets arrange themselves into a simplicial set ;
and for and the images of the face and degeneracy maps of we have
For instance start with a good open cover and define a good open cover of by . And so on.
Then the differentiable Lie group cohomology of with coefficients in is the cohomology of the total complex of the Cech double complex whose differentials are the alternating sums of the face maps of and of the Cech nerves, respectively:
This is (Brylinski, definition 1.1).
As discussed there, this is equivalent to other definitions, notably to a definition given earlier in (Segal).
There is a natural map
obtained by pulling back globally defined cocycles and coboundaries to good covers.
We can understand this differentiable Lie group cohomology in terms of maps out of a certain resolution of in :
For a system of good open covers as above, we obtain a simplicial diagram of Cech nerves
which is degreewise a cofibrant resolution on of . Its totalization coend is connected by a zig-zag of weak equivalences in to
and we have
The proof of this will also show the following
Write for the intrinsic cohomology of regarded as an object of the -topos of -Lie groupoids.
There is a natural morphism
Since does satisfy descent with respect to good open covers of Cartesian spaces (every -bundle gerbe over an is trivializable), to compute the intrinsic cohomology we have to find a cofibrant replacement for .
A cofibrant replacement of any paracompact manifold in is given by the Cech nerve of a good open cover , because this is evidently a local epimorphism as described at model structure on simplicial presheaves - Cech localization.
Therefore from a choice of compatible families of open covers as in the definition of differentiable group cohomology above, we obtain cofibrant replacements
for each , and arranging themselves into a simplicial simplicial presheaf
which is cofibrant in the injective model structure on functors .
Observe that the fact that this is inded a simplicial diagram in is due to the extra compatibility condition in the above definition of differentiable Lie group cohomology.
Notice from the discussion at model structure on simplicial presheaves that we have canonically another cofibrant replacement of in which is functorial and has the special property that the diagonal
is a cofibrant replacement of . Notice that in we therefore have a zig-zag of weak equivalences
between cofibrant replacements of .
Write for the standard Bousfield-Kan cofibrant replacement of the point, hence also of , in (more discussion of this is at homotopy colimit).
Then by the fact that the coend
over the tensoring is a left Quillen bifunctor (as discussed there), we have weak equivalences in
the first one is Dugger’s cofibrant replacement mentioned above, even a global weak equivalence;
the second one is objectwise the Bousfield-Kan map, hence also even a global weak equivalence;
the zig-zag is the image under the left Quillen functor (using that is cofibrant) of the above zig-zag of weak equivalences between cofibrant objects;
the last one is again the global weak equivalence coming objectwise from the Bousfield-Kan map.
This shows the first claim, that .
Moreover, again by the left Quillen bifunctor property of we have that is cofibrant. Therefore the intrinsic cohomology is
By pullback along the Bousfield-Kan map we have a natural morphism
It remains to show that the set on the left is the differentiable Lie group cohomology.
For that observe that is in the image of the Dold-Kan correspondence of the chain-complex valued presheaf to reduce the computation of this simplicial hom-complex to that of a cochain complex:
Setting here and using the Eilenberg-Zilber theorem to identify the Moore complex of the diagonal to the total complex of the double complex of Moore complexes, the claim follows.
For a Lie group and either
a discrete abelian group;
the additive Lie group of real numbers ;
the intrinsic cohomology of in coincides with the refined Lie group cohomology of (Segal/Brylinski)
In particular we have in general
and for compact also
The first statement is a special case of the above proposition about cohomology with constant coefficients.
The second statement is a special case of the more general statement that is proven at SynthDiff∞Grpd.
The last statement follows then from the observation (Brylinski) that and the classical result (Blanc) that in positive degree, and using the fiber sequence induced from the short exact sequence of abelian groups .
Smooth principal 1-bundles and 2-bundles
Let be a Lie group and its delooping as discussed above. Let be a paracompact smooth manifold. Then
is equivalent to the groupoid of smooth -principal bundles on . In particular
is the nonabelian smooth Cech cohomology of with coefficients in .
Analogously, let be a strict Lie 2-group such that is a smooth manifold and is a submersion. Then we have that
is the 2-groupoid of -principal 2-bundles, whose connected components are given by first smooth nonabelian Cech cohomology .
The first case is a special case of the second, it is sufficient to consider that.
First we argue that is fibrant in , hence that for an open cover we have a weak equivalence
for the Cech nerve of the good cover. Since the site CartSp with good open cover coverage is a Verdier site, it follows by the statements discussed at hypercover that every hypercover has a refinement by a split hypercover, which is a cofibrant resolution in . But also is a cofibrant resolution. Hence by the existence of the global model structure and using that is fibrant in , it follows that
is nonabelian degree 1 Cech cohomology on with coefficients in the 2-group . By (NikolausWaldorf, prop. 4.1) this is the singleton set on the contractible . This shows that the descent morphism in quesion is an isomorphism on .
Next, on the right is similarly the set of equivalence classes of -groupoid principal bundles. The underlying -principal bundle on the contractible is trivializable, hence , and so we have also an isomorphism on . Finally the isomorphism on is clear.
Now for an arbitrary paracompact smooth manifold and a good open cover, we have again that is a cofibrant resolution in the local model structure, hence hence by the above it follows that
By the same argument about hypercovers on Verdier sites as above, it follows that the connected components of this are
We discuss implementation in of the notion of twisted cohomology in a cohesive (∞,1)-topos.
van Kampen theorem
Paths and geometric Postnikov towers
Universal coverings and geometric Whitehead towers
Given a Lie group , we may regard it either as a topological group and form the classifying space Top ∞Grpd, or we may form its delooping Lie groupoid , as discussed in the section on Lie groups above. By the discussion in the section on geometric realization we have that under the canonical geometric realization functor
Analogous statements hold for -Lie groups. For instance by the same result we have that the circle n-groupoid maps to the Eilenberg-MacLane space
This means that given a cocycle
in integral cohomology (defining a characteristic class), it is of interest to ask of this morphism also lifts through to a morphism
Classes of examples of such lifts have been described in the section on integration of ∞-Lie algebra cocycles.
By general reasoning, the extensions/principal ∞-bundles classified by such cocycles are their homotopy fiber
in . By the theorem discussed in the section on Geometric realization we have that these two homotopy fibers correspond to each other under :
So this means with a smooth lift of a cocycle, we automatically obtain the corresponding smooth lift of the extension that it classifies (assuming that the simplicial topological group is well-sectioned). This is notably useful for finding smooth lifts of Whitehead towers. Examples of this we discuss in the following.
The smooth Whitehead tower of the orthogonal group
Let denote the orthogonal group, regarded as a Lie group. We discuss steps of the Whitehead tower of refined to .
First Stiefel-Whitney class
A lift of the first Stiefel-Whitney class to is given by the morphism
of Lie groupoids that is the delooping of the group homomorphism that sends to its signature , where if is in the connected component of (is orientation preserving as an orthogonal map) and otherwise.
We may compute the principal bundle in classified by as the ordinry pullback of , where is the groupoid .
The resulting pullback groupoid
has two objects, and morphisms of the form for . The smooth structure is that induced from .
Evidently the canonical embedding which sends a morphism for an element of the special orthogonal group is an essentially surjective functor and a full and faithful functor and hence an equivalence of -Lie groupoids.
This establishes the (∞,1)-pullback diagram
in , covering under the pullback
Second Stiefel-Whitney class
First fractional Pontryagin class
Let be the Lie algebra 3-cocycle normalized such its left-invariant continuation to a differential 3-form on is the image in deRham cohomology of a generator of .
The integration of this cocycle
is a smooth refinement of the first fractional Pontryagin class .
Therefore the homotopy fiber
is a smooth model of the string group.
Indeed, this homotopy fiber is given by the Lie string 2-group.
Compute the homotopy pullback as the ordinary limit over
By inspection, this gives the Lie 2-group whose
objects are based paths in ; the product is by concatenation of such paths;
morphisms are equivalence classes of based surfaces in labeled by some ; where two of these are equivalence if there is a ball cobounding them such that the integral of over this ball accounts for the difference in the two labels.
Here me may equivalently take thin homotopy-classes of paths and surfaces. This is indeed one of the three incarnations of the string 2-group as a strict 2-group.
Second fractional Pontryagin class
Flat -connections and local systems
We discuss the intrinsic flat cohomology in .
Cohomology with constant coefficients
Let be a paracompact smooth manifold regarded as a 0-truncated smooth -groupoid under the embedding . Let ∞Grpd be any ∞-groupoid and the coresponding discrete ∞-groupoid.
We have an equivalence of cocycle ∞-groupoids
and hence in particular an isomorphism on cohomology
This also means that
Same proof as of the analogous statement at ETop∞Grpd.
With coefficients in or
Let be the circle -Lie group as discussed above. Recall the notation and model category presentations as discussed there.
For a fibration presentation in of the canonical morphism in is given by the image under of
where at the top we have the flat Deligne complex.
It is clear that the morphism of chain complexes is an objectwise surjection and hence maps to a projective fibration under . It remains to observe that the flat Deligne complex is a presentation of :
By the discussion at ∞-cohesive site we have that is given on fibrant objects by first evaluating on the point and then extending back to a constant simplicial presheaf. By the above discussion we have that is indeed fibrant, and so a fibrant presentation of is given by the constant presheaf .
The inclusion is not yet a fibration. But by a basic fact of abelian sheaf cohomology – using the Poincare lemma – we have a global weak equivalence that factors this inclusion by the above fibration.
Flat coefficients of for a Lie group
Let be a Lie group regarded as a 0-truncated ∞-group in . Write for its Lie algebra. Write for its delooping. Recall the fibrant presentation from above.
The object has a fibrant presentation given by the groupoid of Lie-algebra valued forms
and this is such that the canonical morphism is presented by the canonical morphism of simplicial presheaves which is a fibration in .
By the discussion at ∞-cohesive site we have that is presented by the simplicial presheaf that is constant on the nerve of the one-object groupoid
for the discrete group underlying the Lie group . The canonical morphism of that into is however not a fibration.
We claim that the canonical inclusion factors the inclusion into by a weak equivalence followed by a global fibration.
To see the weak equivalence, notice that it is objectwise an equivalence of groupoids: it is essentially surjective since every flat -valued 1-form on the contractible is of the form for some function (let be the parallel transport of along any path from the origin to ). Since the gauge transformation automorphism of the trivial -valued 1-form are precisely given by the constant -valued functions, this is also objectwise a full and faithful functor.
Similarly one sees that the map is a fibration.
Finally we need to show that is fibrant in . This can be seen by observing that this sheaf is the coefficient object that in Cech cohomology computes -principal bundles with flat connection and then reasoning as above: every -principal bundle with flat connection on a Cartesian space is equivalent to a trivial -principal bundle whose connection is given by a globally defined -valued 1-form. Morphisms between these are precisely -valued functions that act on the 1-forms by gauge transformations as in the groupoid of Lie-algebra valued forms.
de Rham cohomology
We discuss the intrinsic de Rham cohomology in .
With coefficients in or
Let be the circle Lie -group, as discussed above. Recall the notation and model category presentations from the discussion there.
A fibrant representative in of the de Rham coefficent object as well as is given by the truncated de Rham complex of sheaves of abelian groups of differential forms
By definition and the fact that homotoppy pullbacks in the local structure may be computed in global structure (discussed here) the object is given, up to equivalence, by the homotopy pullback in of the inclusion along the point inclusion . We may compute this as the ordinary pullback after passing to a resolution of this inclusion by a fibration. By the above discussion of flat cohomology with coefficients in such a fibration replacement is given by the map from the flat Deligne complex. Using this we find the ordinary pullback diagram
On smooth manifolds
Let be an orientable smooth manifold regarded under the embedding .
Write for the ordinary de Rham cohomology of .
For we have isomorphisms
Let be a good open cover. By the disucssion at model structure on simplicial presheaves the Cech nerve is a cofibrant resolution of in . Therefore we have for all
The right hand is the -groupoid of cocylces in the Cech hypercohomology of the truncated complex of sheaves of differential forms. A cocycle is given by a collection
of differential forms, with , , etc. , such that this collection is annihilated by the total differential , where is the de Rham differential and the alternating sum of the pullbacks along the face maps of the Cech nerve.
It is a standard result of abelian sheaf cohomology that such cocycles represent classes in de Rham cohomology.
But for the record and since the details of this computation will show up again at some mildly subtle points in further discussion below, we spell this out in some detail.
For and our truncated de Rham complex degenerates to and , respectively, which obviously has the cohomology as claimed above.
For we can explicitly construct coboundaries connecting such a generic cocycle to one of the form
by using a partition of unity subordinate to the cover , i.e. and .
where we use that from it follows that
where I am suppressing some evident signs
By recurseively adding coboundaries this way, we can annihilate all the higher Cech-components of the original cocycle and arrive at a cocycle of the form .
Such a cocycle being -closed says precisely that for a globally defined closed differential form. Moreover, coboundaries between two cocycles both of this form
are necessarily themselves of the form with for a globally defined differential -form and .
For we have that the intrinsic de Rham cohomology of the circle n-groupoid in is concentrated in degree , where it is :
Since both domain and codomain are abelian, it will be sufficient to demonstrate the statement for , arbitrary, and for , arbitrary. All other combinations of and are then implied by repeatedly using the delooping/looping (∞,1)-adjunction on abelian objects in
Here we use that since is a right adjoint, it commutes with forming loop space objects.
Using this, the main work in proving the theorem is involved in establishing the statement for , which we now spell out. We note that this would be easy to prove if we did not have to pass to a cofibrant resolution of for computing the derived hom-space in the projectve model structure on simplicial presheaves . For then we would compute, using the above fibrant model for
where is the Dold-Kan correspondence map.
To see what this last set is, notice that if we forgot the abelian group structure, and looked at the last hom-set as one of sheaves, we find by the Yoneda lemma that is is the set of 1-forms. Among these the forms that do respect the group structure are those such that for all and all we have
A little reflection shows that this is satisfied precisely by the constant forms, i.e. those that are a linear multiple of the Maurer-Cartan form on . Hence the above hom-complex is indeed just
But is not cofibrant in . We will pass now to a cofibrant resolution and discuss that computing the homs out of that does nevertheless reduce to the above computation.
By Dugger’s construction of cofibrant replacements in the projective model structure we have that a cofibrant replacement for a simplciial presheaf is given by the diagonal of the bisimplicial presheaf which in degree has
where the coproduct ranges over all sequences of morphisms of representables into . And face and degeneracy maps are the evident ones.
So we prove now that the computation of does reduce to the above computation of morphisms out of . Write for the above cofibrant replacement.
Then a morphism is a collection of horizontal morphisms in the diagram
Explicitly, such a cocycle is
for all we have ;
for all we have
for all we have .
A coboundary between two such cocycles is
- for all a
We claim that any such cocycle is coboundant to one such that
The coboundary establishing this is given by setting
This follows from the cocycle law for for maps of the form
which asserts that
Moreover we claim that such cocycles with for all and for all have no nontrivial morphisms between them, which means that these do constitute unique representatives of their cohomology classes. This is because such a morphism would be given by a collection of closed 1-forms for each , such that in particular for all we’d have . Clearly for any choice of s, one can find such that this is not satisfied. For instance simply take , which imposes the relation explicitly.
This shows that the cohomology in question is the set of cocycles as above, satisfying the two extra constraints. Now using the cocycle law for the diagram
and using it for
In view of the above gauge condition this is equivalently
This says that in fact only depends on the domain of , hence only on the map and that as such these forms constitute the components of a morphism of sheaves
But this means that the cocycle indeed factors through and therefore the naive computation at the beginning indeed applies and shows that these cocycle are in bijection with multiples of the standard Maurer-Cartan form on , hence with , so that
The same kind of argument as above shows that for cocycles have underlying them sheaf morphisms . But all these are necessarily trivial, due to the fact that is 1-dimensional. This establishes the theorem for and arbitrary .
Finally the same argument that above showed that no nontrivial automorphisms of certain cocycles exist shows the theorem for and arbitrary , namely that no nontrivial morphisms exist: such are given by a collection of 1-forms for all , satisfyine for all possible maps the relation . If does not vanish for all , one can always find some for which this is not satisfied.
With coefficients in for a Lie group
Let be a Lie group. Write for its Lie algebra.
The object has a fibrant presentation in by the sheaf of flat Lie-algebra valued forms
By a proposition above we have a fibration in modeling the canonical inclusion . Therefore we may get a presentation for the defining (∞,1)-pullback
in by the ordinary pullback
The resulting simplicial presheaf is fibrant in because it is a sheaf.
For SmoothMfd we find the intrinsic de Rham cohomology set
is the set of smooth flat -valued differential forms on .
With coefficients in for a strict 2-group
We work out, following the general definition the coefficient object for Lie 2-algabra valued forms for a Lie crossed module.
Let now denote the inclusion of crossed complexes into all Kan complexes/∞-groupoids.
Write for the corresponding differential crossed module with action corresponding to the Lie strict 2-group crossed module with action .
The Lie 2-groupoid is represented in by the Lie 2-groupoid which on s the following 2-groupoid:
An object is a pair
A 1-morphism is a pair
The composite of two 1-morphisms
is given by the pair
a 2-morphism is a function
and composition is defined as follows
This is the 2-groupoid of Lie 2-algebra valued forms as described in definition 2.11 of SchrWalII. There are many possible conventions. The above is supposed to describe the bidual opposite 2-category of the 2-groupoid as defined in that article, with the direction of 1- and 2-morphisms reversed.
The 2-groupoid is as the one above, discarding the piece in the 1-morphisms and the piece f in the 2-morphismms.
Form the defining pullback as before. (…)
Exponentiated -Lie algebras
We discuss here the intrinsic exponentiated ∞-Lie algebras in .
We describe a presentation of the exponentiation an L-∞ algebra to a smooth -group. The following somewhat technical definition serves to control the smooth structure on these exponentiated objects.
For regard the -simplex as a smooth manifold with corners in the standard way. We think of this embedded into the Cartesian space in the standard way with maximal rotation symmetry about the center of the simplex, and equip with the metric space structure induced this way.
A smooth differential form on is said to have sitting instants along the boundary if, for every -face of there is an open neighbourhood of in such that restricted to is constant in the directions perpendicular to the -face on its value restricted to that face.
More generally, for any CartSp a smooth differential form on is said to have sitting instants if there is such that for all points the pullback along is a form with sitting instants on -neighbourhoods of faces.
Smooth forms with sitting instants form a sub-dg-algebra of all smooth forms. We write for this sub-dg-algebra.
We write for the further sub-dg-algebra of vertical differential forms with respect to the projection , hence the coequalizer
For write for the simplicial presheaf defined over CartSp and by
with the evident structure maps given by pullback of differential forms.
For references related to this definition see Lie integration .
The objects are
That follows from degree-counting: is entirely in degree 0 and is in degree 0 the ground field .
To see that has all horn-fillers over each observe that the standard continuous horn retracts are smooth away from the preimages of the -faces of .
For a differential form with sitting instants on -neighbourhoods, let therefore be the set of points of distance from any subface. Then we have a smooth function
The pullback may be extended constantly back to a form with sitting instants on all of .
The resulting assignment
provides fillers for all horns over all CartSp.
We say that the loop space object is the smooth -group exponentiating .
The objects are geometrically contractible:
Observe that every simplicial presheaf is the homotopy colimit over its component presheaves
(Use for instance the injective model structure for which is cofibrant in the Reedy model structure ).
Therefore it is sufficient to show that in each degree the 0-truncated object is geometrically contractible. To exhibit a geometric contraction, choose for each , a smooth retraction
of the -simplex: a smooth map such that and factors through the point.
We claim that this induces a diagram of presheaves
where over the middle morphism is given by
is an element of the set ,
is an element of ;
is the composite morphism
is the postcomposition of with the image of under .
Here the last item is well defined given the coequalizer definition of because is a morphism of bundles over
Similarly, for any morphism in CartSp the naturality condition for a morphism of presheaves follows from the fact that the composites of bundle morphisms
Moreover, notice that the lower morphism in our diagram of presheaves indeed factors through the point as indicated, becase for an L-∞ algebra we have that the Chevalley-Eilenberg algebra is in degree 0 the ground field algebra algebra , so that there is a unique morphism in .
Finally, since is a contractible paracompact manifold, we have that by the above proposition. Therefore the above diagram of presheaves presents a geometric homotopy in from the identity map to a map that factors through the point.
By the propositon about geometric homotopy in a cohesive (∞,1)-topos it follows that for all . And since preserves the homotopy colimit we have that , too.
For a Lie algebra
Let be an ordinary (finite dimensional) Lie algebra. Standard Lie theory (see Lie's three theorems) provides a simply connected Lie group integrating .
With regarded as a smooth ∞-group write for its delooping. Recall from above the standard presentation of this by a simplicial presheaf .
The operation of parallel transport yields a weak equivalence (in )
The proof is spelled out at Lie integration. In the section Integrating Lie algebras to Lie groups.
For a line Lie -algebra
Let , .
The discrete ∞-groupoid underlying is given by the Kan complex that in degree has the set of closed differential -forms (with sitting instants) on the -simplex
We write equivalently
We have that is a presentation of the smooth line n-group .
Concretely, with the standard presentation given under the Dold-Kan correspondence by the chain complex of sheaves concentrated in degree on the equivalence is induced by the fiber integration of differential -forms over the -simplex:
The proof of this is spelled out at Lie integration in the section Integration to line n-groups.
We consider now the flat coefficient objects of exponentiated ∞-Lie algebras .
Write for the simplicial presheaf given by
The canonical morphism in is presented in by the composite
where the first morphism is a weak equivalence and the second a fibration in .
We discuss the two morphisms in the composite separately in two lemmas.
The canonical inclusion
is a weak equivalence in .
The morphism in question is on each object the morphism of simplicial sets
which is given by pullback of differential forms along the projection .
To show that for fixed this is a weak equivalence in the standard model structure on simplicial sets we produce objectwise a left inverse
and show that this is an acyclic fibration of simplicial sets. The statement then follows by the 2-out-of-3-property of weak equivalences.
We take to be given by evaluation at , i.e. by postcomposition with the morphisms
(This of course is not natural in and hence does not extend to a morphism of simplicial presheaves. But for our argument here it need not.)
The morphism is an acyclic Kan fibration precisely if all diagrams of the form
have a lift. Using the Yoneda lemma over the simplex category and since the differential forms on the simplices have sitting instants, we may, as above, equivalently reformulate this in terms of spheres as follows:
for every morphism and morphism such that the diagram
commutes, this may be factored as
(Here the subscript ”” denotes differential forms on the disk that are radially constant in a neighbourhood of the boundary.)
This factorization we now construct.
Let first be any smoothing function, i.e. a smooth function which is surjective, non-decreasing, and constant in a neighbourhood of the boundary. Define a smooth map
where we use the multiplicative structure on the Cartesian space . This function is the identity at and is the constant map to the origin at . It exhibits a smooth contraction of .
Pullback of differential forms along this map produces a morphism
which is such that a form is sent to a form which in a neighbourhood of is constant along on the value .
(Notice that this step does not respect vertical forms. This is the crucial difference between and ).
Let now some value such that the given forms are constant a distance from the boundary of the disk. Let be given by multiplication by and the injection of the -disk of radius into the unit -disk.
We can then glue to the morphism
to the morphism
by smoothly identifying the union with (we glue a disk into an annulus to obtain a new disk) to obtain in total a morphism
with the desired properties: at the homotopy that we constructed is constant and the above construction hence restricts the forms to radius and then extends back to radius by the constant value that they had before. Away from 0 the homotopy in the rmaining bit smoothly interpolates to the boundary value.
The canonical morphism
is a fibration in .
Over each the morphism is induced from the morphism of dg-algebras
that discards all differential forms of non-vanishing degree.
It is sufficient to show that for
a morphism and
a lift of its restriction to we have an extension to a lift
From these lifts all the required lifts are obtained by precomposition with some evident smooth retractions.
The idea of the proof is that the lifts in question are obtained from solving differential equations with boundary conditions, and exist due to the existence of solutions of first order systems of partial differential equations and the Bianchi identities for flat ∞-Lie algebroid valued differential forms.
We condsider the case .
A morphism is a -parameterized family of -forms on satisfying
Consider a lift of the restriction to by a term being a morphism .
We can extend this to a morphism by lifting without adding any terms to it and solving the differential equation
equivalently for the new term
with boundary condition the given value at .
For this unique solution to be a lift we need in addition that . Since this is the case at by assumption of the lift at that end, we need to check that
But by the above this follows from the Bianchi identity, which for the special abelian case that we are considering is just the nilpotency of the de Rham differential
Now let be an ordinary Lie algebra. Choose a dual basis and structue constants . We get a discussion analogous to the above with structure constant terms thrown in:
the original element is a collection of 1-forms satisfying
We lift by adding a term that is uniquely fixed by the condition that it solves the differential equation
for given boundary value at .
We need to show that the lift found this way also satisfies the equation
By assumption, this is true at . We now show that the -derivative of this expression satisfies the Binachi-type equation
A solution to this differential equation with initial value 0 is . Since this solution is guaranteed to be unique, we will have shown our claim.
Here in the last step we use the Jacobi identity
For a general -algebra, the computation is essentially as above for the Lie algebra case only that all indices become multi-indices in a suitable sense.
For instance the structure constants now have components of arbitrary arity. But for the discussion of the lift it is still always just the components with two legs along the -, -, - direction that matter, all other indices just run along.
I’ll try to think of a convenient notation to express this.
For a line Lie -algebra
We have discussed now two different presentations for the flat coefficient object :
– discussed here;
– discusse here;
There is an evident degreewise map
that sends a closed -form to times its fiber integration .
This map yields a morphism of simplicial presheaves
which is a weak equivalence in .
First we check that we have a morphism of simplicial sets over each . Since both objects are abelian simplicial groups we may, by the Dold-Kan correspondence, check the statement for sheaves of normalized chain complexes.
Notice that the chain complex differential on the forms on simplices sends a form to the alternating sum of its restriction to the faces of the simplex. Postcomposed with the integration map this is the operation of integration over the boundary.
Conversely, first integrating over the simplex and then applying the de Rham differential on yields
where we first used that is closed, so that , and then used Stokes' theorem. Therefore we have indeed objectwise a chain map.
By the discussion of the two objects we already know that both present the homotopy type of . Therefore it suffices to show that the integration map is over each an isomorphism on the simplicial homotopy group in degree .
Clearly the morphism
is surjective on degree homotopy groups: for constant, a preimage is , the normalized volume form of the -simplex times .
Moreover, these preimages clearly span the whole homotopy group (they are in fact the images of the weak equivalence ) and the integration map is injective on them. Therefore it is an isomorphism on the homotopy groups in degree .
de Rham coefficients
We now consider the de Rham coefficient object of exponentiated L-∞ algebras .
For a representive in of the object de Rham coefficient object is the presheaf
where the notation on the right denotes the dg-algebra of differential forms on that (apart from having sitting instants on the faces of ) are along of non-vanishing degree.
By the above proposition we may present the defining (∞,1)-pullback in by the ordinary pullback
For a line Lie -algebra
We have discussed now two different presentations for the de Rham coefficient object :
– discussed here;
– discussed here;
There is an evident degreewise map
that sends a closed -form to times its fiber integration .
This map yields a morphism of simplicial presheaves
which is a weak equivalence in .
By the Dold-Kan correspondence we may check the statement for sheaves of (normalized) chain complexes.
Notice that the chain complex differential on the forms on simplices sends a form to the alternating sum of its restriction to the faces of the simplex. Postcomposed with the integration map this is the operation .
Conversely, first integrating over the simplex and then applying the de Rham differential on yields
where we first used that is closed, so that , and then Stokes' theorem.
Therefore we have indeed objectwise a chain map.
To see that it gives a weak equivalence, notice that this morphism is the morphism on pullbacks induced from the weak equivalence of diagrams
Since both of these pullbacks are homotopy pullbacks by the above discussion, the induced morphism between the pullbacks is also a weak equivalence.
Maurer-Cartan forms and curvature characteristic forms
We discuss the intrinsic Maurer-Cartan and curvature characteristic forms defined in any cohesive -topos realized in .
The canonical form on a Lie group
Let be a Lie group. Write for its Lie algebra.
Under the identification
from the above proposition, for SmoothMfd, we have that the canonical morphism
in corresponds to the ordinary Maurer-Cartan form on .
We compute the defining double (∞,1)-pullback
in as a homotopy pullback in
In the above discussion of differential coefficients we already modeled the lower -pullback square by the ordinary pullback
A standard fibration replacement of the point inclusion is (as discussed at universal principal ∞-bundle) given by replacing the point by the presheaf that assigns groupoids of the form
where on the right the commuting triangle is in and here regarded as a morphism from to . And the fibration is given by projecting out the base of these triangles.
The pullback of this along is over each the restriction of the groupoid to its set of objects, hence is the sheaf
equipped with the projection
Under the Yoneda lemma (over SmoothMfd) this identifies the morphism with the Maurer-Cartan form .
The universal curvature characteristic on
We discuss presentations of universal curvature characteristics and in by constructions in .
Recall the discussion of and of from above.
For define the simplicial presheaf
The evident projection
is a weak equivalence in . Moreover, the universal curvature characteristic
in is presented in by a span
where the horizontal morphism is the evident projection
We need to present the defining (∞,1)-pullback
by a homotopy pullback in (since (∞,1)-sheafification preserves finite (∞,1)-pullbacks it is sufficient to present the -pullback in (∞,1)-presheaves).
We claim that we have a commuting diagram
the objects are fibrant models for the corresponding objects in the above -pullback diagram;
the two right vertical morphisms are fibrations;
the two squares are pullback squares.
Therefore this is a homotopy pullback in that realizes the (∞,1)-pullback in question.
For the lower square we had discussed this already above. For the upper square the same type of reasoning applies. The main point is to find the chain complex in the top right such that it is a resolution of the point and maps by a fibration onto our model for . The top right complex is
and the vertical map out of it into is in positive degree the projection onto the lower row and in degree 0 the de Rham differential. This is manifestly surjective (by the Poincare lemma applied to each object CartSp) hence this is a fibration.
The pullback object in the top left is in this notation
and in turn the top left vertical morphism is in positive degree the projection on the lower row and in degree 0 the de Rham differential.
Notice that the evident forgetful morphism is indeed a weak equivalence.
In the section on de Rham coefficients for exponentiated Lie algebras we had discussed an equivalent presentation of most of the objects above. We now formulate the curvature characteristic in this alternative form.
We may write the simplicial presheaf from above equivalently as follows
where on the right we have the set of commuting diagrams in dgAlg of the given form, with the vertical morphisms being the canonical projections.
Write dgAlg for the Weil algebra of the line Lie n-algebra, defined to be the free commutative dg-algebra on a single generator in degree , hence the graded commutative algebra on a generator in degree and a generator in degree equipped with the differential that takes the former to the latter.
We have the following properties of
There is a canonical natural isomorphism
between dg-algebra homomorphisms from the Weil algebra of to the de Rham complex and degree- differential forms, not necessarily closed.
There is a canonical dg-algebra homomorphism and the differential -form corresponding to factors through this morphism precisely if the curvature of vanishes.
The image under
of the canonical dg-algebra morphism is a fibration in that presents the point inclusion in .
Let be the simplicial presheaf defined by
where on the right we have the set of commuting diagrams in dgAlg as indicated.
There are canonical morphisms
in , where the vertical map is given by remembering only the top horizontal morphism in the above square diagram, and the horizontal morphism is given by forming the pasting composite
This span is a presentation in of the universal curvature characteristics in .
We need to produce a fibration resolution of the point inclusion in and then show that the above is the ordinary pullback of this along .
We claim that this is achieved by the morphism
Here the simplicial presheaf on the left is that which assigns the set of arbitrary -forms (with sitting instants but not necessarily closed) on and the map is simply given by sending such an -form to the -form .
It is evident that the simplicial presheaf on the left resolves the point: since there is no condition on the forms every form on is in the image of the map of the normalized chain complex of a form on : such is given by any form that is, up to a sign, equal to the given form on one -face and 0 on all the other faces. Clearly such forms exist.
Moreover, this morphism is a fibration in , for instanxce because its image under the normalized chains complex functor is a degreewise surjection, by the Poincare lemma.
Now we observe that we have over each a double pullback diagram in Set
hence a coresponding pullback diagram of simplicial presheaves, that we claim is a presentation for the defining double (∞,1)-pullback
The bottom square is the one we already discussed for the de Rham coefficients. Since the top right vertical morphism is a fibration, also the top square is a homotopy pullback and hence exhibits the defining -pullback for curv.
The degreewise map
that sends an -form and its curvature to times its fiber integration is a weak equivalence in .
Since under homotopy pullbacks a weak equivalence of diagrams is sent to a weak equivalence. See the analagous argument above.
The canonical form on a simplicial Lie group
Above we discussed the canonical differential form on smooth -groups for the special cases where a) is a Lie group and b) where is a circle Lie n-group. These are both in turn special cases of the situation where is a Lie simplicial group. This we discuss now.
For a Lie simplicial group, the flat de Rham coefficient object is presented by the simplicial presheaf which in degree is given by , where is the Lie algebra of .
be the presheaf of simplicial groupoids which in degree is the groupoid of Lie-algebra valued forms with values in from above. As in the above discussion there we have that under the degreewise nerve this is a degreewise fibrant resolution of presheaves of bisimplicial sets
of the standard presentation of the delooping of the discrete group underlying . By the discussion at bisimplicial set we know that under taking the diagonal
the object on the right is a presentation for , because
Now observe that the morphism
is a global fibration. This is in fact true for every morphism of the form
for a simlicial action groupoid projection with a simplicial group acting on a Kan complex : we have that
On the second factor the horn filling condition is simply that of the identity map which is evidently solvable, whereas on the first factor it amounts to being a Kan fibration, hence to being Kan fibrant.
But the simplicial presheaf is indeed Kan fibrant: for a given we may use parallel transport to (non-canonically) identify
where on the right we have smooth functions that send the origin of to the neutral element. But since is Kan fibrant and has smooth global fillers (by the discussion at simplicial group one can give algebraic formulas for the fillers, which translate into smooth manps) als is Kan fibrant.
In summary this means that the defining homotopy pullback
is presented by the ordinary pullback of simplicial presheaves
For a simplicial Lie group the canonical differential form
is presented in terms of the above presentation for by the morphisms of simplicial presheaves
which is the presheaf-incarnation of the Maurer-Cartan form of the ordinary Lie group .
Continuing with the strategy of the previous proof we find a resolution of by applying the construction of The canonical form on a Lie group degreewise and then applying .
The defining homotopy pullback
for is this way presented by the ordinary pullback
of simplicial presheaves, where is the set of flat -valued forms equipped with a gauge transformation . As in the above proof one finds that the right vertical morphism is a fibration, hence indeed a resolution of the point inclusion. The pullback is degreewise that from the case of ordinary Lie groups and thus the result follows.
We can now give a simplicial description of the canonical curvature form that above we obtained by a chain complex model:
The canonical form on the circle Lie n-group
is presented by the simplicial map
which is simply the Maurer-Cartan form on in degree .
The equivalence to the model we obtained before is given by noticing the equivalence in hypercohomology of chain complexes of abelian sheaves
Flat Ehresmann connections
We discuss the realization of the general abstract concept of flat Ehresmann infinity-connections realized in . We show that when applied to an ordinary Lie group this reproduces the traditional notion of Ehresmann connection.
We discuss the intrinsic differential cohomology in
We first expose the simple special case of ordinary -principal bundles with connection in more detail. Then we turn to the general case.
Circle 0- and circle 1-bundle with connection
Circle bundles with connection
Before discussing the full theorem, it is instructive to start by looking at the special case in some detail, which is about ordinary -principal bundles with connection.
This contains in it already all the relevant structure of the general case, but the low categorical degree is more transparently written out and will allow us to pause to highlight some maybe noteworthy aspects of the situation, such as the phenomenon of pseudo-connections below.
In terms of the Dold-Kan correspondence the object is modeled in by
Accordingly we have for the double delooping the model
and for the universal principal 2-bundle
In this notation we have also the constant presheaf
Above we already found the model
In order to compute the differential cohomology by an ordinary pullback in sSet we also want to resolve the curvature characteristic morphism by a fibration. We claim that this may be obtained by choosing the resolution given by
with the morphism given by
By the Poincare lemma applied to each Cartesian space, this is indeed a fibration.
In the next section we give the proof of this (simple) claim. Here in the warmup phase we instead want to discuss the geometric interpretation of this resolution, along the lines of the section curvature characteristics of 1-bundles in the survey-part.
We have the following geometric interpretation of the above models:
And in this presentation the morphism is given over by forming the pasting composite
and picking the lowest horizontal morphism.
Here the terms mean the following:
is the 2-group , which is a groupal model for the universal U(1)-principal bundle ;
is the path 2-groupoid with homotopy class of 2-dimensional paths as 2-morphisms
the groupoids of diagrams in braces have as objects commuting diagrams in as indicated, and horizontal 2-morphisms fitting into such diagrams as morphisms.
Using the discussion at 2-groupoid of Lie 2-algebra valued forms (SchrWalII) we have the following:
For a smooth manifold, morphisms in of the form are in bijection with smooth 1-forms : the 2-functor sends a path in to the the parallel transport of along that path, and sends a surface in to the exponentiated integral of the curvature 2-form over that surface. The Bianchi identity says precisely that this assignment indeed descends to homotopy classes of surfaces, which are the 2-morphisms in .
Moreover 2-morphisms of the form in are in bijection with pairs consisting of a and a 1-form such that .
And finally 3-morphisms are in bijection with such that and .
By the same reasoning we find that the coefficient object for flat -valued differential cohomology is
So by the above definition of differential cohomology in we find that -differential cohomology of a paracompact smooth manifold is given by choosing any good open cover , taking to be the Cech nerve, which is then a cofibrant replacement of in and forming the ordinary pullback
(because the bottom vertical morphism is a fibration, by the fact that our model for is a fibration, that is cofibrant and using the axioms of the sSet-enriched model category ).
A cocycle in is
a collection of functions
satsifying on ;
a collection of 1-forms
a collection of 1-forms
The curvature-morphism takes such a cocycle to the cocycle
in the above model for intrinsic de Rham cohomology.
Every cocycle with nonvanishing is in coboundant to one with vanishing
The first statements are effectively the definition and the construction of the above models. The last statement is as in the above discussion of our model for ordinary de Rham cohomology: given a cocycle with non-vanishing closed , pick a partition of unity subordinate to the chosen cover and the coboundary given by . This connects with the cocycle where
So in total we have found the following story:
In order to compute the curvature characteristic form of a Cech cohomology cocycle of a -principal bundle, we first lift it
to an equivalent -cocycle, and this amounts to putting (the Cech-representatitve of) a pseudo-connection on the -principal bundle.
From that lift the desired curvature characteristic is simply projected out
and we find that it lives in the sheaf hypercohomology that models ordinary de Rham cohomology.
Therefore we find that in each cohomology class of curvatures, there is at least one representative which is an ordinary globally defined 2-form. Moreover, the pseudo-connections that map to such a representative are precisely the genuine connections, those for which the -part of the cocycle vaishes.
So we see that ordinary connections on ordinary circle bundles are a means to model the homotopy pullback
in a 2-step process: first the choice of a pseudo-connection realizes the bottom horizontal morphism as an anafunctor, and then second the restriction imposed by forming the ordinary pullback chooses from all pseudo-connections precisely the genuine connections.
The general version of this story is discussed in detail at differential cohomology in an (∞,1)-topos – Local (pseudo-)connections.
Circle bundles with pseudo-connection
In the above discussion of extracting ordinary connections on ordinary -principal bundles from the abstract topos-theoretic definition of differential cohomology, we argued that a certain homotopy pullback may be computed by choosing in the Cech-hypercohomology of the complex of sheaves over a manifold those cohomology representatives that happen to be represented by globally defined 2-forms on . We saw that the homotopy fiber of pseudo-connections over these 2-forms happened to have connected components indexed by genuine connections.
But by the general abstract theory, up to isomorphism the differential cohomology computed this way is guaranteed to be independent of all such choices, which only help us to compute things.
To get a feeling for what is going on, it may therefore be useful to re-tell the analgous story with pseudo-connections that are not genuine connections.
By the very fact that is a weak equivalence, it follows that every pseudo-connection is equivalent to an ordinary connection as cocoycles in .
If we choose a partition of unity subordinate to the cover , then we can construct the corresponding coboundary explicitly:
let be an arbitrary pseudo-connection cocycle. Consider the Cech-hypercohomology coboundary given by . This lands in the shifted cocycle
and we can find the new pseudo-components by
Using the computation
we find that these indeed vanish.
The most drastic example for this is a lift of a cocycle in
is one which takes all the ordinary curvature forms to vanish identically
This fixes the pseudo-components to be . By the above discussion, this pseudo-connection with vanishing connection 1-forms is equivalent, as a pseudo-connection, to the ordinary connection cocycle with connection forms . This is a standard formula for equipping -principal bundles with Cech cocycle with a connection.
We saw above that the intrinsic coefficient object yields ordinary de Rham cohomology in degree . For we have that is given simply by the 0-truncated sheaf of 1-forms, . Accordingly we have for a paracompact smooth manifold
instead of .
There is a good reason for this discrepancy: for the object is the recipient of the intrinsic curvature characteristic morphism
For a cocycle (an -gerbe without connection), the cohomology class of the composite is precisely the obstruction to the existence of a flat extension for the original cocycle.
For this is the usual curvature 2-form of a line bundle, for it is curvature 3-form of a bundle gerbe, etc. But for we have that the original cocycle is just a map of spaces
This can be understoody as a cocycle for a groupoid principal bundle, for the 0-truncated groupoid with as its space of objects. Such a cocycle extends to a flat cocycle precisely if is constant as a function. The corresponding curvature 1-form is and this is precisely the obstruction to constancy of already, in that is constant if and only if vanishes. Not (necessarily) if it vanishes in de Rham cohomology .
This is the simplest example of a general statement about curvatures of higher bundles: the curvature 1-form is not subject to gauge transformations.
Circle -bundles with connection
Recall the definition of the intrinsic differential cohomology on with coefficients in as the (∞,1)-pullback
in ∞Grpd, where the morphism on the right picks one base point in each connected component.
For a paracompact smooth manifold we have
Here on the right we have the subset of Deligne cocycles that picks for each integral de Rham cohomology class of only one curvature form representative.
If we make use of the explicit presentation of by the model structure on simplicial presheaves and the explicit presentation for by ordinary differential forms, as above we may replace the right morphism in this pullback by and consider the (∞,1)-pullback
For a paracompact smooth manifold we have that
is the ordinary Deligne cohomology of in degree .
Choose a differentiably good open cover and let in be the corresponding Cech nerve projection, a cofibrant resolution of .
Since the above model for the intrinsic is a fibration and is cofibrant, also
is a Kan fibration by the fact that is an simplicial model category. Therefore the homotopy pullback is computed as an ordinary pullback.
By the above discussion of de Rham cohomology we have that we can assume the morphism picks only cocycles represented by globally defined closed differential forms .
By the nature of the chain complexes , we see that the elements in the fiber over such a globally defined -form are precisely the cocycles with values only in the “upper row complex” of
such that is the differential of the last term.
This is the complex of sheaves that defines Deligne cohomology in degree .
We discuss how the general abstract definition of differential cohomology in reproduces on general grounds the abstract properties of the traditional definition of ordinary differential cohomology.
For a smooth manifold, the cohomology classes of the cocycle -groupoid defined by the homotopy pullback
fit, with their canonical abelian group structure, into the two characteristic short exact sequences of ordinary differential cohomology:
For the first sequence, the characteristic class exact sequence, use this general proposition from the discussion at cohesive (∞,1)-topos . This says that over the vanishing curvature form we have the short exact sequence
where we used that on the paracompact space and that because exact forms are in particular closed integral forms (with periods ). Looking at instead of , we get in the fibers one such contribution per closed -form trivial in de Rham cohomology, hence per arbitrary -form with
But this is the fiber sequence in question.
For the second sequence, the curvature exact sequence, this general proposition from the discussion at cohesive (∞,1)-topos , which implies that we have a short exact sequence
Then use prop. 1, which says that .
Presentation by exponentiated -Lie algebras
The morphism given by fiber integration of differential forms over the simplex factor fits into a diagram
where the vertical morphisms are weak equivalences.
Fiber integration induces a weak equivalence
Observe that is the pullback of along the evident forgetful morphism from
This forgetful morphism is evidently a fibration (because it is a degreewise surjection under Dold-Kan), hence this pullback models the homotopy fiber of . Since by the above fiber integration gives a weak equivalence of pulback diagrams the claim follows.
Write for the sub-presheaf which over is the set of those forms on such that the curvature has no leg along .
In summary this gives us the following alternative perspective on connections on -principal ∞-bundles: such a connection is a cocycle with values in the -quotient of the -coskeleton of the simplicial presheaf which over is the set of diagrams of dg-algebras
where the restriction to the top morphism is the underlying cocycle and the restriction to the bottom morphism the curvature form.
The generalization to such diagram cocycles from to general ∞-Lie algebras we discuss below in ∞-Lie algebra valued connections.
Over unoriented base objects
The higher holonomy of a circle -bundle with connection is well defined only over oriented smooth manifolds. In the unorientable or even unoriented case, extra structure is needed to define it.
See orientifold for more.
Chern-Weil homomorphism and -connections
We discuss the general abstract notion of Chern-Weil homomorphism and ∞-connections realized in .
Recall that for a smooth -groupoid regarded as a coefficient object for cohomology, for instance the delooping of an ∞-group we have abstractly that
a characteristic class on with coefficients in the circle Lie n-group is represented by a morphism
the (unrefined) Chern-Weil homomorphism induced from this is the differential characteristic class given by the composite
with the universal curvature characteristic on , or rather: is the morphism on cohomology
induced by this.
the ∞-connections with coefficients in are the cocycles in the ∞-groupoid that universally lifts these differential classs in de Rham cohomology to full differential cohomology, in that it universally fills the diagrams
Above we have discussed a presentation of the universal curvature class by a span
in the model structure on simplicial presheaves , given by maps of smooth families of differential forms.
We now insert this in the above general abstract definition of the -Chern-Weil homomorphism to deduce a presentation of that in terms of smooth families of ∞-Lie algebroid valued differential forms.
The main step is the construction of a well-suited composite of two spans of morphisms of simplicial presheaves (of two ∞-anafunctors): we consider presentations of characteristic classes in the image of the ∞-Lie integration map and presented by trunactions and quotients of morphisms of simplicial presheaves of the form
Then, using the above, the composite differential characteristic class is presented by the zig-zag
of simplicial presheaves. In order to efficiently compute which morphism in this presents we need to construct – preferably naturally in the L-∞ algebra – a simplicial presheaf that fills this diagram as follows:
Given this, serves as a new resolution of for which the composite differential characteristic class is presented by the ordinary composite of morphisms of simplicial presheaves .
This object we shall see may be interpreted as the coefficient for pseudo ∞-connections with values in .
There is however still room to adjust this presentation such as to yield in each cohomology class special nice cocycle representatives. This we will achieve by finding naturally a subobject whose inclusion is an isomorphism on connected components and restricted to which the morphism yields nice representatives in the de Rham hypercohomology encoded by , namely globally defined differential forms. On this object the differential characteristic classes we will show factors naturally through the refinements to differential cohomology, and hence is finally identified as a presentation for the the coefficient object for ∞-connections with values in .
We discuss presentations for the differential characteristic classes in the image of ∞-Lie integration.
Let be an L-∞ algebra.
Every -algebra cocycle induces canonically a morphism of simplicial presheaves of exponentiated L-∞-algebras
given componentwise by postcomposition with the image of under
The Weil algebra is the unique representative of the free dg-algebra on the chain complex underlying such that the canonical projection extends to a dg-algebra homomorphism
For define the simplicial presheaf by
where on the left we have the set of commuting diagrams in dgAlg as indicated, with the vertical morphisms being the canonical projections.
The canonical projection
is an acyclic fibration in .
Moreover, for every -algebra cocycle it fits into a commuting diagram
for some morphism .
Both claims follow from the free property of the Weil algebra.
For the first, we need to show that for all CartSp we have lifts in all diagrams of the form
The bottom morphism is a collection of differential forms on (with sitting instants), satisfying a flatness condition for their -differentials. The top morphism is a collection of forms on with no flatness constraint except that those with no component along coincide with the restriction of those of the bottom morphism to the boundary . These latter extend to a unique lift to the interior of the simplex. The remaining forms may be smoothly interpolated for instance to 0 in the interior of the simplex, while keeping at least one leg along . Since for the top morphism there is no condition on the differentials, any choice will do.
For the second claim, let be the underlying morphism on chain complexes of . Then we have the free dg-algebra homomorphism fitting into the commutative diagram
Pasting-precomposition with this diagram yields a morhism as desired.
Let be an n-group given by Lie integration of an L-∞ algebra , in that the delooping object is presented by the -coskeleton simplicial presheaf .
Then for any object and a cofibrant resolution, we say that
is the Kan complex of pseudo n-connections on -principal ∞-bundles.
We discuss presentations in of the the intrinsic notion of ∞-connections in .
Let still be an L-∞ algebra.
An invariant polynomial on is an element such that both as well as are elements in the graded subalgebra generated by the shifted generators ;
Write for the sub-dg-algebra of invariant polynomials.
For the line Lie n-algebra we have
This allows us to identify an invariant polynomial of degree with a morphism
We say an invariant polynomial on is in transgression with an L-∞ algebra cocycle if there is a morphism such that we have a commuting diagram
We say that is a Chern-Simons element exhibiting the transgression between and .
We say that an -algebra cocycle is transgressive if it is in transgression with some invariant polynomial.
There is a transgressive cocycle for every invariant polynomial.
Any two -algebra cocycles in transgression with the same invariant polynomial are cohomologous.
Every decomposable invariant polynomial (the wedge product of two non-vanishing invariant polynomials) transgresses to a cocycle cohomologous to 0.
By the fact that the Weil algebra is free, its cochain cohomology vanishes and hence the definition property implies that there is some element such that . Then the image of along the canonical dg-algebra homomorphism is -closed hence is a cocycle on . This is by construction in transgression with .
Let and be Chern-Simons elements for the to given -algebra cocycles. Then by assumption . By the acyclicity of there is then such that .
Since is a dg-algebra homomorphism this implies that also .
Given two nontrivial invariant polynomials and let be any element such that . Then satisfies . By the first observation the restriction of to is therefore a cocycle in transgression with . But by the definition of invariant polynomials the restriction of vanishes, and hence so does that of . The claim the follows with the second point above.
Define the simplicial presheaf by the assignment
where on the right we have the set of horizontal morphisms in dgAlg making commuting diagrams with the canonical vertical morphisms as indicated.
We call the curvature characteristic forms of .
be the presentation, as above, of the product of all differential refinements of characteristic classes on induced from Lie integration of transgressive L-∞ algebra cocycles.
We have that is the pullback in of the globally defined closed forms along the curvature characteristics induced by all transgressive -algebra cocycles:
By the above proposition we have that the bottom horizontal morphims sends over each and for each an element
of to the composite
regarded as an element in . The right vertical morphism from the constant simplicial set of closed -forms on picks precisely those of these elements for which is a basic form on the -bundle in that it is in the image of the pullback .
Higher holonomy and Chern-Simons functional
For standard references on differential geometry and Lie groupoids see there.
The -topos is discussed in section 3.3 of
A discussion of smooth -groupoids as -sheaves on and the presentaton of the -Chern-Weil homomorphism on these is in
For references on Chern-Weil theory in Smooth∞Grpd and connection on a smooth principal ∞-bundle, see there.
The results on differentiable Lie group cohomology used above are in
- P. Blanc, Cohomologie différentiable et changement de groupes Astérisque, vol. 124-125 (1985), pp. 113-130.
- Graeme Segal, Cohomology of topological groups , Symposia Mathematica, Vol IV (1970) (1986?) p. 377
A review is in section 4 of
Classification of topological principal 2-bundles is discussed in
and the generalization to classification of smooth principal 2-bundles is in