Context
The curvature of ∞-Lie algebroid valued differential forms is a measure for their cohomological non-triviality. It generalizes the notion of curvature for Lie algebra value forms to that if differential forms with values in L-∞ algebras and, more generally ∞-Lie algebroids.
For the discussion we place ourselves in the context of a smooth (∞,1)-topos and use the ∞-Lie theory available there.
For an ∞-Lie algebroid, a morphism
from the infinitesimal path ∞-groupoid of some into is a collection of flat ∞-Lie algebroid valued differential forms.
With the tangent Lie algebroid of itself, we have that
is a collection of not-necessarily flat -valued differential forms.
…
This collection of -valued differential forms is the curvature characteristic forms of .
The curvature itself here denotes the “coned part” of . This is extracted cleanly by passing from ∞-Lie algebroids to their Chevalley-Eilenberg algebras
The sequence of Chevalley-Eilenberg dg-algebras corresponding to is
where
is the plain Chevalley-Eilenberg algebra of ;
is the Weil algebra of ;
is the algebra of invariant polynomials on .
Concretely we have with the semi-free dga
that
consists of the original and one shifted copy of the underlying graded vector space .
Then for
a collection of not-necessarily flat -valued differential forms, their curvature forms is the composite in the category of underlying algebras
Notice that when is an Lie n-algebra then has
a 2-form curvature component ;
a 3-form curvature component ;
and so on, up to…
an -form curvature component .
(“fake curvature”) Especially in the case in the context of principal 2-bundles with connection, the 2-form curvature has sometimes been called fake curvature . This terminology was motivated from the fact that for an ordinary connection on a bundle, only a 2-form curvature piece exists, as this corresponds to the case where is a Lie 1-algebra. For general there is no real sense in which the top-degree curvature form were more genuinely a curvature form than the lower degree forms. All of them together constitute the curvature form data of a non-flat -Lie ∞-Lie algebroid valued differential forms.
For a homogeneous element with as above, we say that the commutativity of
given by the fact that is a morphism of dg-algebras is the Bianchi identity satisfied by the curvature forms .
Morphisms encoding ∞-Lie algebroid valued differential forms arise as Cartan-Ehresmann ∞-connections on principal ∞-bundles. In applications – see for instance the discussion at differential twisted String and Fivebrane structures – these -bundles with connections are typically not plain differential cocycles, but twisted differential cocycles.
This means in particular that
of ∞-Lie algebroids
there is a prescribed twist given by -valued differential forms
a collection of -twisted -valued differential forms is a collection of -valued differential forms such that the underlying -forms are given by , i.e. such that fits into the diagram
or dually
Then one says that the twisted Bianchi identity of regarded as -twisted -valued differential forms is the (ordinary) Bianchi identity of regarded as -valued differential forms.
While the notion of curvature forms is a useful one in applications, it is strictly not an invariant notion as it is a bit evil.
The invariant intrinsic information on the curvature of ∞-Lie algebroid valued differential forms is instead measured by the curvature characteristic forms given by the composite
Lots of details on this are in
Here we spell out the example of 1-forms with values in an ordinary Lie algebra. And to facilitate comparison with (large) parts of the literature, we spell out everything in component formulas after choosing some basis.
So consider an ordinary Lie algebra with Lie bracket .
We describe the familiar notion of -valued differential forms and their curvatures and Bianchi identities as a special case of the above general nonsense.
Recall first of all that and how the Lie algebra is equivalently encoded in its Chevalley-Eilenberg dg-algebra: this is the Grassmann algebra
on the dual vector space underlying the Lie algebra, equipped with the derivation wich is simply the dual of the Lie bracket
extended by the graded Leibnitz rule to all of .
So if we choose a basis of and a corresponding dual basis of then with the structure constants of the Lie bracket in this basis
we have that is just the algebra obtained by formally wedging the together in expressions like , such that we throw in a sign when two of them change place
(we regard the s as being of degree 1, like a 1-form) and on which the differential acts as
Recall again that this is just the Lie bracket dualized and expressed in a basis. One advantage of this dualization is that the Jacobi identity becomes an easy statement this way: it is equivalent to the statement that the differential squares to 0, i.e. .
One may want to check this explicitly in the chosen basis, using the above formulas:
where we used the above definition, the graded Leibniz rule satisfied by (by definition) and then in the last line denoted by square brackets on the indices the antisymmetrization of these indices, as usual in the component notation. And indeed, the expression
is the expression of the Jacobi identity of the Lie bracket in component form.
The Grassmann algebra together with this differential form the dg-algebra that is called the Chevalley-Eilenberg algebra
of the Lie algebra .
Using just this dg-algebra we can already talk in a nice way about -valued differential forms.
Consider some manifold and the deRham complex . This is also a dg-algebra, if course.
But let us disregard the deRham differential and the above differential on for a moment and just regarded the underlying graded commutative algebras with their respective wedge products. Then consider morphisms of graded commutative algebras
Such a morphism is supposed respect the grading. So the generator of , which is of degree 1, has to map to some degree 1 element in , i.e. to a 1-form. This 1-form we can conveniently call :
And now, since a Grassmann algebra is a free graded commutative algebra, this choice already fixes the entire morphism all wedge products of generators of the Chevalley-Eilenberg algebra have to map to the corresponding wedge products of 1-forms, for instance:
where now on the right we have the wedge product of differential forms on .
So we have have found that is, for each basis element of , given by a 1-form . We may collect these 1-forms together and write
This is the -valued 1-form. The space
is the space of -valued 1-forms on .
For the above derivation of the morphism as a -valued 1-form we haven’t yet used that the algebras in question here are equipped with differentials. We want to check to which degree the morphism respects these differentials. We say it does respect them if it doesn’t matter whether we first apply the morphism
and then the deRham differential
or first the Chevalley-Eilenberg differential
and then the morphism
We say the differentials are respected if these two results coincide, i.e. if the 2-forms
vanishes. These 2-forms are the components of the curvature 2-form of . If they vanish, this means that the diagram
commutes.
The algebraic relations that we have derived as a very obvious geometric interpretation. from the discussion at Chevalley-Eilenberg algebra we know that all these algebras that we are dealing with are naturally thought of as being the algebra of funcions on the space of morphisms of certain ∞-Lie groupoids. For our simple special case here this is very simple:
The deRham complex may be thought of as the algebra of functions on the infinitesimal path ∞-groupoid . This has as objects the points of , as morphisms infinitesimal paths
in
as 2-morphisms infinitesimal little surfaces
in , and so on.
On the other hand, is the algebra of functions on the infinitesimal version of what is called the delooping groupoid of the Lie group of which is a Lie algebra. This has a single object , and a morphism is an infinitesimal group element
for the neutral element of the group (the identity), for an element of the Lie algebra as before and for some coefficient.
A 2-morphism is an infinitesimal surface bounded by such infinitesimal 1-morphisms such that going either way around the surface
produces the same result when then morphisms are composed using the product in the Lie group: the top right way around the square here yields
and the other way round yields
A morphism of dg-algebras of the form we have been considering
is now evidently equivalenty a morphism
that sends infinitesimal paths in to infinitesimal group elements of the form :
If we denote by
the tangent vector that connects the infinitesimally close points and and write as a function of the first point and the vector pointing away from it, then this reads
We can now look at what this assignment of infinitesimal group elements to infinitesimal paths does to a little square in as above, with sides spanned by tangent vectors and . We find
For the result on the right to qualify as a 2-morphism in we need that
going around the top right edges, which yields
is the same as
To express what this means as a condition at the point , we may Taylor expand to first order
and
Then some terms cancel and the above condition becomes, to second order
In other words, the expression
has to vanish. This is the curvature form that we already found above by more algebraic means.
If this does not vanish, then we don’t really have a morphism . But then we instead have some morphism that uses the 1-forms to assigns data to little edges, and that uses the 2-forms to assign data to little surfaces. That morphism then will respect a condition as above, but now on little cubes. That condition is the Bianchi identity
on the curvature 2-form.
(… so much for the moment, to be continued …)
This section discussess examples of -Lie algebroid valued forms with twisted Bianchi identities. Some of the twisted examples appearing in physics are discussed at differential twisted String and Fivebrane structures.
Let be the L-∞ algebra of the -fold delooping of the Lie group .
Then is the Eilenberg-MacLane dg-algebra and a flat -valued differential form datum
is precisely a closed n-form on . A non-flat -valued differential form datum
is precisely an arbitrary -form on . Its single non-vanishing curvature component is the -form curvature
The Bianchi identity this satisfies is simply
Consider twisting with respect to the fibration sequence
With respect to this a twisting form datum is an -form . A -twisted -valued differential form datum is an -form but with curvature forms
The Bianchi identity which in the untwisted case was is now the twisted Bianchi identity
details to come, here a quick outline:
by the above, an ordinary -valued form is a 2-form with 3-form curvature . The ordinary Bianchi identity for this is .
A twisted incarnation of this appears as part of the datum of tisted -forms. The other part of this is an -valued 1-form . The twisted Bianchi identity in this case for the 3-form curvature is , where on the right we have the Pontryagin 4-form of .
this (in a slightly more refined form) is known part of the differential form structure of the Green-Schwarz mechanism.