Construction of Cocycles for Chern-Simons 3-Bundles
Posted by Urs Schreiber
In the old article
Jean-Luc Brylinksi and Dennis McLaughlin
A geometric construction of the first Pontryagin class
Quantum Topology, 209-220
(review)
a concrete construction of a Čech cocycle (= local transition data) for a line 3-bundle (aka 2-gerbe) classified by the first Pontrjagin class of a given principal -bundle is discussed, following
Jean-Luc Brylinksi and Dennis McLaughlin
Čech cocycles for characteristic classes
Comm. Math. Phys. 178 (1996)
(pdf, review).
The point of the first article is to interpret the construction of the second in terms of the holonomy of the gerbe on .
Here I want to discuss the following:
- how the fundamental 2-groupoid of the smooth space obtained from the small version of the String Lie 2-algebra (section 6.4.1) as described here is another version of the strict String 2-group
sitting inside the sequence (proposition 20)
- how the construction described by Brylinski and McLaughlin is a special case of the construction of obstructing -bundles for the attempted lift through the above sequence, using weak cokernels as described in the integral way used in the following from slide 518 on and as corresponds differentially to the construction in section 8 of -connections and applications (pdf, blog, arXiv).
A) the construction of
Let be a simple Lie algebra with canonical bilinear invariant form whose normalization we’ll fix such that the associated Lie algebra 3-coycle corresponds to an integral 3-form on the simple, simply connected compact Lie group integrating . See From loop groups to 2-groups for more details.
Recall from section 6.4 that this cocycle defines a Lie 2-algebra
the (small version of the) String Lie 2-algebra (section 6.4.1), which is, according to section 6.5, completly characterized by the fact that for any smooth space , flat -valued differential forms on are tuples consisting of a flat -valued 1-form and a 2-form satisfying :
Of course this is at the heart of André Henriques’ integration of to a smooth Kan complex (a Lie -groupoid) as recalled here – but as also indicated there and further expanded on in Differential forms on smooth spaces, I am thinking that we can in fact use this to integrate to a strict Lie 2-group (as done by more indirect means here, compare slide 152) by first forming the smooth space (a sheaf of sets on smooth test domains) and then forming the strict fundamental path 2-groupoid of that.
For any generalized smooth space (sheaf on smooth test domains) we can form the strict fundamental path 2-groupoid which is itself a groupoid internal to generalized smooth spaces, by following the construction in section 4.1 of Smooth 2-functors and differential forms (pdf, blog).
Morphisms of are smooth maps from the interval with sitting instants and modulo thin homotopies , where a homotopy is called thin if all 2-forms on pulled back along it vanish.
2-Morphisms of are smooth maps (not necessarily thin now, of course) modulo higher homotopies .
As discussed in the entry on Transgression (pdf, blog), the generalized smooth space is defined by the fact that a smooth map from a test domain into it is precisely a choice of flat valued forms on , i.e. an element in .
Therefore:
1-morphisms in are -valued 1-forms on the interval modulo reparameterization. This is the same as reparameterization classes of paths in , starting at the identity. So Up to the fact that reparameterization is divided out here, this is as in From loop groups to 2-groups, only that now composition of 1-morphisms is not the pointwise multiplication in , but is concatenation of paths.
2-morphisms in are flat -valued 1-forms on the unit square, restricting to the given 1-forms on the boundary, together with a 2-form on the unit square, modulo a couple of relations.
By the standard lore about integration of ordinary Lie algebras along the lines discussed here we find that all paths in with the same endpoint may be connected by a 2-morphism.
We divide out all 3-dimensional homotopies:
dividing out the thin 3-dimensional homotopies amounts, again, to dividing out orientation preserving reparameterizations (automorphisms of the unit square) and making orientation-reversing reparameterizations correspond to inverses (dividing out “spikes”). For the 2-form this means, following the reasoning of Integration without integration (pdf, blog) that only its integral over the unit square is left after quotienting. So that’s just a (real, say) number.
finally, not-necessarily thin 3-dimensional homotopies identify two 2-morphism represented each by a flat -valued 1-form and a 2-form on the unit square if the flat 1-forms can be extended to a flat 1-form the unit cube and the 2-forms to a 2-form on satisfying , such that the integrals of the two 2-forms differ by the integral of over the cube:
To recognize this, notice the following: on a simply connected space every flat -valued 1-form may be expressed as for a suitable smooth function. (To construct , fix any point and let for all the value of be the parallel transport of from to along any path connecting them.)
Since the unit cube is simply connected, we find that as a result the following characterization:
2-morphisms in are triples consisting of a loop in starting at the identity (and equipped with another marked point), a surface in cobounding that loop, together with a real number, modulo the relation which identifies two such pairs if the boundary loop coindices, and if the two surfaces can be filled by a cobounding 3-ball such that the difference in the two numbers is the integral of the canonical 3-form on over this 3-ball.
You’ll recognize again the appearance of the construction of the “tautological” bundle gerbe on , as also describe in From loop groups to 2-groups.
The difference here to the construction there is only in the realization of the multiplicative structure on this beast: in horizontal composition is by concatenation of paths, not by the product in .
Notice that has just a single object (as I emphasized here).
So I write for the strict one-object 2-groupoid defined this way, where denotes the underlying strict 2-group.
A 1) re-interpretation using
Notice that, while the label carried by any representative of a 2-morphism in is an element in , its value in the equivalence class of representatives is well defined only modulo : a 3-dimensional homotopy from the constant path to itself divides out the integral of over a closed 3-manifold. Since this form is integral (by assumption on the normalization of ) this is an integer. If we take normalized such that it yields the generator of then every integer arises this way.
We can make this more explicit by incorporating the 3-dimensional homotopies explicitly as 3-morphisms our -group.
This is a general phenomenon: notice that the ordinary (1-)group is equivalent, as a 2-group, to the 2-group coming from the crossed module :
Same for the shifted versions
This means that we can regard, in particular, a String-like extension by shifted
as an extension
From the point of view of obtaining as the fundamental path -groupoid of a generalized smooth space, this may actually be more natural. So if we instead compute where we divide out only thin homotopies up to level three, we find, by the same arguments as before, as a strict 3-group whose 2-morphisms are labeled by loops in labeled by elements in , and whose 3-autmorphisms of the trivial 2-morphisms are labeled by .
The two different perspectives, the 1-group versus the equivalent 2-group underlie the fact that --gerbes are the same as -()-gerbes. On p. 211 of their A geometric construction of the first Pontryagin class Brylinski and McLaughlin take the --gerbe point of view, on p. 215 they take the -2-gerbe point of view.
B) the construction of the obstruction to the lift of a -bundle through the String-extension
Recall from Obstructions for -bundle lifts and from sections Obstruction theory (slide 501) and Obstructing -bundles: integral picture (slide 518) how we compute the cocycles for the “lifting ()-gerbes” or “obstructing -bundles” for lifts of Čech cocycles of -bundles through String-like (or other) extensions:
of their structure group to a structure -group :
we first form the -group denoted
which is the weak cokernel of this inclusion. This is equivalent to
(we may need anafunctorial equivalence for this to be true, which in turn means that the following requires that we have refined the cover sufficiently)
and hence every ordinary Čech cocycle
may always be lifted to a -cocycle. This just means that we can simply choose lifts of all : the failure of these choices to form a genuine lift of the cocyc le to will always be in the image of , hence there is a unique label in of every -simplex measuring that failure.
The obstructing -bundle, finally, is obtained by forgetting everything except these lables of -simplices, which amounts, technically, to projecting the cocycle along the canonical projection
Now apply this to the String extension discussed above. Notice that , turn the crank and compare with Brylinski-McLaughlin: one gets their construction.
More in detail, we obtain the following.
C) The Brylinski-McLaughlin construction in light of the above
We start with a principal -bundle over . Choose a surjective submersion (for instance a cover of by open sets, as they do) such that there is a trivialization of the pulled back bundle .
Actually, a convenient choice of for our particular interest here is to take and use the fact that every principal bundle canonically trivializes when pulled back along its own projection map. More on that below (but this is not what Brylinski-McLaughlin consider, though they could have just as well).
From the local trivialization, we obtain a -cocycle as usual: for every point in a triple intersection, we have an assignment:
Now, to obtain the Čech coycle corresponding to the first Pontrjagin class of this bundle, Brylinski and McLaughlin ask us to first of all lift all the elements in here to paths in starting at the identity and ending at the given element in , and to replace the group product along the edges of the above triangles with concatenation of these paths.
We see now that this is nothing but the object part of an attempted lift through
In general this will fail to be a lift of cocycles, though. As explained above, it does however always yield a lift through the weak cokernel 3-group in that for any choice of lifts as above, there will be a unique way to label the interior of every tetrahedron: namely by extending the map to to the entire tetrahedron, pulling back the 3-cocycle to that and integrating it, regarding the result modulo . This is Brylinski-McLaughlin’s statement on p. 216, last sentence above section 3.
D) Relation to lifts of -connections
In -connections and applications (pdf, blog, arXiv) it is described how to conceive such cocycles entirely Lie algebraically by replacing smooth cocycle pseudo-functors from the Čech groupoid to the structure -group by their differential version from the corresponding Lie algebroid to the corresponding Lie -algebra.
For this purpose, consider in particular the choice of surjective submersion given by the -bundle itself:
By assumption, is simply connected and hence so are the fibers of . But this means that the Čech groupoid whose space of morphism is is nothing by the fundamental vertical path groupoid of the groupoid of all paths in whose projection down along is a constant path.
The Chevalley-Eilenberg algebra of the Lie algebroid corresponding to the fundamental path groupoid of a space is just the algebra of forms on :
Hence the Chevalley-Eilenberg algebra of the Lie algebroid corresponding to the fundamental vertical path groupoid of a space is just the algebra of vertical forms on :
(definition 11, p. 23).
Hence our -bundle cocycle, which is a pseudeofunctor and the obstructing Chern-Simons 3-cocycle which we constructed from the attempted lift of this to a String 2-cocycle all become Lie algebroid morphism whose dual version are DGCA morphisms
and and respectively.
Using this translation, it becomes evident how the discussion of lifts and obstructions in section 8 is the Lie analog of the integral discussion given here.
Re: Construction of Cocycles for Chern-Simons 3-Bundles
I made the remark above that it is useful to look at cocycles not with respect to an open cover
of , but instead using the surjective submersion given by the total space of the principal -bundle itself
But then I forgot to describe what exactly is useful about this. So let me add the following remark:
Since is assumed to be simply connected (I am assuming that) a morphism in the Čech groupoid
is, if we take , precisely a homotopy class of paths in a fiber of . There is the canonical flat -valued 1-form on these fibers, defined by the fact that it sends a vertical vector to the Lie algebra element generating it by the right action of on .
Hence when we take the lift of elements in to paths in ending at these elements which Brylinski-McLaughlin describe (and which I pointed out is a special case of the lift through weak cokernels of -groups) is actually almost canonically given in that it is canonically given after we choose a representative for each homotopy class of paths in the fiber.
Once we do that the path in which we are after is just the path in the fiber, identified as a path in by identitfying the source point of the path with the identity element in the group.
Or in other words: the 1-form on the interval which defined a morphism in the String Lie 2-group is then just the 1-form on the fiber restricted to that path.
This should be compared with section 8, where this vertical 1-form on the fiber indeed represents the cocycle.
And it is a special case of a more general construction, which relates the Lie -algebraic constructions there to the integrated cocycle constructions:
suppose you have an -fold connected fiber and an -functor from the fundamental -groupoid of it with values in the structure -group .
Then we obtain a cocycle for -n-bundles by picking
- one path between any two points;
- one surface between any triangle of paths such chosen paths;
- one volume between any tetrahedron of such chosen surfaces
etc, and restricting our -functor to these chosen representatives.
One sees that the class of the cocycle obtained this way is independent of these choices.
This is one way to see how “a Čech cocycle is a flat transport on the fibers” while a connection for that cocycle is then an extension of that flat transport to a not-necessarily flat transport on the total space.
This is at the heart of the description of -bundles in terms of flat vertical and non-flat general -algebra valued forms in -connections.