Special and general types
Formal Lie groupoids
The notion of -Lie algebra cohomology generalizes the notion of Lie algebra cohomology from Lie algebras to ∞-Lie algebras.
For an (∞,1)-topos over duals of algebras over an abelian Lawvere theory , we have by the theory of function algebras on ∞-stacks a reflective (∞,1)-subcategory
obtained as the localization of at morphisms that induces isomorphisms in cohomology with coefficients in the canonical line object , where the small objects in are modeled by dualy of cosimplicial algebras.
We may think of as the (∞,1)-category of all ∞-Lie algebroids inside the ∞-Lie groupoids wich are the objects of . For instance for the theory of commutative associative algebras over a field, the monoidal Dold-Kan correspondence identified cosimplicial algebras with dg-algebras, which we may think of as the Chevalley-Eilenberg algebras of the ∞-Lie algebroids.
An ∞-Lie algebra is a connected object in and -Lie algebra cohomology is the intrinsic cohomology of restricted to .
Typically is presented by the opposite of a model structure on cosimplicial/cochain algebras: the Chevalley-Eilenberg algebras of the given ∞-Lie algebroids. In terms of that model cocycle in -Lie algebra cohomology have explicit and familiar algebraic expressions. These we discuss in
A discussion of details of how exactly this models the general abstract definition is in
For an ∞-Lie algebra and , a cocycle on in degree with coefficients in the trivial module is a morphism
to the line Lie n-algebra.
Dually this is a dg-algebra morphism
of Chevalley-Eilenberg algebras. here is the semifree dga on a single generator in degree with vanishing differential. So this is equivalently an element
which is closed in . For an ordinary Lie algebra, this latter description reproduces the traditional definition of cocycles in Lie algebra cohomology.
For the moment see
-topos theoretic interpretation
We may understand the above definitions of -Lie algebra cocycles as a special case of the general notion of the intrinsic cohomology of an (∞,1)-topos by embedding -Lie algebras as infinitesimal ∞-Lie groups into the (∞,1)-topos ∞LieGrpd of ∞-Lie groupoids.
For a general recognition principle of homotopy fibers in the model structure for L-infinity algebras see also (Fiorenza-Rogers-Schreiber 13, theorem 3.1.13).
Recall from function algebras on ∞-stacks that ∞-Lie algebroids form the reflective sub-(∞,1)-category
of a corresponding (∞,1)-topos of structure -groupoids.
As described at ∞LieGrpd, one realization of this general situation for genuine -Lie groupoids is as follows:
Let ThCartSp be the site of infinitesimally thickened Cartesian spaces. This is the site for the Cahiers topos. Then the (∞,1)-category of (∞,1)-sheaves we may take to be the -topos of synthetic differential ∞-groupoids. We have then a simplicial Quillen adjunction
between the opposite of the model structure on cosimplicial smooth algebras. This models the reflective inclusion of ∞-Lie algebroids into all synthetic differential -groupoids
Details on this are at function algebras on ∞-stacks. But the model structure on cosimplicial smooth algebrass is the transferred model structure of the model structure on cosimplicial rings, and for the following discussion we can essentially just as well use the analogous Quillen adjunction without the smooth structure originally considered by Bertrand Toen
that is referenced and reviewed in some detail at rational homotopy theory in an (∞,1)-topos.
Notice that the embedding map is just degreewise the Yoneda embedding.
Notice moreover that by the monoidal Dold-Kan correspondence (see there for details) we have that the dual Dold-Kan functor extends to the right adjoint part in a Quillen equivalence between the opposite of the model structure on dg-algebras and the opposite model structure on cosimplicial algebras
In total this gives a right Quillen functor
that models the embedding of -Lie algebroids into a (∞,1)-topos of -Lie groupoids. When restricted to ∞-Lie algebras (-Lie algebroids over the point) the difference between the sites and ThCartSp plays no role. In fact for that case we could just as well restrict to a site of only infinitesimal spaces, because all homs from a finite non-thickened space into an infinitesimal space are trivial anyway.
Therefor for and -Lie algebras, a cocycle on with values in is just a morphism
and the ∞-groupoid of cocycles is
Such cocycles are modeled by morphisms in from a cofibrant representative of to a fibrant representative of . Since in all objects are fibrantm, in all objects are cofibrant. The cofibrant objects in the model structure on dg-algebras are the Sullivan algebras . In particular for we have that is a Sullivan algebra, so is fibrant in .
In summary, this says that morphisms
indeed model the abstract intrinsic -topos theoretic notion of cocycles in .
Special cases of -Lie algebra cohomology are of course
Specific examples include:
Transgression between invariant polynomials and cocycles via Chern-Simons elements
We recall the procedure by which to an ∞-Lie algebroid invariant polynomial we associate an ∞-Lie algebroid cocycle that is in transgression with .
The dg-algebra of invariant polynomials is a sub-dg-alghebra of the kernel of the canonical morphism from the Weil algebra to the Chevalley-Eilenberg algebra of
From the short exact sequence
we obtain the long exact sequence in cohomology
We say that is in transgression with if their classes map to each other under the connecting homomorphism :
The following spells out in detail how one finds to a given invariant polynomial the cocycle that it is in transgression with.
We first regard the invariant polynomial as an element of the Weil algebra under the inclusion , where, by the very definiton of invariant polynomials, it is closed: .
then we find an element with the property that . This is guranteed to exist because has trivial cohomology.
then we send this element along the restriction map to an elemeent we call .
The procedure is illustarted by the following diagram
From the fact that all morphisms involved respect the differential and from the fact that the image of in vanishes it follows that
this element satisfies , hence that it is an -Lie algebroid cocycle.
any two different choices of lead to cocylces that are cohomologous.
We say is a cocycle in transgression with . We may call here a Chern-Simons element of . Because for any collection of ∞-Lie algebroid valued differential forms coming dually from a dg-morphism the image of will be a curvature characteristic form and the image its corresponding Chern-Simons form.
In the case where is an ordinary semisimple Lie algebra, this reduces to the ordinary study of ordinary Chern-Simons 3-forms associated with -valued 1-forms. This is described in the section Semisimple Lie algebras .
For an semisimple Lie algebra, the transgression between the Killing form-invariant polynomial and the 3-cocycle is exhibited by the “ordinary” Chern-Simons element, which gives these action functional of ordinary Chern-Simons theory.
A symplectic Lie n-algebroid is an ∞-Lie algebroid equipped with a nondegenerate binary invariant polynomial in degree .
The coresponding Chern-Simons elements exhibiting the transgression of these invariant polynomials give action functionals for generalized Chern-Simons theory (see the above entries for more details).
In any (∞,1)-topos with its intrinsic notion of cohomology, a cocycle classifies an extension . This is nothing but the homotopy fiber of , or equivalently the -principal ∞-bundle classified by .
After embedding ∞-Lie algebras into the (∞,1)-topos of ∞-Lie groupoids as described above, the same abstract reasoning applies to -Lie algebra cocycles and the extensions of -Lie algebras that these classify: for a cocycle of -Lie algebras, the extension is the homotopy fiber of this morphism in ∞LieGrpd.
a more systematic discussion is now in the section Cohomology of ∞-Lie algebroids at synthetic differential ∞-groupoid.
For an ordinary Lie algebra, this reproduces the ordinary notions of extensions from Lie algebra cohomology and nonabelian Lie algebra cohomology.
For an -cocycle of an -Lie algebra , the ordinary pullback in
maps under to a pullback diagram of simplicial presheaves which exhibits as isomorhic to the homotopy pullback in the homotopy category.
Here the right morphism denotes the dual of the generating cofibration in , which models the -universal principal ∞-bundle.
Being a right Quillen functor, preserves fibrations and pullbacks, hence
is a pullback of a fibration. Since is a right proper model category this is a homotopy pullback, even if is possibly not fibrant. (The detailed argument for that is reproduced at proper model category.)
Since ∞-stackification preserves finite (∞,1)-limits, this is sufficient to deduce that represents in the homotopy category the homotopy fiber of .
A comprehensive discusson of an ambient -topos in which -Lie algebroid cohomology lives is at
Other notions related to -Lie algebroid cohomology include
Discussion of cohomology of -algebras is in
The relation between -cohomology and extension of -algebras is discussed around theorem 3.8 of
The general structure of the threory of -Lie algebroid cohomology and transgression between -Lie algebroid invariant polynomials and -cocycles via Chern-Simons element was given in
A recognition principle for homotopy fibers of -homomorphisms appears as theorem 3.1.13 in
Discussion of extensions of super L-∞ algebras based on the super Poincare Lie algebra is in