nLab infinity-Lie algebra cohomology

Redirected from "Lie algebroid cocycle".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

\infty-Chern-Weil theory

Contents

Idea

The notion of \infty-Lie algebra cohomology generalizes the notion of Lie algebra cohomology from Lie algebras to ∞-Lie algebras.

Definition

For H\mathbf{H} an (∞,1)-topos over duals of algebras over an abelian Lawvere theory TT, we have by the theory of function algebras on ∞-stacks a reflective (∞,1)-subcategory

LH \mathbf{L} \stackrel{\leftarrow}{\hookrightarrow} \mathbf{H}

obtained as the localization of H\mathbf{H} at morphisms that induces isomorphisms in cohomology with coefficients in the canonical line object 𝔸\mathbb{A}, where the small objects in L\mathbf{L} are modeled by duals of cosimplicial algebras.

We may think of L\mathbf{L} as the (∞,1)-category of all ∞-Lie algebroids inside the ∞-Lie groupoids which are the objects of H\mathbf{H}. For instance for TT 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 𝔤\mathfrak{g} is a connected object in L\mathbf{L} and \infty-Lie algebra cohomology is the intrinsic cohomology of H\mathbf{H} restricted to L\mathbf{L}.

Typically L\mathbf{L} 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 \infty-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

Explicit definition

For 𝔤\mathfrak{g} an ∞-Lie algebra and nn \in \mathbb{N}, a cocycle on 𝔤\mathfrak{g} in degree nn with coefficients in the trivial module is a morphism

μ:𝔤b n1 \mu : \mathfrak{g} \to b^{n-1}\mathbb{R}

to the line Lie n-algebra.

Dually this is a dg-algebra morphism

CE(𝔤)CE(b n1):μ CE(\mathfrak{g}) \leftarrow CE(b^{n-1}\mathbb{R}) : \mu

of Chevalley-Eilenberg algebras. here CE(b n1)CE(b^{n-1} \mathbb{R}) is the semifree dga on a single generator in degree nn with vanishing differential. So this is equivalently an element

μ n𝔤 * \mu \in \wedge^n \mathfrak{g}^*

which is closed in CE(𝔤)CE(\mathfrak{g}). For 𝔤\mathfrak{g} an ordinary Lie algebra, this latter description reproduces the traditional definition of cocycles in Lie algebra cohomology.

For the moment see

for more.

(,1)(\infty,1)-topos theoretic interpretation

We may understand the above definitions of \infty-Lie algebra cocycles as a special case of the general notion of the intrinsic cohomology of an (∞,1)-topos by embedding \infty-Lie algebras as infinitesimal ∞-Lie groups into the (∞,1)-topos H=\mathbf{H} = ?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

LH \mathbf{L} \stackrel{\leftarrow}{\hookrightarrow} \mathbf{H}

of a corresponding (∞,1)-topos H\mathbf{H} of structure \infty-groupoids.

As described at ?LieGrpd?, one realization of this general situation for genuine \infty-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 H=Sh(ThCartSp)\mathbf{H} = Sh(ThCartSp) we may take to be the (,1)(\infty,1)-topos of synthetic differential ∞-groupoids. We have then a simplicial Quillen adjunction

(C Alg Δ) op[ThCartSp op,sSet] proj,loc (C^\infty Alg^{\Delta})^{op} \stackrel{\leftarrow}{\hookrightarrow} [ThCartSp^{op}, sSet]_{proj,loc}

between the opposite of the model structure on cosimplicial smooth algebras. This models the reflective inclusion of ∞-Lie algebroids into all synthetic differential \infty-groupoids

LieAlgstackrelSDGrpd. \infty LieAlg stackrel{\leftarrow}{\hookrightarrow} \infty SDGrpd \,.

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

(CAlg Δ) op[CAlg,sSet] proj,cov (CAlg^\Delta)^{op} \stackrel{\leftarrow}{\hookrightarrow} [CAlg,sSet]_{proj,cov}

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 Ξ:Ch + Ab Δ\Xi : Ch^\bullet_+ \to Ab^\Delta 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

Ξ op:dgAlg op Quillen(CAlg Δ) op. \Xi^{op} : dgAlg^{op} \stackrel{\simeq_{Quillen}}{\to} (CAlg^\Delta)^{op} \,.

In total this gives a right Quillen functor

R:dgAlg opΞ op(CAlg Δ) op[CAlg,sSet] proj,cov R : dgAlg^{op} \stackrel{\Xi^{op}}{\to} (CAlg^\Delta)^{op} \to [CAlg, sSet]_{proj,cov}

that models the embedding of \infty-Lie algebroids into a (∞,1)-topos of \infty-Lie groupoids. When restricted to ∞-Lie algebras (\infty-Lie algebroids over the point) the difference between the sites CAlg opCAlg^{op} 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 𝔤\mathfrak{g} and 𝔥\mathfrak{h} \infty-Lie algebras, a cocycle on 𝔤\mathfrak{g} with values in 𝔥\mathfrak{h} is just a morphism

