Ordinary Chern-Weil theory studies connections on -principal bundles over a Lie group . In the context of the cohesive (∞,1)-topos Smooth∞Grpd of ∞-Lie groupoids these generalize to ∞-connections on principal ∞-bundles over ∞-Lie groups . Accordingly ∞-Chern-Weil theory deals with these higher connections and their relation to ordinary differential cohomology.
Here we describe some introdutcory basics of the general theory in concrete terms.
See ∞-Chern-Weil theory – motivation for some motivation.
Two simplifying special cases of general -Chern-Weil theory are obtained by
restricting attention to low categorical degree ,
studying principal 1-bundles, principal 2-bundles and maybe 3-bundles; in terms of groupoids, 2-groupoids and maybe 3-groupoids;
restricting attention to infinitesimal aspects
studying not ∞-Lie groupoids but just their ∞-Lie algebroids. In terms of this it is easy to raise categorical degree to , but this misses various global cohomological effects (very similar to how rational homotopy theory describes just non-torsion phenomena of genuine homotopy theory).
These are the special cases that this introduction concentrates on.
We start by describing
for low in detail, connecting them to standard theory, but presenting everything in such as way as to allow straightforward generalization to the full discussion of principal ∞-bundles.
Then in the same spirit we discuss
for low in a fashion that connects to the ordinary notion of parallel transport and points the way to the fully-fledged formulation in terms of the path ∞-groupoid functor.
This leads to differential-form expressions that we shall then finally reformulate in terms of
We end by indicating how under Lie integration this lifts to the full ∞-Chern-Weil theory.
We assume here that the reader has a working knowledge of groupoids and at least a rough idea of 2-groupoids. We first use these notions to motivate some constructions, before discussing the formalization of ∞-groupoid in terms of Kan complexes.
Let be a Lie group and a smooth manifold (all our smooth manifolds are assumed to be finite dimensional and paracompact).
We give a discussion of smooth -principal bundles on in a manner that paves the way to a straightforward generalization to a description of principal ∞-bundles.
From the group we canonically obtain a groupoid that we write and call the delooping groupoid of . Formally this groupoid is
with composition induced from the product in . A useful cartoon of this groupoid is
where the are elements in the group, and the bottom morphism is labeled by forming the product in the group. (The order of the factors here is a convention whose choice, once and for all, does not matter up to equivalence.)
But we get a bit more, even. Since is a Lie group, there is smooth structure on that makes it a Lie groupoid, an internal groupoid in the category Diff of smooth manifolds: its collections of objects (trivially) and of morphisms each form a smooth manifold, and all structure maps (source, target, identity, composition) are smooth functions. We shall write
for regarded as equipped with this smooth structure. Here and in the following the boldface is to indicate that we have an object equipped with a bit more structure – here: smooth structure – than present on the object denoted by the same symbols, but without the boldface. Eventually we will make this precise by having the boldface symbols denote objects in the (∞,1)-topos Smooth∞Grpd which are taken by forgetful functors to objects in ∞Grpd denoted by the corresponding non-boldface symbols.1
Also the smooth manifold may be regarded as a Lie groupoid – a groupoid with only identity morphisms. Its cartoon description is simply
But there are other groupoids associated with :
Let be an open cover of . To this is canonically associated the Cech groupoid . Formally we may write this groupoid as
A useful cartoon description of this groupoid is
This indicates that the objects of this groupoid are pairs consisting of a point and a patch that contains , and a morphism is a triple consisting of a point and two patches, that both contain the point, in that . The triangle in the above cartoon symbolizes the evident way in which these morphisms compose. All this inherits a smooth structure from the fact that the are smooth manifolds and the inclusions are smooth functions. hence also becomes a Lie groupoid.
There is a canonical functor
This functor is an internal functor in Diff and moreover it is evidently essentially surjective and full and faithful.
However, while essential surjectivity and full-and-faithfulness implies that the underlying bare functor has a homotopy-inverse, that homotopy-inverse never has itself smooth component maps, unless itself is a Cartesian space and the chosen cover is trivial.
We do however want to think of as being equivalent to even as a Lie groupoid. One says that a smooth functor whose underlying bare functor is an equivalence of groupoids is a weak equivalence of Lie groupoids, which we write as . Moreover, we shall think of as a good equivalent replacement of if it comes from a cover that is in fact a good open cover in that all its non-empty finite intersections are diffeomorphic to the Cartesian space .
We shall discuss later in which precise sense this condition makes good in the sense that smooth functors out of model the correct notion of morphism out of in the context of smooth groupoids (namely it will mean that is cofibrant in a suitable model category structure on the category of Lie groupoids). The formalization of this statement is what (∞,1)-topos theory is all about, to which we will come. For the moment we shall be content with accepting this as an ad hoc statement.
Observe that a functor
is given in components precisely by a collection of functions
such that on each the equality of smooth functions holds:
It is well known that such collections of functions characterize -principal bundles on . While this is a classical fact, we shall now describe a way to derive it that is true to the Lie-groupoid-context and that will make clear how smooth principal -bundles work.
First observe that in total we have discussed so far spans of smooth functors of the form
Such spans of functors, whose left leg is a weak equivalence, are sometimes known, essentially equivalently, as Morita morphisms or generalized morphisms of Lie groupoids, as Hilsum-Skandalis morphisms or groupoid bibundles, or as anafunctors. We are to think of these as concrete models for more intrinsically defined direct morphisms in the -topos of -Lie groupoids.
Now consider yet another Lie groupoid canonically associated with : we shall write for the groupoid whose formal description is
with the evident composition operation. The cartoon description of this groupoid is
This again inherits an evident smooth structure from the smooth structure of and hence becomes a Lie groupoid.
There is an evident forgetful functor
which sends
Consider then the pullback diagram
in the category . The object is the Lie groupoid whose cartoon description is
where there is a unique morphism as indicated, whenever the group labels match as indicated. Due to this uniqueness, this Lie groupoid is weakly equivalent to one that comes just from a manifold (it is 0-truncated)
This is traditionally written as
where the equivalence relation is precisely that exhibited by the morphisms in . This is the traditional way to construct a -principal bundle from cocycle functions . We may think of as being . It is a particular representative of in the -topos of Lie groupoids.
While it is easy to see in components that the obtained this way does indeed have a principal -action on it, for later generalizations it is crucial that we can also recover this in a general abstract way. For notice that there is a canonical action
given by the action of on the space of objects, which are themselves identified with .
Then consider the pasting diagram of pullbacks
The morphism exhibits the principal -action of on .
In summary we find
For a good open cover, there is an equivalence of categories
between the functor category of smooth functors and smooth natural transformations, and the groupoid of smooth -principal bundles on .
It is no coincidence that this statement looks akin to the maybe more familiar statement which says that equivalence classes of -principal bundles are classified by homotopy-classes of morphisms of topological spaces
where Top is the topological classifying space of . The category Top of topological spaces, regarded as an (∞,1)-category, is the archetypical (∞,1)-topos the way that Set is the archetypical topos. And it is equivalent to ∞Grpd, the -category of bare ∞-groupoids. What we are seeing above is a first indication of how cohomology of bare -groupoids is lifted to a richer -topos to cohomology of -groupoids with extra structure.
In fact, all of the statements that we have considered so far become conceptually simpler in the -topos. We had already remarked that the anafunctor span is really a model for what is simply a direct morphism in the -topos. But more is true: that pullback of which we considered is just a model for the homotopy pullback of just the point
The discussion above of -principal bundles was all based on the Lie groupoids and that are canonically induced by a Lie group . We now discuss the case where is generalized to a Lie 2-group. The above discussion will go through essentially verbatim, only that we pick up 2-morphisms everywhere. This is the first step towards higher Chern-Weil theory. The resulting generalization of the notion of principal bundle is that of principal 2-bundle. For historical reasons these are known in the literature often as gerbes or as bundle gerbes.
Write for the circle group. We have already seen above the groupoid obtained from this. But since is an abelian group this groupoid has the special property that it still has itself the structure of an group object. This makes it what is called a 2-group. Accordingly, we may form its delooping once more to arrive at a Lie 2-groupoid .
Its cartoon picture is
for . Both horizontal composition as well as vertical composition of the 2-morphisms is given by the product in .
Let again be a smooth manifold with good open cover . The corresponding Cech groupoid we may also think of as a Lie 2-groupoid,
What we see here are the first stages of the full Cech nerve of the cover. Eventually we will be looking at this object in its entirety, since for all degrees this is always a good replacement of the manifold , as long as is a good open cover.
So we look now at 2-anafunctors given by spans
of internal 2-functors. These will model direct morphisms in the -topos. It is straightforward to read off that the smooth 2-functor is given by the data of a 2-cocycle in the Cech cohomology of with coefficients in . On 2-morphisms it specifies an assignment
that is given by a collection of smooth functions
On 3-morphisms it gives a constraint on these functions, since there are only identity 3-morphisms in :
This cocycle condition
is that known from Cech cohomology.
In order to find the circle principal 2-bundle classified by such a cocycle by a pullback operation as before, we need to construct the 2-functor that exhibits the universal principal 2-bundle over . The right choice for – which we justify systematically in a moment – is indicated by
for , where all possible composition operations are given by forming the product of these labels in . The projection is the obvious one that simply forgets the labels of the 1-morphisms and just remembers the labels of the 2-morphisms.
Let be a Cech cocycle as above. By the discussion of universal n-bundles we find the corresponding total space object as the pullback
Unwinding what this means, we see that is the 2-groupoid whose objects are that of , whose morphisms are finite sequences of morphisms in , each equipped with a label , and whose 2-morphisms are generated from those that look like
subject to the condition that
in . As before for principal 1-bundles , where we saw that the analogous pullback 1-groupoid was equivalent to the 0-groupoid , here we see that this 2-groupoid is equivalent to the 1-groupoid
with composition law
This is a groupoid central extension
Centrally extended groupoids of this kind are known in the literature as bundle gerbes (over the surjective submersion ). They may be thought of as given by a line bundle
over the space of morphisms, and a line bundle morphism
that satisfies an evident associativity law, equivalent to the cocycle codition on .
So we see that bundle gerbes are presentations of Lie groupoids that are total spaces of -principal 2-bundles.
This is clearly the beginning of a pattern. Next we can form one more delooping and produce the Lie 3-groupoid . A cocycle classifies a circle 3-bundle . The total space object in the pullback
is essentially what is known as a bundle 2-gerbe.
Above we saw -principal 2-bundles. The groupoid is a special case of what is called a Lie 2-group, which is a group object in Lie groupoids.
An example of a nonabelian Lie 2-group is the string Lie 2-group , which sits in a fiber sequence of Lie 2-groups of the form
A quick way to understand the meaning of this 2-group is from the fact that:
Fact. Given a spin group-principal bundle , its Pontryagin class classifies a circle 3-bundle (a bundle 2-gerbe) called the Chern-Simons circle 3-bundle. The nontriviality of this is precisely the obstruction to lifting the -principal bundle to a -principal 2-bundle.
Again, we can construct Lie 2-groupoids equivalent to the total space of a -principal 2-bundle classified by a cocycle by forming the pullback.
These groupoids are in the literature known as nonabelian bundle gerbe.
We have seen above that the theory of ordinary smooth principal bundles is naturally situated within the context of Lie groupoids, and then that the theory of smooth principal 2-bundles is naturally situated within the theory of Lie 2-groupoids. This is clearly the beginning of a pattern in higher category theory where in the next step we see smooth 3-groupoids and so on. Finally the general theory of principal ∞-bundles deals with smooth ∞-groupoids.
A comprehensive discussion of such ∞-Lie groupoids is given there. In this introduction here we will just briefly describe the main tool for modelling these and describe principal -bundles in this model. See also models for ∞-stack (∞,1)-toposes.
We first look at bare ∞-groupoids and then discuss how to equip these with smooth structure.
An ∞-groupoid is first of all supposed to be a structure that has k-morphisms for all , which for go between -morphisms. A useful tool for organizing such collections of morphisms is the notion of a simplicial set. This is a functor on the opposite category of the simplex category , whose objects are the abstract cellular -simplices, denoted or for all , and whose morphisms are all ways of mapping these into each other. So we think of such a simplicial set given by a functor
as specifying
a set of objects;
a set of morphism;
a set of 2-morphism;
a set of 3-morphism;
and generally
as well as specifying
functions that send -morphisms to their boundary -morphisms;
functions that send -morphisms to identity -morphisms on them.
The fact that is supposed to be a functor enforces that these assignments of sets and functions satisfy conditions that make consistent our interpretation of them as sets of -morphisms and source and target maps between these. These are called the simplicial identities.
But apart from this source-target matching, a generic simplicial set does not yet encode a notion of composition of these morphisms.
For instance for the simplicial set consisting of two attached 1-cells
and for an image of this situation in , hence a pair of two composable 1-morphisms in , we want to demand that there exists a third 1-morphisms in that may be thought of as the composition of and . But since we are working in higher category theory (and not to be evil), we want to identify this composite only up to a 2-morphism equivalence
From the picture it is clear that this is equivalent to demanding that for the obvious inclusion of the two abstract composable 1-morphisms into the 2-simplex we have a diagram of morphisms of simplicial sets
A simplicial set where for all such a corresponding such exists may be thought of as a collection of higher morphisms that is equipped with a notion of composition of adjacent 1-morphisms.
For the purpose of describing groupoidal composition, we now want that this composition operation has all inverses. For that purpose, notice that for
the simplicial set consisting of two 1-morphisms that touch at their end, hence for
two such 1-morphisms in , then if had an inverse we could use the above composition operation to compose that with and thereby find a morphism connecting the sources of and . This being the case is evidently equivalent to the existence of diagrams of morphisms of simplicial sets of the form
Demanding that all such diagrams exist is therefore demanding that we have on 1-morphisms a composition operation with inverses in .
In order for this to qualify as an -groupoid, this composition operation needs to satisfy an associativity law up to coherent 2-morphisms, which means that we can find the relevant tetrahedras in . These in turn need to be connected by pentagonators and ever so on. It is a nontrivial but true and powerful fact, that all these coherence conditions are captured by generalizing the above conditions to all dimensions in the evident way:
let be the simplicial set – called the th -horn – that consists of all cells of the -simplex except the interior -morphism and the th -morphism.
Then a simplicial set is called a Kan complex, if for all images of such horns in , the missing two cells can be found in - in that we can always find a horn filler in the diagram
The basic example is the nerve of an ordinary groupoid , which is the simplicial set with being the set of sequences of composable morphisms in . The nerve operation is a full and faithful functor from 1-groupoids into Kan complexes and hence may be thought of as embedding 1-groupoids in the context of general ∞-groupoids.
But we need a bit more than just bare ∞-groupoids. In generalization to Lie groupoids, we need ∞-Lie groupoids. A useful way to encode that an -groupoid has extra structure modeled on geometric test objects that themselves form a category is to remember the rule which for each test space in produces the -groupoid of -parameterized families of -morphisms in . For instance for an ∞-Lie groupoid we could test with each Cartesian space and find the -groupoids of smooth -parameter families of -morphisms in .
This data of -families arranges itself into a presheaf with values in Kan complexes
hence with values in simplicial sets. This is equivalently a simplicial presheaf of sets. The functor category on the opposite category of the category of test objects serves as a model for the (∞,1)-category of -groupoids with -structure.
While there are no higher morphisms in this functor 1-category that could for instance witness that two -groupoids are not isomorphic, but still equivalent, it turns out that all one needs in order to reconstruct all these higher morphisms (up to equivalence!) is just the information of which morphisms of simplicial presheaves would become invertible if we were keeping track of higher morphism. These would-be invertible morphisms are called weak equivalences and denoted .
For common choices of there is a well-understood way to define the weak equivalences , and equipped with this information the category of simplicial presheaves becomes a category with weak equivalences . There is a well-developed but somewhat intricate theory of how exactly this 1-cagtegorical data models the full higher category of structured groupoids that we are after, but for our purposes we essentially only need to work inside the category of fibrant objects of a model category structure on simplicial presheaves, which in practice amounts to the fact that we use the following three basic constructions:
∞-anafunctors – A morphisms between -groupoids with -structure is not just a morphism in , but is a span of such ordinary morphisms
where the left leg is a weak equivalence. This is sometimes called an -anafunctor from to .
homotopy pullback – For a diagram, the (∞,1)-pullback of it is the ordinary pullback in of a replacement diagram , where is a good replacement of in the sense of the following factorization lemma.
factorization lemma – For a morphism in , a good replacement is given by the composite vertical morphism in the ordinary pullback diagram
where is the path object of : the simplicial presheaf that is over each the simplicial path space .
The principal ∞-bundles that we wish to model are already the main and simplest example of the application of these three items:
Consider an object which is an -groupoid with a single object, so that we may think of it as the delooping of an ∞-group , let be the point and the unique inclusion map. The good replacement of this inclusion morphism is the -universal principal ∞-bundle given by the pullback diagram
An ∞-anafunctor we call a cocycle on with coefficients in , and the (∞,1)-pullback of the point along this cocycle, which by the above discussion is the ordinary limit
we call the principal ∞-bundle classified by the cocycle.
It is now evident that our discussion of ordinary smooth principal bundles above is the special case of this for the nerve of the one-object groupoid associated with the ordinary Lie group .
So we find the complete generalization of the situation that we already indicated there, which is summarized in the following diagram:
With a decent handle on principal -bundles as described above we now turn to the description of connections on ∞-bundles. It will turn out that the above cocycle-description of -principal -bundles in terms of ∞-anafunctors has, under mild conditions, a natural generalization where is replaced by a non-concrete simplicial presheaf which we may think of as the ∞-groupoid of ∞-Lie algebra valued forms. This comes with a canonical map and an -connection on the -bundle classified by is a lift of in the disgram
In the language of ∞-stacks we may think of as the -stack (on CartSp) or -prestack (on Diff) of trivial -principal bundles, and of correspondingly as the object of trivial -principal bundles with (non-trivial) connection. In this sense the statement that -connections are cocycles with coefficients in some is a tautology. The real questions are:
What is in concrete formulas?
Why are these formulas what they are? What is the general abstract concept of an -connection? What are its defining abstract properties?
A comprehensive answer to the second question is provided by the general abstract concept of differential cohomology in a cohesive topos. Here in this introduction we will not go into the full abstract theory, but using classical tools we get pretty close. What we describe is a generalization of the concept of parallel transport to higher parallel transport. As we shall see, this is naturally expressed in terms of ∞-anafunctors out of path n-groupoids. This reflects how the full abstract theory arises in the context of an ∞-connected (∞,1)-topos that comes canonically with a notion of fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos.
Below we begin the discussion of -connections by reviewing the classical theory of connection on a bundle in a way that will make its generalization to higher connections relatively straightforward:
In an analogous way we can then describe certain classes of connections on a 2-bundle – subsuming the notion of connection on a bundle gerbe – in
With that in hand we then revisit the discussion of connections on ordinary bundles. By associating to each bundle with connection its corresponding curvature 2-bundle with connection we obtain a more refined description of connections on bundles, one that is naturally adapted to the construction of curvature characteristic forms in the Chern-Weil homomorphism:
This turns out to be the kind of formulation of connections on an ∞-bundle that drops out of the general abstract theory described at ∞-Chern-Weil homomorphism. In classical terms, its full formulation involves the description of circle n-bundles with connection in terms of Deligne cohomology and the description of the ∞-groupoid of ∞-Lie algebra valued forms in terms of dg-algebra homomorphisms. The first aspect we discuss in
the second in
The combination of these two aspects yields naturally an explicit model for the Chern-Weil homomorphism and its generalization to higher bundles:
Taken together, these constructions allow us to express a good deal of the general -Chern-Weil theory with classical tools. As an example, we describe how the classical Cech-Deligne cocycle construction of the refined Chern-Weil homomorphism (by (BrylinskiMacLaughlin)) drops out from these constructions:
There are different equivalent definitions of the classical notion of a connection. One that is useful for our purposes is that a connection on a -principal bundle is a rule for parallel transport along paths: a rule that assigns to each path a morphism between the fibers of the bundle above the endpoints of these paths, in a compatible way:
In order to formalize this, we introduce a (diffeological) Lie groupoid to be called the path groupoid of . (Constructions and results in this section are from ([SWI]).
For a smooth manifold let be the set of smooth functions . For a Cartesian space, we say that a -parameterized smooth family of points in is a smooth map . (This makes a diffeological space).
Say a path has sitting instants if it is constant in a neighbourhood of the boundary . Let be the subset of paths with sitting instants.
Let be the projection to the set of equivalence classes where two paths are regarded as equivalent if they are cobounded by a smooth thin homotopy.
Say a -parameterized smooth family of points in is one that comes from a -family of representatives in under this projection. (This makes also a diffeological space.)
The passage to the subset and quotient of the set of all smooth paths in the above definition is essentially the minimal adjustment to enforce that the concatenation of smooth paths at their endpoints defines the composition operation in a groupoid.
The path groupoid is the groupoid
with source and target maps given by endpoint evaluation and composition given by concatenation of classes of paths along any orientation preserving diffeomorphism of any of their representatives
This becomes an internal groupoid in diffeological spaces with the above -families of smooth paths. We regard it as a groupoid-valued presheaf, an object in :
Observe now that for a Lie group and its delooping Lie groupoid discussed above, a smooth functor sends each (thin-homotopy class of a) path to an element of the group
such that composite paths map to products of group elements
and such that -families of smooth paths induce smooth maps of elements.
There is a classical construction that yields such an assignment: the parallel transport of a Lie-algebra valued 1-form.
Suppose is a degree-1 differential form on with values in the Lie algebra of . Then its parallel transport is the smooth functor
given by
where the group element on the right is defined to be the value at 1 of the unique solution of the differential equation
for the boundary condition .
This construction induces an equivalence of categories
where on the left we have the hom-groupoid of groupoid-valued presheaves and where on the right we have the groupoid of Lie-algebra valued 1-forms whose
objects are 1-forms ,
morphisms are labeled by smooth functions such that .
This equivalence is natural in , so that we obtain another smooth groupoid.
Define to be the (generalized) Lie groupoid
whose -parameterized smooth families of groupoids form the groupoid of Lie-algebra valued 1-forms on .
This equivalence in particular subsumes the classical facts that parallel transport
is invariant under orientation preserving reparameterizations of paths;
sends reversed paths to inverses of group elements.
There is an evident natural smooth functor that includes points in as constant paths. This induces a natural morphism that forgets the 1-forms.
Let be a -principal bundle that corresponds to a cocycle under the construction discussed above. Then a connection on is a lift of the cocycle through .
This is equivalent to the traditional definitions.
A morphism is
on each a 1-form ;
on each a function ;
such that
on each we have ;
on each we have .
Let the projection onto the full quotient by smooth homotopy classes of paths.
Write for the smooth groupoid defined as , but where instead of thin homotopies, all homotopies are divided out.
The above restricts to a natural equivalence
where on the left we have the hom-groupoid of groupoid-valued presheaves, and on the right we have the full sub-groupoid on those -valued differential forms whose curvature 2-form vanishes.
A connection is flat precisely if it factors through the inclusion .
For the purposes of Chern-Weil theory we want a good way to extract the curvature 2-form in a general abstract way from a cocycle . In order to do that, we first need to discuss connections on 2-bundles.
There is an evident higher dimensional generalization of the definition of connections on 1-bundles in terms of functors out of the path groupoid discussed above. This we discuss now. We will see that, however, the obvious generalization captures not quite all 2-connections. But we will also see a way to recode 1-connections in terms of flat 2-connections. And that recoding then is the right general abstract perspective on connections, which generalizes to principal ∞-bundles and in fact which in the full theory follows from first principles.
(Constructions and results in this section are from SWII, SWIII)
The path 2-groupoid is the smooth strict 2-groupoid analogous to , but with nontrivial 2-morphisms given by thin homotopy-classes of disks with sitting instants.
In analogy to the projection there is a projection to to the 2-groupoid obtained by dividing out full homotopy of disks, relative boundary.
Let be a strict Lie 2-group coming from a crossed module .Its delooping is the strict Lie 2-groupoid coming from the crossed complex .
This induces a differential crossed module , the Lie 2-algebra of .
For an abelian Lie group then is the delooping 2-group coming from the crossed module and is the 2-group coming from the complex .
A smooth 2-functor now assigns information also to surfaces
and thus encodes a higher parallel transport.
There is a natural equivalence of 2-groupoids
where on the right we have the 2-groupoid of Lie 2-algebra valued forms whose
objects are pairs , such that the 2-form curvature
and the 3-form curvature
vanish.
morphisms are pairs , such that and
2-morphisms are… (exercise).
As before, this is natural in , so that we that we get a presheaf of 2-groupoids
If in the above definition we use instead of , we obtain the same 2-groupoid, except that the 3-form curvature is not required to vanish.
Let be a -principal 2-bundle classified by a cocycle . Then a structure of a flat connection on a 2-bundle on it is a lift
For , a connection on a 2-bundle (not necessarily flat) is a lift
We do not state the last definition for general Lie 2-groups . The reason is that for general 2-anafunctors out of do not produce the fully general notion of 2-connections that we are after, but yield a special case in between flatness and non-flatness: the case where precisely the 2-form curvature-components vanish, while the 3-form curvature part is unrestricted. This case is important in itself and discussed in detail below.
Only for of the form does the 2-form curvature necessarily vanish anyway, so that in this case the definition by morphisms out of happens to already coincide with the proper general one. This serves in the following theorem as an illustration for the toolset that we are exposing, but for the purposes of introducing the full notion of -Chern-Weil theory we will rather focus on flat 2-connections, and then show in Curvature characteristics of 1-bundles how using these one does arrive at a functorial definition of 1-connections that does generalize to the fully general definition of -connections.
Let be a good open cover, a cocycle is a cocycle in Cech cohomology-Deligne cohomology in degree 3.
Moreover, we have a natural equivalence of bicategories
where on the right we have the bicategory of -bundle gerbes with connection.
In particular the equivalence classes of cocycles form the degree-3 ordinary differential cohomology of :
A cocycle as above naturally corresponds to a 2-anafunctor
The value of this on 2-morphisms in is the higher parallel transport of the connection on the 2-bundle.
This appears for instance in the action functional of the sigma model that describes strings charged under a Kalb-Ramond field.
The following example of a flat nonabelian 2-bundle is very degenerate as far as 2-bundles go, but does contain in it the seed of a full understanding of connections on 1-bundles.
For a Lie group, its inner automorphism 2-group is as a groupoid the universal G-bundle , but regarded as a 2-group with the group structure coming from the crossed module .
The cartoon presentation of the delooping 2-groupoid is
This is the Lie 2-group whose Lie 2-algebra is the one whose Chevalley-Eilenberg algebra is the Weil algebra of .
By the above theorem we have that there is a bijection of sets
of flat -valued 2-connections and Lie-algebra valued 1-forms. Under the identifications of this theorem this identification works as follows:
the 1-form component of the 2-connection is ;
the vanishing of the 2-form component of the 2-curvature identifies the 2-form component of the 2-connection with the curvature 2-form, ;
the vanishing of the 3-form component of the 2-curvature is the Bianchi identity satisfied by any curvature 2-form.
This means that 2-connections with values in actually model 1-connections and keep track of their curvatures. Using this we see in the next section a general abstract definition of connections on 1-bundles that naturally support the Chern-Weil homomorphism.
We now describe connections on 1-bundles in terms of their flat curvature 2-bundles . This gives a general abstract notion of connections that generalizes to connections on ∞-bundles and that supports naturally the Chern-Weil homomorphism
Throughout this section is a Lie group, its delooping 2-groupoid and its inner automorphism 2-group and the corresponding delooping Lie 2-groupoid.
Define the smooth groupoid as the pullback
This is the groupoid-valued presheaf which assigns to the groupoid whose objects are commuting diagrams
where the vertical morphisms are the canonical inclusions discussed above, and whose morphisms are compatible pairs of natural transformations
of the horizontal morphisms.
By the above theorems, we have over any CartSp that
an object in is a 1-form ;
a morphism is labeled by a function and a 1-form such that
Notice that this can always be uniquely solved for , so that the genuine information in this morphism is just the data given by .
there are no nontrivial 2-morphisms, even though is a 2-groupoid: since is just a 1-groupoid this is enforced by the commutativity of the above diagram.
From this it is clear that
The projection is a weak equivalence.
So is a resolution of . We will see that it is the resoluton that supports 2-anafunctors out of which represent curvature characteristic classes.
Pseudo-connections in themselves are not very interesting. But notice that every ordinary connection is in particular a pseudo-connection and we have an inclusion morphism of smooth groupoids
This inclusion plays a central role in the theory. The point is that while is such a boring extenion of that it is actually equivalent to , there is no inclusion of into , but there is into . This is the kind of situation that resolutions are needed for.
It is useful to look at some details for the case that is an abelian group such as the circle group .
In this abelian case the 2-groupoids , , , etc., that so far we noticed are given by crossed complexes are actually given by ordinary chain complexes: we write
for the Dold-Kan correspondence map that identifies chain complexes with simplicial abelian group and then considers their underlying Kan complexes. Using this map we have the following identifications of our 2-groupoid valued presheaves with complexes of group-valued sheaves
For an abelian group, in particular the circle group, there is a canonical morphism .
On the level of chain complexes this is the evident chain map
On the level of 2-groupoids this is the map that forgets the labels on the 1-morphisms
In terms of this map serves to interpolate between the single and the double delooping of . In fact the sequence of 2-functors
is a model for the -universal principal 2-bundle
This happens to be an exact sequence of 2-groupoids. Abstractly, what really matters is rather that it is a fiber sequence, meaning that it is exact in the correct sense inside the (∞,1)-category Smooth∞Grpd. For our purposes it is however relevant that this particular model is also exact in the ordinary sense in that we have a commuting diagram
which is a pullback diagram, exhibitng as the kernel of .
We shall be interested in the pasting composite of this diagram with the one defining over a domain :
The total outer diagram appearing this way is a component of the following (generalized) Lie 2-groupoid.
Set
Over any this is the 2-groupoid whose objects are sets of diagrams
This are equivalently just morphisms , which by the above theorems we may identify with closed 2-forms .
The morphisms in over are compatible pseudonatural transformations of the horizontal morphisms
which means that they are pseudonatural transformations of the bottom morphism whose components over the points of vanish. These identify with 1-forms such that .
Finally the 2-morphisms would be modifications of these, but the commutativity of the above diagram constrains these to be trivial.
In summary this shows that
Under the Dold-Kan correspondence is the sheaf of truncated de Rham complexes
Equivalence classes of 2-anafunctors
are canonically in bijection with the degree 2 de Rham cohomology of .
Notice that – while every globally defined closed 2-form defines such a 2-anafunctor – not every such 2-anafunctor comes from a globally defined closed 2-form. Some of them assign closed 2-forms to patches , that differ by differentials of 1-forms on double overlaps, which themselves satisfy on triple intersections the cocycle condition . But (using a partition of unity, see there) these non-globally defined forms are always equivalent to globally defined ones.
This simple technical point turns out to play a crucial role in the abstract definition of connections on ∞-bundles: generally, for all the cocycles given by globally defined forms in constitute curvature characteristic forms of genuine connections. The non-globally defined forms also constitute curvature invariants, but of pseudo-connections. The way the abstract theory finds the genuine connections inside all pseudo-connections is by the fact that we may find for each cocycle in an equivalent one that does comes from a globally defined form.
There is a canonical 2-anafunctor
where the top morphism is given by forming the pasting-composite with the -universal 2-bundle, as described above.
For emphasis, notice that this span is governed by a presheaf of diagrams that over is of the form
The top morphisms are the components of the presheaf . The top squares are those of . Forming the bottom square is forming the bottom morphism, which necessarily satifies the constraint that makes it a components of .
The interpretation of the stages is as indicated in the diagram:
the top morphism is the transition function of the underlying bundle;
the middle morphism is a choice of (pseudo-)connection on that bundle;
the bottom morphism picks up the curvature of this connection.
We will see that full -Chern-Weil theory is governed by a slight refinement of presheaves of essentially this kind of diagram. We will also see that the three stage process here is really an incarnation of the computation of a connecting homomorphism, reflecting the fact that behind the scenes the notion of curvature is exhibited as the obstruction cocycle to lifts from bare bundles to flat bundles.
For the cocycle for a -principal bundle as described above, the composition of 2-anafunctors of with yields a cocycle for a 2-form
If we take to be a good open cover, then we may assume . We know we can always find a pseudo-connection that is actually a genuine connection on a bundle in that it factors through the inclusion as indicated.
The corresponding total map represented by is the cocycle for the curvature 2-form of this connection. This represents the first Chern class of the bundle in de Rham cohomology.
For smooth 2-groupoids, write for the 2-groupoid of 2-anafunctors between them.
Let be a choice of one closed 2-form representative for each degree-2 de Rham cohomology-class of . Then the pullback groupoid in
is equivalent to disjoint union of groupoids of -bundles with connection whose curvatures are the chosen 2-form representatives.
For an abelian group there is a straightforward generalization of the above constructions to -principal n-bundles with connection for all . We spell out the ingredients of the construction in a way analogous to the above discussion. A first-principles derivation of the objects we consider here is at circle n-bundle with connection. This is content that appeared partly in (SSSIII, FSS). We restrict attention to the circle n-group .
There is a familiar traditional presentation for ordinary differential cohomology in terms of Cech-Deligne cohomology. We briefly recall how this works and then indicate how this presentation can be derived along the above lines as a presentation of circle n-bundles with connection.
For the Deligne complex is the chain complex of sheaves (on SmoothMfd in general or on CartSp for our purposes here) of abelian groups given as follows
This is similar to the -fold shifted de Rham complex with two important differences
In degree we have the sheaf of -valued functions, not of -valued functions (= 0-forms). The action of the de Rham differential on this is sometimes written . But if we think of then it is just the ordinary de Rham differential applied to any representative in of an element in .
In degree 0 we do not have closed differential -forms (as one would have for the the de Rham complex shifted into non-negative degree), but all -forms.
As before we may use of the Dold-Kan correspondence to identify sheaves of chain complexes with simplicial sheaves.
For a good open cover, the Deligne cohomology of in degree is
Further using the Dold-Kan correspondence this is equivalently the cohomology of the Cech-Deligne double complex. A Deligne cocycle in degre then is a tuple
with
;
;
and so on
satisfying the cocycle condition
where is the alternating sum of the pullback of forms along the face maps of the Cech nerve.
This is a sequence of conditions of the form
;
;
and so on
.
For low we have seen these conditions in the dicussion of line bundles and of line 2-bundles (bundle gerbes) with connection above. Generally, for any , this is Cech-cocycle data for a circle n-bundle with connection, where
are the local connection -forms;
is the transition function of the circle -bundle.
We now indicate how the Deligne complex may be derived from differential refinement of cocycles for circle -bundles along the lines of the above discussions.
Write
for the simplicial presheaf given under the Dold-Kan correspondence by the chain complex
with the sheaf represented by in degree .
For an open cover of a smooth manifold and its Cech nerve, ∞-anafunctors
are in natural bijection with tuples of smooth functions
satisfying
that is, to cocycles in degree Cech cohomology on with values in .
Transformations
are in natural bijection with tuples of smooth functions
such that
that is, to Čech coboundaries.
The -bundle classified by such a cocycle we may call a circle n-bundle. For this reproduces the ordinary -principal bundles that we considered before, for the bundle gerbes and for the bundle 2-gerbes.
To equip these circle -bundles with connections, we consider the differential refinements , and .
Write
– the image under of the truncated de Rham complex – and
and
– the Deligne complex.
There is a canonical morphism
We have a pullback diagram
in .
This models a homotopy pullback
in the (∞,1)-topos Smooth∞Grpd and this implies (in particular) for all smooth manifolds a homtotopy pullback
Here cocycles in are modeled by ∞-anafunctors , which are in natural bijection with tuples
where , , etc. such that
and
etc. This is a cocycle in Cech-Deligne cohomology. We may think of this as encoding a circle n-bundle with connection. The forms are the local connection -forms.
Remark. Everything in this construction turns out to follow from general abstract reasoning in every cohesive (∞,1)-topos — except the sheaf of closed -forms, which is a non-intrinsic truncation of whose definition uses concretely the choice of model . But since by the above this object is used to pick homotopy fibers, and since these depend up to equivalence only on the connected component over which they are taken, for fixed no information is lost by passing instead to the de Rham cohomology set and choosing a morphism that picks a closed -form in each cohomology class. Then we can replace the above by the homotopy pullback
without losing information. And this is defined fully intrinsically.
The definition of -connections on -principal -bundles for nonabelian may be reduced to this definition, by approximating every -cocylce by abelian cocycles by postcomposing with all possible characteristic classes to extract a circle -bundle from it. This is what we turn to now.
We now come to the discussion the Chern-Weil homomorphism and its generalization to the ∞-Chern-Weil homomorphism.
We have seen above -principal -bundles for general smooth -groups and in particular for abelian groups . Naturally, the abelian case is easier and more powerful statements are known about this case. A general strategy for studying nonabelian -bundles therefore is to approximate them by abelian bundles. This is achieved by considering characteristic classes. Roughly, a characteristic class is a map that functorially sends -principal -bundles to -principal -bundles, for some and some abelian group . In some cases such an assignment may be obtained by integration of infinitesimal data. If so, then the assignment refines to one of -bundles with connection. For an ordinary Lie group this is then what is called the Chern-Weil homomorphism. For general we call it the ∞-Chern-Weil homomorphism.
A simple motivating example for characteristic classes and the Chern-Weil homomorphism is the construction of determinant line bundles.
Let . Consider the unitary group . By its definition as a matrix Lie group, this comes canonically equipped with the determinant function
and by the standard properties of the determinant, this is in fact a group homomorphism. Therefore this has a delooping to a morphism of Lie groupoids
Under geometric realization this maps to a morphism
of topological spaces. This is a characteristic class on the classifying space : the first Chern class (see determinant line bundle for more on this).
By postcomposion with of the classifying morphisms for principal bundles, it acts on principal bundles: postcomposition of a Cech cocycle
for a -principal bundle on a smooth manifold with this characteristic class yields the cocycle
for a circle bundle (or its associated line bundle) with transition functions : the determinant line bundle of . The unique class
of this line bundle is a characteristic of the original unitary bundle: its first Chern class
This construction directly extends to the case where the bundles carry connections.
We may canonically identify the Lie algebra with the matrix Lie algebra of skew-hermitian matrices on which we have the trace operation
This is the differential version of the determinant in that when regarding the Lie algebra as the infinitesimal neighbourhood of the neutral element in (see ∞-Lie algebroid for more on this) the determinant becomes the trace under the exponential map
for .
It follows that for the parallel transport of a connection on locally given by a 1-forms by
the determinant parallel transport
is locally given by the formula
which means that the local connection forms on the determinant line bundle are obtained from those of the unitary bundle by tracing.
This construction extends to a functor
natural in , that sends -principal bundles with connection to circle bundles with connection, hence to cocycles in degree-2 ordinary differential cohomology.
This assignment remembers of a unitary bundle one inegral class and its differential refinement:
the integral class of the determinant bundle is the first Chern class the -bundle
the curvature 2-form of its connection is a representative in de Rham cohomology of this class
Equivalently this assignment is given by postcomposition of cocycles with a morphism of smooth ∞-groupoids
We say that is a differential characteristic class, the differential refinement of the first Chern class.
In (BrylinskiMacLaughlin) an algorithm is given for contructing differential characteristic classes on Cech cocycles in this fashion for more general Lie algebra cocycles.
For instance these authors give the following construction for the diffrential refinement of the first Pontryagin class.
Let , write for the Spin group and consider the canonical Lie algebra cohomology 3-cocycle
on semisimple Lie algebras, where is the Killing form invariant polynomial.
Let be a -principal bundle with connection. Let be the Ehresmann connection 1-form on the total space of the bundle.
Then construct a Cech cocycle for Deligne cohomology in degree 4 as follows:
pick an open cover such that there is a choice of local sections . Write
for the induced Cech cocycle.
Choose a lift of this cocycle to an assignment
of based paths in to double intersections
with and ;
of based 2-simplices between these paths to triple intersections
restricting to these paths in the obvious way;
similarly of based 3-simplices between these paths to quadruple intersections
Such lifts always exists, because the Spin group is connected (because already is), simply connected (because is the universal cover of ) and also has (because this is the case for every compact Lie group).
Define from this a Deligne-cochain by setting
where is the Chern-Simons form of the connection form with respect to the cocycle .
They then prove:
This is indeed a Deligne cohomology cocycle;
It represents the differential refinement of the first fractional Pontryagin class of .
In the form in which we have (re)stated this result here the second statement amounts, in view of the first statement, to the observation that the curvature 4-form of the Deligne cocycle is proportional to
which represents the first Pontryagin class in de Rham cohomology. Therefore the key observation is that we have a Deligne cocycle at all. This can be checked directly, if somewhat tediously, by hand. But then the question remains: where does this successful Ansatz come from? And is it natural ? For instance: does this construction extend to a morphism of smooth ∞-groupoids
from Spin-principal bundles with connection to circle 3-bundles with connection?
In the following we give a natural presentation of the ∞-Chern-Weil homomorphism by means of Lie integration of -algebraic data to simplicial presheaves. Among other things, this construction yields an understanding of why this construction is what it is and does what it does. In prop. we reproduce the above example.
The construction proceeds in the following broad steps
The infinitesimal analog of a characteristic class is a L-∞ algebra cocycle
There is a formal procedure of universal Lie integration which sends this to a morphism of smooth ∞-groupoids
presented by a morphism of simplicial presheaves on CartSp.
By finding a Chern-Simons element that witnesses the transgression of to an invariant polynomial on this construction has a differential refinement to a morphism
that sends -algebra valued connections to line n-bundles with connection.
The -truncation of the object on the left produces the smooth -groups on interest – – and the corresponding truncation of carves out the lattice of periods in of the cocycle inside . The result is the differential characteristic class
Typically we have such that this then reads
We discuss L-∞ algebras and more generally ∞-Lie algebroids – the higher analogs of Lie algebras and Lie algebroids – and their Lie integration to smooth ∞-groupoids presented by simplicial presheaves.
There is a precise sense in which one may think of a Lie algebra as the infinitesimal sub-object of the delooping groupoid of the corresponding Lie group . Without here going into the details of this relation (which needs a little bit of (∞,1)-topos-theory), we want to build certain ∞-Lie groupoids from the knowledge of their infinitesimal subobjects: these subobjects are ∞-Lie algebroids and specifically ∞-Lie algebras – traditionally known as -algebras.
A quick but useful way of formalizing what this means is to observe that ordinary (finite-dimensional) Lie algebras are entirely encoded, dually, in their Chevalley-Eilenberg algebras : free graded-commutative algebras over the ground field (which is for our purposes here) on the vector space equipped a differential of degree +1 and squaring to 0.
Simply by replacing in this characterization the vector space be an -graded vector space, we arrive at the notion of ∞-Lie algebra: the elements of in degree are the infinitesimal k-morphisms. Moreover, replacing in this characterization the ground field by an algebra of smooth functions on a manifold , we obtain the notion of an ∞-Lie algebroid over . Morphisms of such ∞-Lie algebroids are dually precisely morphisms of dg-algebras .
The following definition glosses over some fine print but is entirely sufficient for our present discussion.
The category of ∞-Lie algebroids is the opposite category of the full subcategory of dgAlg
on graded-commutative cochain dg-algebras in non-negative degree whose underlying graded algebra is a exterior algebra over the degree-0 algebra.
A strict -Lie algebra is a dg-Lie algebra with a cochain complex in non-negative degree. With denoting the degreewise dual, the corresponding CE-algebra is .
We had already seen above the infinitesimal approximation of a Lie 2-group: this is a Lie 2-algebra. If the Lie 2-group is a smooth strict 2-group it is encoded equivalently by a crossed module of ordinary Lie groups, and the corresponding Lie 2-algebra is given by a differential crossed module of ordinary Lie algebras.
The tangent Lie algebroid of a smooth manifold is the infinitesimal approximation to its fundamental ∞-groupoid. Its CE-algebra is the de Rham complex
.
For , , the Lie -algebra is the infinitesimal approximation to and . Its CE-algebra is the dg-algebra on a single generators in degree , with vanishing differential.
For any -Lie algebra there is an -Lie algebra defined by the fact that its CE-algebra is the Weil algebra of :
where is the grading shift isomorphism, extended as a derivation.
We discuss Lie integration: a construction that sends an L-∞ algebroid to a smooth ∞-groupoid of which it is the infinitesimal approximation.
The construction we want to describe may be understood as a generalization of the following proposition. This is classical, even if maybe not reflected in the standard textbook literature to the extent it deserves to be (see Lie integration for details and references).
For a (finite-dimensional) Lie algebra, let be the simplicial presheaf given by the assignment
in degree of dg-algebra homomorphisms from the Chevalley-Eilenberg algebra of to the dg-algebra of vertical differential forms with respect to the trivial bundle .
Shortly we will be considering variations of such assignments that are best thought about when writing out the hom-sets on the right here as sets of arrows; as in
For an ordinary Lie algebra it is an ancient (see Chern-Weil theory – history) and simple but important observation that dg-algebra morphisms are in natural bijection with Lie-algebra valued 1-forms that are flat in that their curvature 2-forms vanish: the 1-form itself determines precisely a morphism of the underlying graded algebras, and the respect for the differentials is exactly the flatness condition. It is this elementary but similarly important observation that historically led Eli Cartan to Cartan calculus and the algebraic formulation of Chern-Weil theory.
One finds that it makes good sense to generally, for any ∞-Lie algebra or even ∞-Lie algebroid, think of as the set of ∞-Lie algebroid valued differential forms whose curvature forms (generally a whole tower of them) vanishes.
Let be the simply-connected Lie group integrating according to Lie's three theorems and its delooping Lie groupoid regarded as a groupoid-valued presheaf on CartSp. Write for the truncation operation that quotients out 2-morphisms in a simplicial presheaf to obtain a presheaf of groupoids.
We have an isomorphism
To see this, observe that the presheaf has as 1-morphisms -parameterized families of -valued 1-forms on the interval, and as 2-morphisms -parameterized families of flat 1-forms on the disk, interpolating between these. By identifying these 1-forms with the pullback of the Maurer-Cartan form on , we may equivalently think of the 1-morphisms as based smooth paths in and 2-morphisms smooth homotopies relative endpoints between them. Since is simply-connected this means that after dividing out 2-morphisms only the endpoints of these paths remain, which identify with the points in .
The following proposition establishes the Lie integraiton of the shifted 1-dimensional abelian L-∞ algebras .
For , . Write
for the simplicial presheaf on CartSp that is the image of the sheaf of chain complexes represented by in degree and 0 in other degrees, under the Dold-Kan correspondence .
Then there is a canonical morphism
given by fiber integration of differential forms along and this is an equivalence (a global equivalence in the model structure on simplicial presheaves).
The proof of this statement is discussed at Lie integration.
This statement will make an appearance repeatedly in the following discussion. Whenever we translate a construction given in terms into a more convenient chain complex representation.
We now describe characteristic classes and then furhter below curvature characteristic forms on -bundles in terms of Lie integration to simplicial presheaves. For that purpose it is useful for a moment to ignore the truncation issue – to come back to it later – and consider these simplicial presheaves untruncated.
To see characteristic classes in this picture, write for the commutative real dg-algebra on a single generator in degree with vanishing differential. As our notation suggests, this we may think as the Chevalley-Eilenberg algebra of a higher Lie algebra – the ∞-Lie algebra – which is an Eilenberg-MacLane object in the homotopy theory of ∞-Lie algebras, representing ∞-Lie algebra cohomology in degree with coefficients in .
Restating this in elementary terms, this just says that dg-algebra homomorphisms
are in natural bijection with elements of degree , that are closed, . This is the classical description of a cocycle in the Lie algebra cohomology of .
Every such -Lie algebra cocycle induces a morphism of simplicial presheaves
given by postcomposition
(first Pontryagin class)
Assume to be a semisimple Lie algebra, let be the Killing form and the corresponding 3-cocycle in Lie algebra cohomology. We may assume without restriction that this cocycle is normalized such that its left-invariant continuation to a 3-form on has integral periods. Observe that since is trivial we have that the 3-coskeleton of is equivalent to . By the inegrality of , the operation of on followed by integration over simplices, as in prop. , descends to an ∞-anafunctor from to , as indicated on the right of this diagram in
Precomposing this – as indicated on the left of the diagram – with another -anafunctor for a -principal bundle , hence a collection of transition functions amounts to choosing (possibly on a refinement of the cover of )
on each a lift of to a familly of smooth based paths in – – with endpoints ;
on each a smooth family of disks interpolating between these paths;
on each a a smooth family of 3-balls interpolating between these disks.
On this data the morphism acts by sending each 3-cell to the number
where is regarded in this formula as a closed 3-form on .
We say this is Lie integration of Lie algebra cocycles.
The Cech cohomology cocycle obtained this way is the first Pontryagin class of the -bundle classified by .
We shall show this below, as part of our -algebraic reconstruction of the above motivating example. In order to do so, we now add differential refinement to this Lie integration of characteristic classes.
Above we described ordinary connections on bundles as well as connections on 2-bundles in terms of parallel transport over paths and surfaces, and showed how such is equivalently given by cocycles with coefficients in Lie-algebra valued differential forms and Lie 2-algebra valued differential forms, respectively.
Notably we saw (here) for the case of ordinary -principal bundles, that the connection and curvature data on these is encoded in presheaves of diagrams that over a given test space CartSp look like
together with a constraint on the bottom morphism.
It is in the form of such a kind of diagram that the general notion of connections on ∞-bundles may be modeled. In the full theory of differential cohomology in a cohesive topos this follows from first principles, but for our present introductory purpose we shall be content with taking this simple situation of -bundles together with the notion of Lie integration as sufficient motivation for the constructions considered now.
So we pass now to what is to some extent the reverse construction of the one considered before: we define a notion of ∞-Lie algebra valued differential forms and show how by a variant of Lie integration these integrate to coefficient objects for connections on ∞-bundles.
In the main entry ∞-Chern-Weil theory we discuss how this dg-algebraic construction follows from a general abstract definitions of differential cohomology in a cohesive topos.
The material of this section is due to (SSSI) and (FSS).
For a Lie group, we have described above connections on -principal bundles in terms of cocycles with coefficients in the Lie-groupoid of Lie-algebra valued forms
In this context we had derived Lie algebra valued forms from the parallel transport description . We now turn this around and use Lie integration to construct parallel transport from Lie-algebra valued forms. The construction is such that it generalizes verbatim to ∞-Lie algebra valued forms.
For that purpose notice that another classical dg-algebra associated with is its Weil algebra .
The Weil algebra is the free dg-algebra on the graded vector space , meaning that there is a natural isomorphism
which is singled out among the isomorphism class of dg-algebras with this property by the fact that the projection of graded vector spaces extends to a dg-algebra homomorphism
(Notice that general the dg-algebras that we are dealing with are semi-free dgas in that only their underlying graded algebra is free, but not the differential).
The most obvious realization of the free dg-algebra on is equipped with the differential that is precisely the degree shift isomorphism extended as a derivation. This is not the Weil algebra on the nose, but is of course isomorphic to it. The differential of the Weil algebra on is given on the unshifted generators by the sum of the CE-differential with the shift isomorphism
This uniquely fixes the differential on the shifted generators – a phenomenon known (at least after mapping this to differential forms, as we discuss below) as the Bianchi identity.
Using this, we can express also the presheaf from def in diagrammatic fashion.
For a simply connected Lie group, the presheaf is isomorphic to
where on the right we have the 1-truncation of the simplicial presheaf of diagrams as indicated, where the vertical morphisms are the canonical ones.
Here over a given the bottom morphism in such a diagram is an arbitrary -valued 1-form on . This we can decompose as , where vanishes on tangents to and on tangents to . The commutativity of the diagram asserts that has to be such that the curvature 2-form vanishes when both its arguments are tangent to .
On the other hand, there is in the above no further constraint on . Accordingly, as we pass to the 1-truncation of we find that morphisms are of the form with arbitrary. This is the definition of .
We see below that it is not a coincidence that this is reminiscent to the first condition on an Ehresmann connection on a -principal bundle, which asserts that restricted to the fibers a connection 1-form on the total space of the bundle has to be flat. Indeed, the simplicial presheaf may be thought of as the -sheaf of pseudo-connections on trivial -bundles. Imposing on this also the second Ehresmann condition will force the pseudo-connection to be a genuine connection.
We now want to lift the above construction of characteristic classes by Lie integration of Lie algebra cocycles from plain bundles classified by to bundles with (pseudo-)connection classified by . By what we just said we therefore need to extend from a map on just to a map on .
This is evidently achieved by completing a square in dgAlg of the form
and defining to be the operation of forming pasting composites with this.
Here is the Weil algebra of the Lie n-algebra . This is the dg-algebra on two generators and , respectively, in degree and with the differential given by .
The commutativity of this diagram says that the bottom morphism takes the degree- generator to an element whose restriction to the unshifted generators is the given cocycle .
As we shall see below, any such choice will extend the characteristic cocycle obtained from to a characteristic differential cocycle, exhibiting the -Chern-Weil homomorphism. But only for special nice choices of will this take genuine -connections to genuine -connections – instead of to pseudo-connections. As we discuss in the full ∞-Chern-Weil theory, this makes no difference in cohomology. But in practice it is useful to fine-tune the construction such as to produce nice models of the -Chern-Weil homomorphism given by genuine -connections.
This is achieved by imposing the following additional constraint on the choice of extension of :
For a cocycle and a lift of through , we say that is an invariant polynomial in transgression with if
For a Lie algebra, this definition of invariant polynomials is equivalent to the traditional one.
To see this explicitly, let be a basis of and the corresponding basis of . Write for the structure constants of the Lie bracket in this basis.
Then for an element in the shifted generators, the condition that it is -closed is equivalent to
where the parentheses around indices denotes symmetrization, as usual, so that this is equivalent to
for all choices of indices. This is the component-version of the familiar invariance statement
for all .
Write (or ) for the sub-dgalgebra on invariant polynomials.
We have .
Using this, we can now encode the two conditions on the extension of the cocycle as the commutativity of this double square diagram
In such a diagram, we call the Chern-Simons element that exhibits the transgression between and .
We shall see below that under the -Chern-Weil homomorphism, Chern-Simons elements give rise to the familiar Chern-Simons forms – as well as their generalizations – as local connection data of secondary characteristic classes realized as circle n-bundles with connection.
What this diagram encodes is the construction of the connecting homomorphism for the long exact sequence in cohomology that is induced from the short exact sequence
subject to the extra constraint of basic elements.
To appreciate the construction so far, recall the
For a compact Lie group, the rationalization of the classifying space is the rational space whose Sullivan model is given by the algebra of invariant polynomials on the Lie algebra .
This means that we may think of the consztructons so far in terms of the following picture:
For a semisimple Lie algebra, the Killing form invariant polynomial, there is a Chern-Simons element witnessing the transgression to the cocycle . Under a -valued form this maps to the ordinary degree 3 Chern-Simons form
We have seen above for an -Lie algebroid the object that classifies pseudo-connections on -principal -bundles and serves to support the -Chern-Weil homomorphism. We now discuss the genuine ∞-connections among these pseudo-connections. From the point of view of the general abstract theory these are particularly nice representatives of more intrinsically defined structures.
For a smooth manifold and an ∞-Lie algebra or more generally an ∞-Lie algebroid, a -Lie algebroid valued differential form on is a morphism of dg-algebras
from the Weil algebra of to the de Rham complex of . Dually this is a morphism of ∞-Lie algebroids
from the tangent Lie algebroid to the inner automorphism ∞-Lie algebra.
Its curvature is the composite of morphisms of graded vector spaces
Precisely if the curvatures vanish does the morphism factor through the Chevalley-Eilenberg algebra
in which case we call flat.
The curvature characteristic forms of are the composite
where is the inclusion of the invariant polynomials.
For a smooth manifold, the -groupoid of -valued forms (see ∞-groupoid of ∞-Lie-algebra valued forms) is the Kan complex
whose k-morphisms are -valued forms on with sitting instants, and with the property that their curvature vanishes on vertical vectors.
The canonical morphism
to the untruncated Lie integration of is given by restriction of to vertical differential forms (see below).
Here we are thinking of as a trivial bundle.
The first Ehresmann condition can be identified with the conditions on lifts in ∞-anafunctors
that define connections on ∞-bundles.
For a -valued form on and for any invariant polynomial, the corresponding curvature characteristic form descends down to .
It is sufficient to show that for all we have
;
.
The first condition is evidently satisfied if already . The second condition follows with Cartan calculus and using that :
For a general -Lie algebra the curvature forms themselves are not necessarily closed (rather they satisfy the Bianchi identity), hence requiring them to have no component along the simplex does not imply that they descend. This is different for abelian -Lie algebras: for them the curvature forms themselves are already closed, and hence are themselves already curvature characteristics that do descent.
It is useful to organize the -valued form , together with its restriction to vertical differential forms and with its curvature characteristic forms in the commuting diagram
in dgAlg.
The commutativity of this diagram is implied by .
Write for the -groupoid of -valued forms fitting into such diagrams.
If we just consider the top horizontal morphism in this diagram we obtain the object
discussed in detail at Lie integration. If we consider the top square of the diagram we obtain the object
This forms a resolution of and may be thought of as the -groupoid of pseudo-connections.
We have an evident sequence of morphisms
where we label the objects by the structures they classify, as discussed at ∞-Chern-Weil theory.
Here the botton morphism is a weak equivalence and the others are monomorphisms.
Notice that in full ∞-Chern-Weil theory the fundamental object of interest is really – the object of pseudo-connections. The other objects only serve the purpose of picking particularly nice representatives:
the object may contain pseudo-connections, those for which at least the associated circle n-bundles with connection given by the -Chern Weil homomorphism are genuine connections.
This distinction is important: over objects Smooth∞Grpd that are not smooth manifolds but for instance orbifolds, the genuine connections for higher Lie algebras do not exhaust all nonabelian differential cocycles. This just means that not every differential class in this case does have a nice representative in the usual sense.
The 1-morphisms in may be thought of as gauge transformations between -valued forms. We unwind what these look like concretely.
Given a 1-morphism in , represented by -valued forms
consider the unique decomposition
with the horizonal differential form component and the canonical coordinate.
We call the gauge parameter . This is a function on with values in 0-forms on for an ordinary Lie algebra, plus 1-forms on for a Lie 2-algebra, plus 2-forms for a Lie 3-algebra, and so forth.
We describe now how this enccodes a gauge transformation
By the nature of the Weil algebra we have
where the sum is over all higher brackets of the ∞-Lie algebra .
In the Cartan calculus for an ordinary Lie algebra one writes the corresponding second Ehremsnn condition equivalently
Define the covariant derivative of the gauge parameter to be
In this notation we have
the general identity
the horizontality or rheonomy constraint or second Ehresmann condition , the differential equation
This is known as the equation for infinitesimal gauge transformations of an -Lie algebra valued form.
By Lie integration we have that – and hence – defines an element in the ∞-Lie group that integrates .
The unique solution of the above differential equation at for the initial values we may think of as the result of acting on with the gauge transformation .
(connections on ordinary bundles)
For an ordinary Lie algebra with simply connected Lie group and for the groupoid of Lie algebra-valued forms we have an isomorphism
To see this, first note that the sheaves of objects on both sides are manifestly isomorphic, both are the sheaf of . For morphisms, observe that for a form which we may decompose into a horizontal and a verical pice as the condition is equivalent to the differential equation
For any initial value this has the unique solution
where is the parallel transport of :
(where for ease of notaton we write actions as if were a matrix Lie group).
In particular this implies that the endpoints of the path of -valued 1-forms are related by the usual cocycle condition in
In the same fashion one sees that given 2-cell in and any 1-form on at one vertex, there is a unique lift to a 2-cell in , obtained by parallel transporting the form around. The claim then follows from the previous statement of Lie integration that .
For Lie 2-algebra, a -valued differential form in the sense described here is precisely an Lie 2-algebra valued form.
For , a -valued differential form is the same as an ordinary differential -form.
What is called an “extended soft group manifold” in the literature on the D'Auria-Fre formulation of supergravity is precisely a collection of -Lie algebroid valued forms with values in a super -Lie algebra such as the
supergravity Lie 3-algebra/supergravity Lie 6-algebra (for 11-dimensional supergravity). The way curvature and Bianchi identity are read off from “extded soft group manifolds” in this literature is – apart from this difference in terminology – precisely what is described above.
We have now the ingredients in hand to produce a construction of differential characteristic classes – the refined ∞-Chern-Weil homomorphism – in terms of Lie integration of differential refinements of -algebra cocycles.
We first consider the local construction that produces the de Rham cohomology data of the differential characteristic classes. Since this turns out to be a generalization of the construction of the action functional of Chern-Simons theory, we speak of
Applying a coskeleton-truncation to this construction carves out the period lattice of the -algebra cocycle inside the line , which yields to the fully-fledged differential characteristic classes, typically called secondary characteristic classes
In full ∞-Chern-Weil theory the -Chern-Weil homomorphism is conceptually very simple: for every there is canonically a morphism of ∞-Lie groupoids where the object on the right classifies ordinary de Rham cohomology in degree . For any ∞-group and any characteristic class , the -Chern-Weil homomorphism is the operation that takes a -principal ∞-bundle to the composite .
All the construction that we consider here in this introduction serve to present this abstract operation. The -connections that we considered yield resolutions of and in terms of which the abstract morphisms are modeled as ∞-anafunctors.
We have considered above ∞-connections in terms of dg-algebra homomorphisms and Chern-Simons elements witnessing the transgression of cocycles to invariant polynomials in terms of dg-algebra homomorphisms. There is an evident way to compose these two constructions.
Let be an L-∞ algebra and a cocycle in its L-∞ algebra cohomology, which transgresses to an invariant polynomial , witnessed by a Chern-Simons element .
Then let
be the morphism of simplicial presheaves obtained by forming pasting composites of the defining diagrams in dgAlg of these structures:
over and the morphism sends an element to the element given explicitly as follows
By restriction to the top two layers of these diagrams this analogously yields a morphism
Analogously, projection onto the third horizontal layer gives amorphism
to the de Rham coefficient object.
The morphism carries -valued connections locally given by -valued forms to -valued connections whose higher parallel transport over an -dimensional smooth manifold is locally given by the integral of the Chern-Simons form over . This assignment is the action functional for an ∞-Chern-Simons theory defined by the invariant polynomial . Therefore we may regard as being the Lagrangian for this ∞-Chern-Simons theory.
In total, this construction constitutes an -anafunctor
Postcomposition with this is the simple -Chern-Weil homomorphism: it sends a cocycle
for an -principal ∞-bundle to the curvature form represented by
For an ordinary Lie algebra the image under of this diagram constitutes the ordinary Chern-Weil homomorphism in that:
for the cocycle for a -principal bundle, any ordinary connection on a bundle constitutes a lift to the tip of the anafunctor and the morphism represented by that is the Cech-hypercohomology cocycle on with values in the truncated de Rham complex given by the globally defined curvature characteristic form .
This construction however discards the information in the choice of connection and in the Chern-Simons form of this connection. Below we lift this construction to one that produces the full secondary characteristic classes in ordinary differential cohomology of the refined -Chern-Weil homomorphism.
So far we discussed the untruncated coefficient object for -valued ∞-connections. The real object of interest is the -truncated version where is such that is the delooping of the -Lie group in question.
Under such a truncation, the integrated -Lie algebra cocycle will no longer be a simplicial map. Instead, the periods of will cut out a lattice in , and does descent to the quotient of by that lattice
We now say this again in more detail.
Suppose is such that the -coskeleton for the desired . Then the periods of over -balls cut out a lattice and thus we get an ∞-anafunctor
This is curvature characteristic class. We may always restrict to genuine -connections and refine
which models the refined -Chern-Weil homomorphism with values in ordinary differential cohomology
We can now reproduce our motivating example of the Brylinski-McLaughlin construction of the the differential refinement of the first fractional Pontryagin class as a special case of the presentation of the -Chern-Weil homomorphism by Lie integrated simplicial presheaves.
Let be the special orthogonal Lie algebra, the canonical Lie algebra cohomology 3-cocycle and the standard Chern-Simons element witnessing the transgression to the Killing form invariant polynomial.
Then for any smooth manifold, the Lie integration of presents a morphism morphism
that sends -principal bundles with connection to their Chern-Simons circle 3-bundle with connection and as such represents a differential refinement of the first fractional Pontryagin class
Moreover, the defining presentation on simplicial presheaves of given by the -anafunctor
exhibits exactly the Brylinski-MacLaughlin algorithm for constructing Cech-cocycle representatives for this class.
This is due to (FSS)
By feeding in more general transgressive ∞-Lie algebra cocycles through this machine, we obtain cocycles for more general differential characteristic classes. For instance the next one is the second fractional Pontryagin class of smooth String principal 2-bundles with connection (FSS). Moreover, these constructions naturally yield the full cocycle -groupoids, not just their cohomology sets. This allows to form the homotopy fibers of the -Chern-Weil homomorphism and thus define differential string structures etc., and twisted differential string structures etc. (SSSIII).
This section gives a concise summary of the constructions introduced above.
We have the following diffeological 1- or 2-groupoids.
– the fundamental groupoid of (morphisms are homotopy-classes of paths);
– the path groupoid of (morphisms are thin homotopy-classes of paths)
the path 2-groupoid (2-morphisms are thin homotopy-classes of disks).
the fundamental path 2-groupoid (2-morphisms are homotopy-classes of disks).
Let be a Lie group. We have the following Lie groupoids associated with that
– the coefficient for -principal bundles;
– the inner automorphism 2-group of , a groupal model for the universal principal bundle;
– the coefficient for -principal 2-bundle;
– the coefficient for -principal bundles with connection;
the coefficient for flat -principal bundles with flat connection;
the coefficient for flat -principal 2-bundles;
– the coefficient for -principal bundles with pseudo-connection;
We have the following morphisms between these:
– inclusion of constant paths into all paths;
– sends thin homotopy-classes of paths to their full homotopy classes;
– the morphism which forgets that a connection is flat;
– forgets the connection on a -bundle, induced locally by ;
– the morphism that fills in the integrated curvature between paths enclosing a surface;
the morphism that regards an ordinary connection as a special case of a pseudo-connection, induced as a morphism into a pullback by the two morphisms and ;
For an ∞-Lie algebra or more generally an ∞-Lie algebroid and its untruncated Lie integration, the simplicial presheaf of ∞-Lie algebra valued differential forms is such that lifts
of -cocycles constitute a connection on an ∞-bundle on the principal ∞-bundle defined by :
For fixed CartSp and the sets on the right are sets of ∞-Lie algebra valued differential forms on subject two conditions:
restricted to the fibers the forms become flat and coincide with the forms that define the transition functions;
their curvature characteristic forms descend to the base.
The subsheaf is that for every curvature form has no component along the simplicial directions.
Here are the vertical differential forms on the trivial simplex bundle and on the right we have the canonical sequence Chevalley-Eilenberg algebra Weil algebra invariant polynomials and all morphisms are dg-algebra morphisms.
A triple consisting of
in transgression with an invariant polynomial
mediated by a Chern-Simons element
is exhibited by a commuting diagram
in dgAlg.
The -Chern-Weil homomorphism at this untruncated level is postcomposition with the lift of
to the map
given by forming the pasting composites
This produces a -valued connections with local connection forms the Chern-Simons forms and with curvature the curvature characteristic form .
Under truncation this decends under suitable conditions to the genuine refine -Chern-Weil homomorphism
that sends principal -bundles with connection to circle n-bundles with connection.
The text of this entry is reproduced from the introduction of
A commented list of further related references is at
s
There are actually two such forgetful functors, and . The first sends to , which in topology is known as . The other sends to the classifying space . (see ∞-Lie groupoid – geometric realization). This distinction is effectively the origin of differential cohomology. ↩
Last revised on October 17, 2024 at 16:53:27. See the history of this page for a list of all contributions to it.