this entry is one chapter of geometry of physics
previous chapters: groups, principal connections
next chapter: BPS charges
We had seen that in higher differential geometry, then given any closed differential (p+2)-form , it is natural to ask for a prequantization of it, namely for a circle (p+1)-bundle with connection (equivalently: cocycle in degree--Deligne cohomology) on whose curvature is . In terms of moduli stacks this means asking for lifts of the form
in the homotopy theory of smooth homotopy types.
This immediately raises the question for natural classes of examples of such prequantizations.
One such class arises in infinity-Lie theory, where is a left invariant form on a smooth infinity-group given by a cocycle in L-∞ algebra cohomology. The prequantum n-bundles arising this way are the higher WZW terms discussed here.
In low degree of traditional Lie theory this appears as follows: On Lie groups , those closed -forms which are left invariant forms may be identified, via the general theory of Chevalley-Eilenberg algebras, with degree -cocycles in the Lie algebra cohomology of the Lie algebra corresponding to . We have where is the Maurer-Cartan form on . These cocycles in turn may arise, via the van Est map, as the Lie differentiation of a degree--cocycle in the Lie group cohomology of itself, with coefficients in the circle group .
This happens to be the case notably for a simply connected compact semisimple Lie group such as SU or Spin, where , hence , is the Lie algebra 3-cocycle in transgression with the Killing form invariant polynomial . This is, up to normalization, a representative of the de Rham image of a generator of .
Generally, by the discussion at geometry of physics – principal bundles, the cocycle modulates an infinity-group extension which is a circle p-group-principal infinity-bundle
whose higher Dixmier-Douady class class is an integral cohomology lift of the real cohomology class encoded by under the de Rham isomorphism. In the example of Spin and this extension is the string 2-group.
Such a Lie theoretic situation is concisely expressed by a diagram of smooth homotopy types of the form
where is the de Rham coefficients (see also at geometry of physics – de Rham coefficients) and where the homotopy filling the diagram is what exhibits as a de Rham representative of .
Now, by the very homotopy pullback-characterization of the Deligne complex (here), such a diagram is equivalently a prequantization of :
For as above, we have and so here is a circle 2-bundle with connection, often referred to as a bundle gerbe with connection. As such, this is also known as the WZW gerbe or similar.
This terminology arises as follows. In (Wess-Zumino 84) the sigma-model for a string propagating on the Lie group was considered, with only the standard kinetic action term. Then in (Witten 84) it was observed that for this action functional to give a conformal field theory after quantization, a certain higher gauge interaction term has to the added. The resulting sigma-model came to be known as the Wess-Zumino-Witten model or WZW model for short, and the term that Witten added became the WZW term. In terms of string theory it describes the propagation of the string on the group subject to a force of gravity given by the Killing form Riemannian metric and subject to a B-field higher gauge force whose field strength is . In (Gawedzki 87) it was observed that when formulated properly and generally, this WZW term is the surface holonomy functional of a connection on a bundle gerbe on . This is equivalently the that we just motivated above.
Later, such WZW terms, or at least their curvature forms , were recognized all over the place in quantum field theory. For instance the Green-Schwarz sigma-models for super p-branes each have an action functional that is the sum of the standard kinetic action plus a WZW term of degree .
In general WZW terms are “gauged” which means, as we will see, that they are not defined on the given smooth infinity-group itself, but on a bundle of differential moduli stacks over that group, such that a map is a pair consisting of a map and of a higher gauge field on (a “tensor multiplet” of fields).
Here we discuss the general construction and theory of such higher WZW terms.
We discuss how every cocycle in L-∞ algebra cohomology has a Lie integration to a higher WZW term of the form
where is a differential extension of the smooth -group that is the universal Lie integration of , and where is the group of periods of on that group.
This construction is a differential refinement of Lie integration, so we start with recalling the relevant constructions and facts of Lie integration.
So let be an L-∞ algebra of finite type.
Write
for the Chevalley-Eilenberg algebra of an L-∞ algebra ;
for the cosimplicial smooth manifold with corners which is in degree the standard -simpliex ;
for the de Rham complex of those differential forms on which have sitting instants, in that in an open neighbourhood of the boundary they are constant perpendicular to any face on their value at that face;
for for the de Rham complex of differential forms on which when restricted to each point of have sitting instants on ;
for the subcomplex of forms that in addition are vertical differential forms with respect to the projection .
For an L-∞ algebra, write
for the simplicial presheaf
which is the universal Lie integration of ;
for the simplicial presheaf
of those differential forms on with at least one leg along ;
for the canonical inclusion of the degree-0 piece, regarded as a simplicial constant simplicial presheaf.
From the discussion at Lie integration:
;
for an ordinary Lie algebra, then for the 2-coskeleton
for the simply connected Lie group associated to by traditional Lie theory. If is furthermore a semisimple Lie algebra, then also
for the line Lie p+1-algebra, then
The constructions in def. are clearly functorial: given a homomorphism of L-∞ algebras
it prolongs to a homomorphism of presheaves
and of simplicial presheaves
etc.
A degree--L-∞ cocycle on an L-∞ algebra is a homomorphism of the form
to the line Lie (p+2)-algebra . The formal dual of this is the homomorphism of dg-algebras
which manifestly picks a -closed element in .
Precomposing this with a flat L-∞ algebra valued differential form
Given an L-∞ cocycle
as in example , then its group of periods is the discrete additive subgroup of those real numbers which are integrations
of the value of , as in example , on L-∞ algebra valued differential forms
over the boundary of the (p+3)-simplex (which are forms with sitting instants on the -dimensional faces that glue together; without restriction of generality we may simply consider forms on the -sphere ).
Given an L-∞ cocycle , as in example , then the universal Lie integration of , via def. and remark , descends to the -coskeleton
up to quotienting the coefficients by the group of periods of , def. , to yield the bottom morphism in
This is fairly immediate from the definitions, detailed discussion is in (FSS 12).
Here and in the following we are freely using example to identify . Establishing this is the only real work in prop. .
For an L-∞ cocycle, then there is the following canonical commuting diagram of simplicial presheaves
which is given
Moreover, this presents a refinement of the canonical Hodge filtration on , def. , along the cocycle which Lie integrates via prop. .
Write
for the homotopy pullback of the left vertical morphism in prop. along (the modulating morphism for) the Maurer-Cartan form of , i.e. for the object sitting in a homotopy Cartesian square of the form
For the special case that is an ordinary Lie group, then , hence in this case the morphism being pulled back in def. is an equivalence, and so in this case nothing new happens, we get .
On the other extreme, when is the circle (p+1)-group, then def. reduces to the homotopy pullback that characterizes the Deligne complex and hence yields
This shows that def. is a certain non-abelian generalization of ordinary differential cohomology. We find further characterization of this below in corollary , see remark .
From example one see the conceptial meaning of def. :
For a Lie group, then the de Rham coefficients are just globally defined differential forms, (by the discussion here), and in particular therefore the Maurer-Cartan form is a globally defined differential form. This is no longer the case for general smooth ∞-groups . In general, the Maurer-Cartan forms here is a cocycle in hypercohomology, given only locally by differential forms, that are glued nontrivially, in general, via gauge transformations and higher gauge transformations given by lower degree forms.
But the WZW terms that we are after are supposed to be prequantizations of globally defined Maurer-Cartan forms. The homotopy pullback in def. is precisely the universal construction that enforces the existence of a globally defined Maurer-Cartan form for , namely .
Given an L-∞ cocycle , then via prop. , prop. and using the naturality of the Maurer-Cartan form, we have a morphism of cospan diagrams of the form
By the homotopy fiber product characterization of the Deligne complex this yields a morphism of the form
which modulates a p+1-connection/Deligne cocycle on the differentially extended smooth -group from def. .
This we call the WZW term obtained by universal Lie integration from .
Essentially this construction originates in (FSS 13).
The WZW term of def. is a prequantization of
More generally, one has a sequence of L-∞ cocycles, each defined on the extension that is classified by the previous one – a bouquet of cocycles.
In each stage, for a cocycle and the extension that it classifies (its homotopy fiber), then the next cocycle is of the form
The homotopy fiber of is given by the ordinary pullback
where is defined by its Chevalley-Eilenberg algebra being the Weil algebra of , which is the free differential graded algebra on a generator in degree , and where the right vertical map takes that generator to 0 and takes its free image under the differential to the generator of .
This follows with the recognition principle for L-∞ homotopy fibers.
A homotopy fiber sequence of L-∞ algebras induces a homotopy pullback diagram of the the associated objects of L-∞ algebra valued differential forms, def. , of the form
(hence an ordinary pullback of presheaves, since these are all simplicially constant).
The construction preserves pullbacks ( is an anti-equivalence onto its image, pullbacks of (pre-)-sheaves are computed objectwise, the hom-functor preserves pullbacks in the covariant argument).
Observe then (see the discussion at L-∞ algebra valued differential forms), that while
we have
We say that a pair of L-∞ cocycles is consecutive if the domain of the second is the extension (homotopy fiber) defined by the first
and if the truncated Lie integrations of these cocycles via prop. preserves the extension property in that also
The issue of the second clause in def. is to do with the truncation degrees: the universal untruncated Lie integration preserves homotopy fiber sequences, but if there are non-trivial cocycles on in between and , for , then these will remain as nontrivial homotopy groups in the higher-degree truncation (see Henriques 06, theorem 6.4) but they will be truncated away in and will hence spoil the preservation of the homotopy fibers through Lie integration.
Notice that extending along consecutive cocycles is like the extension stages in a Whitehead tower.
Given two consecutive L-∞ cocycles , def. , let
and
be the WZW terms obtained from the two cocycles via def. .
There is a homotopy pullback square in smooth homotopy types of the form
Consider the following pasting composite
where
the top left square is the evident homotopy;
the right square is the naturality of the Maurer-Cartan form construction.
Under forming homotopy limits over the horizontal cospan diagrams here, this turns into
by prop. . On the other hand, forming homotopy limits vertically this turns into
(on the left by corollary , on the right by the second clause in def. ).
The homotopy limit over that last cospan, in turn, is . This implies the claim by the fact that homotopy limits commute with each other.
Prop. says how consecutive pairs of -cocycles Lie integrate suitably to consecutive pairs of WZW terms.
In the above situation there is a homotopy fiber sequence of the form
By prop. and the pasting law, the homotopy fiber of is equivalently the homotopy fiber of
Corollary says that is a bundle of moduli stacks for differential cohomology over . This means that maps
(which are the fields of the higher WZW model with WZW term ) are pairs of plain maps together with a differential cocycle on , i.e. a -form connection on , which is twisted by in a certain way.
This oocurs for the (properly globalized) Green-Schwarz super p-brane sigma models of all the D-branes and of the M5-brane. For the D-branes and so there is a 1-form connection on their worldvolume, the Chan-Paton gauge field. For the M5-brane and so there is a 2-form connection on its worldvolume, the self-dual higher gauge field in 6d.
We discuss the general abstract formulation of WZW terms in a cohesive (infinity,1)-topos.
Throughout, let
be an object equipped with the structure of a braided ∞-group, i.e. with specified double delooping .
a chosen Hodge filtration;
be any object equipped with ∞-group structure, i.e. with specified delooping ;
a morphism, hence a cocycle in the group cohomology of with coefficients in .
Write
for the induced coefficients for -differential cohomology, as discussed at geometry of physics – principal connections;
for the infinity-group extension classified by .
A refinement of the Hodge filtration of along the cocycle is a choice of 0-truncated object and a completion to a diagram
We write for the homotopy pullback of this refinement along the Maurer-Cartan form of
Let Smooth∞Grpd and the circle (p+1)-group.
For an ordinary Lie group, then may be taken to be the Lie algebra cocycle corresponding to and then .
On the opposite extreme, for itself with the identity, then is the coefficients for ordinary differential cohomology (the Deligne complex under Dold-Kan correspondence and infinity-stackification).
Hence a more general case is a fibered product of these two, where is such that a map is equivalently a pair consisting of a map and of differential -form data on . This is the case of relevance for WZW models of super p-branes with “tensor multiplet” fields on them, such as the D-branes and the M5-brane.
In the situation of def. there is an essentially unique prequantization
of the closed differential form
whose underlying -principal ∞-bundle is modulated by the looping of the original cocycle.
This we call the WZW term of with respect to the chosen refinement of the Hodge structure.
The morphism in question is the image under forming homotopy limits of the morphism of cospan diagrams
where the top square is from def. and where the bottom square is the naturality square of the homotopy fiber sequence that defines the Maurer-Cartan forms (see here).
…definite globalization of WZW terms…
Last revised on June 27, 2019 at 12:28:49. See the history of this page for a list of all contributions to it.