(c:𝔤𝔥)LieAlgLieGrpd (c : \mathfrak{g} \to \mathfrak{h}) \in \infty LieAlg \subset \infty LieGrpd

and the ∞-groupoid of cocycles is

LieGrpd(𝔤,𝔥)LieAlg(𝔤,𝔥). \infty LieGrpd(\mathfrak{g}, \mathfrak{h}) \simeq \infty LieAlg(\mathfrak{g}, \mathfrak{h}) \,.

Such cocycles are modeled by morphisms in dgAlg opdgAlg^{op} from a cofibrant representative of 𝔤\mathfrak{g} to a fibrant representative of 𝔥\mathfrak{h}. Since in dgAlgdgAlg all objects are fibrant, in dgAlg opdgAlg^{op} all objects are cofibrant. The cofibrant objects in the model structure on dg-algebras are the Sullivan algebras CE(𝔥)CE(\mathfrak{h}). In particular for 𝔥=b n1\mathfrak{h} = b^{n-1}\mathbb{R} we have that CE(b n1)CE(b^{n-1}\mathbb{R}) is a Sullivan algebra, so b n1b^{n-1} \mathbb{R} is fibrant in dgAlg opdgAlg^{op}.

In summary, this says that morphisms

CE(𝔤)CE(b n1) CE(\mathfrak{g}) \leftarrow CE(b^{n-1}\mathbb{R})

indeed model the abstract intrinsic (,1)(\infty,1)-topos theoretic notion of cocycles in LieAlgdLieGrpd\infty Lie Algd \subset \infty Lie Grpd.

Examples

Special cases of \infty-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 ω\omega we associate an ∞-Lie algebroid cocycle ν\nu that is in transgression with ω\omega.

The dg-algebra of invariant polynomials is a sub-dg-alghebra of the kernel of the canonical morphism W(𝔞)CE(𝔞)W(\mathfrak{a}) \to CE(\mathfrak{a}) from the Weil algebra to the Chevalley-Eilenberg algebra of 𝔞\mathfrak{a}

inv(𝔞)CE(Σ𝔞)=ker(W(𝔞)CE(𝔞)). inv(\mathfrak{a}) \subset CE(\Sigma \mathfrak{a}) = ker(W(\mathfrak{a}) \to CE(\mathfrak{a})) \,.

From the short exact sequence

CE(Σ𝔞)W(𝔞)CE(𝔞) CE(\Sigma \mathfrak{a}) \to W(\mathfrak{a}) \to CE(\mathfrak{a})

we obtain the long exact sequence in cohomology

H n+1(CE(𝔞))δH n+2(CE(Σ𝔞)). \cdots \to H^{n+1}(CE(\mathfrak{a})) \stackrel{\delta}{\to} H^{n+2}(CE(\Sigma \mathfrak{a})) \to \cdots \,.

We say that μCE(𝔞)\mu \in CE(\mathfrak{a}) is in transgression with ωinv(𝔞)CE(Σ𝔞)\omega \in inv(\mathfrak{a}) \subset CE(\Sigma \mathfrak{a}) if their classes map to each other under the connecting homomorphism δ\delta:

δ:[μ][ω]. \delta : [\mu] \mapsto [\omega] \,.

The following spells out in detail how one finds to a given invariant polynomial ω\omega the cocycle that it is in transgression with.

  1. We first regard the invariant polynomial ω\omega as an element of the Weil algebra W(𝔞)W(\mathfrak{a}) under the inclusion inv(𝔞)W(𝔞)inv(\mathfrak{a}) \hookrightarrow W(\mathfrak{a}), where, by the very definiton of invariant polynomials, it is closed: d W(𝔞)ω=0d_{W(\mathfrak{a})} \omega = 0.

  2. then we find an element cs ωW(𝔞)cs_\omega \in W(\mathfrak{a}) with the property that d W(𝔞)cs ω=ωd_{W(\mathfrak{a})} cs_\omega = \omega. This is guranteed to exist because W(𝔞)W(\mathfrak{a}) has trivial cohomology.

  3. then we send this element cs ωW(𝔞)cs_\omega\in W(\mathfrak{a}) along the restriction map W(𝔞)CS(𝔞)W(\mathfrak{a}) \to CS(\mathfrak{a}) to an elemeent we call ν\nu.

The procedure is illustarted by the following diagram

0 ω ω d CE(𝔞) d W(𝔞) ν cs(ω) CE(𝔞) W(𝔞) inv(𝔞) \array{ 0 && \omega &\leftarrow & \omega \\ \;\;\uparrow^{\mathrlap{d_{CE(\mathfrak{a})}}} && \;\;\uparrow^{\mathrlap{d_{W(\mathfrak{a})}}} \\ \nu &\leftarrow& cs(\omega) \\ \\ \\ \\ CE(\mathfrak{a}) &\leftarrow& W(\mathfrak{a}) &\leftarrow& inv(\mathfrak{a}) }

From the fact that all morphisms involved respect the differential and from the fact that the image of ω\omega in CE(𝔞)CE(\mathfrak{a}) vanishes it follows that

  • this element ν\nu satisfies d CE(𝔞)ν=0d_{CE(\mathfrak{a})} \nu = 0, hence that it is an \infty-Lie algebroid cocycle.

  • any two different choices of cs ωcs_\omega lead to cocylces μ\mu that are cohomologous.

We say ν\nu is a cocycle in transgression with ω\omega. We may call cs ωcs_{\omega} here a Chern-Simons element of ω\omega. Because for A:TX𝔞A : T X \to \mathfrak{a} any collection of ∞-Lie algebroid valued differential forms coming dually from a dg-morphism Ω (X)W(𝔞):A\Omega^\bullet(X) \leftarrow W(\mathfrak{a}) : A the image ω(A)\omega(A) of ω\omega will be a curvature characteristic form and the image cs ω(A)cs_\omega(A) its corresponding Chern-Simons form.

In the case where 𝔤\mathfrak{g} is an ordinary semisimple Lie algebra, this reduces to the ordinary study of ordinary Chern-Simons 3-forms associated with 𝔤\mathfrak{g}-valued 1-forms. This is described in the section Semisimple Lie algebras .

Examples

For 𝔤\mathfrak{g} an semisimple Lie algebra, the transgression between the Killing form-invariant polynomial and the 3-cocycle ,[,]\langle -, [-,-] \rangle 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 n+2n+2.

Examples are

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).

Extensions

In any (∞,1)-topos with its intrinsic notion of cohomology, a cocycle c:XB n+1Ac : X \to \mathbf{B}^{n+1} A classifies an extension B nAX^X\mathbf{B}^n A \to \hat X \to X. This X^\hat X is nothing but the homotopy fiber of cc, or equivalently the B nA\mathbf{B}^n A-principal ∞-bundle classified by cc.

After embedding ∞-Lie algebras into the (∞,1)-topos of ∞-Lie groupoids as described above, the same abstract reasoning applies to \infty-Lie algebra cocycles and the extensions of \infty-Lie algebras that these classify: for c:𝔤b nc : \mathfrak{g} \to b^n \mathbb{R} a cocycle of \infty-Lie algebras, the extension b n1𝔤^𝔤b^{n-1} \mathbb{R} \to \hat \mathfrak{g} \to \mathfrak{g} 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 𝔤\mathfrak{g} an ordinary Lie algebra, this reproduces the ordinary notions of extensions from Lie algebra cohomology and nonabelian Lie algebra cohomology.

Observation

For c:𝔤b nc : \mathfrak{g} \to b^n \mathbb{R} an (n+1)(n+1)-cocycle of an \infty-Lie algebra 𝔤\mathfrak{g}, the ordinary pullback in dgAlg opdgAlg^{op}

g^ inn(b n1) 𝔤 c b n \array{ \hat g &\to& inn(b^{n-1}\mathbb{R}) \\ \downarrow && \downarrow \\ \mathfrak{g} &\stackrel{c}{\to}& b^n \mathfrak{R} }

maps under RR to a pullback diagram of simplicial presheaves which exhibits R(𝔤^)R(\hat \mathfrak{g}) as isomorphic to the homotopy pullback in the homotopy category.

Here the right morphism denotes the dual of the generating cofibration in dgAlgdgAlg, which models the b nb^n \mathfrak{R}-universal principal ∞-bundle.

Proof

Being a right Quillen functor, RR preserves fibrations and pullbacks, hence

Rg^ Rinn(b n1) R𝔤 Rc Rb n \array{ R \hat g &\to& R inn(b^{n-1}\mathbb{R}) \\ \downarrow && \downarrow \\ R \mathfrak{g} &\stackrel{R c}{\to}& R b^n \mathfrak{R} }

is a pullback of a fibration. Since [ThCartSp op,sSet] proj[ThCartSp^{op},sSet]_{proj} is a right proper model category this is a homotopy pullback, even if R𝔤R \mathfrak{g} 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 R𝔤^R \hat \mathfrak{g} represents in the homotopy category Ho([ThCartSp,sSet] proj,cov)Ho([ThCartSp, sSet]_{proj,cov}) the homotopy fiber of Rc:R𝔤Rb nR c : R \mathfrak{g} \to R b^n \mathbb{R}.

Examples

A comprehensive discusson of an ambient \infty-topos in which \infty-Lie algebroid cohomology lives is at

Other notions related to \infty-Lie algebroid cohomology include

References

Discussion of cohomology of L L_\infty-algebras is in

The relation between L L_\infty-cohomology and extension of L L_\infty-algebras is discussed around theorem 3.8 of

The general structure of the threory of \infty-Lie algebroid cohomology and transgression between \infty-Lie algebroid invariant polynomials and -cocycles via Chern-Simons element was given in

A recognition principle for homotopy fibers of L L_\infty-homomorphisms appears as theorem 3.1.13 in

Discussion of extensions of super L-∞ algebras based on the super Poincare Lie algebra is in

The hypercohomology of the Chevalley-Eilenberg-de Rham complex of a Lie algebroid L over a scheme with coefficients in an L-module can be expressed as a derived functor as shown in

Last revised on April 28, 2020 at 08:49:46. See the history of this page for a list of all contributions to it.