Lie algebra cohomology explained

In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces^[1] by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by to coefficients in an arbitrary Lie module.^[2]

Motivation

If

G is a compact simply connected Lie group, then it is determined by its Lie algebra, so it should be possible to calculate its cohomology from the Lie algebra. This can be done as follows. Its cohomology is the de Rham cohomology of the complex of differential forms on G . Using an averaging process, this complex can be replaced by the complex of left-invariant differential forms. The left-invariant forms, meanwhile, are determined by their values at the identity, so that the space of left-invariant differential forms can be identified with the exterior algebra of the Lie algebra, with a suitable differential.

The construction of this differential on an exterior algebra makes sense for any Lie algebra, so it is used to define Lie algebra cohomology for all Lie algebras. More generally one uses a similar construction to define Lie algebra cohomology with coefficients in a module.

If

G is a simply connected noncompact Lie group, the Lie algebra cohomology of the associated Lie algebra ak g does not necessarily reproduce the de Rham cohomology of G . The reason for this is that the passage from the complex of all differential forms to the complex of left-invariant differential forms uses an averaging process that only makes sense for compact groups.

Definition

Let

ak g be a Lie algebra over a commutative ring R with universal enveloping algebra U ak g , and let M be a representation of ak g (equivalently, a U ak g -module). Considering R as a trivial representation of ak g , one defines the cohomology groupsH ^{n(ak{g};M)} : = Ext ^{n} _{U ak{g} }(R, M)

(see Ext functor for the definition of Ext). Equivalently, these are the right derived functors of the left exact invariant submodule functor

M \mapsto M ^{ak{g} } := \.

Analogously, one can define Lie algebra homology as

H _{n(ak{g};M)} : = Tor ^{U ak{g} _{n} }(R, M)

(see Tor functor for the definition of Tor), which is equivalent to the left derived functors of the right exact coinvariants functor

M \mapsto M _{ak{g} } := M / \mathfrak M.

Some important basic results about the cohomology of Lie algebras include Whitehead's lemmas, Weyl's theorem, and the Levi decomposition theorem.

Chevalley–Eilenberg complex

Let

ak{g} be a Lie algebra over a field k , with a left action on the ak{g} -module M . The elements of the Chevalley–Eilenberg complexHom ^{\bullet ak{g},M)} _{k( Λ} are called cochains from ak{g} to M . A homogeneous n -cochain from ak{g} to M is thus an alternating k -multilinear function f\colon Λ ^{nak{g}\toM} . When ak{g} is finitely generated as vector space, the Chevalley–Eilenberg complex is canonically isomorphic to the tensor product M ⊗ Λ ^{\bullet} ak{g} ^{*} , where ak{g} ^{*} denotes the dual vector space of ak{g} .

The Lie bracket

[ ⋅ , ⋅ ]\colon Λ ^{2} ak{g} → ak{g} on ak{g} induces a transpose application d ^{( 1 )} _{ak{g} } \colon \mathfrak^* \rightarrow \Lambda^2 \mathfrak^* by duality. The latter is sufficient to define a derivation d _{ak{g} } of the complex of cochains from ak{g} to k by extending d _{ak{g} }^according to the graded Leibniz rule. It follows from the Jacobi identity that d _{ak{g} } satisfies d _{ak{g} }^2 = 0 and is in fact a differential. In this setting, k is viewed as a trivial ak{g} -module while k \sim Λ ^{0ak{g}} ^{*} \subseteq Ker (d _{ak{g} }) may be thought of as constants.

In general, let

\gamma \in Hom ( ak{g}, End (M)) denote the left action of ak{g} on M and regard it as an application d ^{( 0 )} _{\gamma} \colon M → M ⊗ ak{g} ^{*} . The Chevalley–Eilenberg differential d is then the unique derivation extending d ^{( 0 )} _{\gamma} and d _{ak{g} }^ according to the graded Leibniz rule, the nilpotency condition d ^{2} = 0 following from the Lie algebra homomorphism from ak{g} to End (M) and the Jacobi identity in ak{g} .

Explicitly, the differential of the

n -cochain f is the (n +1 ) -cochain df given by:^[3] \begin{align} (d f)\left(x _{1,} \ldots, x _{n+1} \right) = &\sum _{i} ( -1 ) ^{i+1} x _{i} f\left(x _{1,} \ldots, \hat x _{i,} \ldots, x _{n+1} \right) + \\ &\sum _{i<j} ( -1 ) ^{i+j} f\left(\left[x _{i,} x _{j\right],} x _{1,} \ldots, \hat x _{i,} \ldots, \hat x _{j,} \ldots, x _{n+1} \right) , \end{align}

where the caret signifies omitting that argument.

When

G is a real Lie group with Lie algebra ak{g} , the Chevalley–Eilenberg complex may also be canonically identified with the space of left-invariant forms with values in M , denoted by \Omega ^{\bullet} (G,M) ^{G} . The Chevalley–Eilenberg differential may then be thought of as a restriction of the covariant derivative on the trivial fiber bundle G x M → G , equipped with the equivariant connection \tilde{\gamma} \in \Omega ^{1(G,End(M))} associated with the left action \gamma \in Hom ( ak{g}, End (M)) of ak{g} on M . In the particular case where M = k = R is equipped with the trivial action of ak{g} , the Chevalley–Eilenberg differential coincides with the restriction of the de Rham differential on \Omega ^{\bullet} (G) to the subspace of left-invariant differential forms.

Cohomology in small dimensions

The zeroth cohomology group is (by definition) the invariants of the Lie algebra acting on the module:

H ^{0(ak{g};M)} = M ^{ak{g} } = \.

The first cohomology group is the space of derivations modulo the space of inner derivations

H ^{1(ak{g};M)} = Der ( ak{g}, M)/ Ider ( ak{g}, M) ,where a derivation is a map d from the Lie algebra to M such thatd[x,y] = xdy - ydx~ and is called inner if it is given by dx = xa~ for some a in M .

The second cohomology group

H ^{2(ak{g};M)} is the space of equivalence classes of Lie algebra extensions0 → M → ak{h} → ak{g} → 0 of the Lie algebra by the module M .

Similarly, any element of the cohomology group

H ^{n+1} ( ak{g}; M) gives an equivalence class of ways to extend the Lie algebra ak{g} to a "Lie n -algebra" with ak{g} in grade zero and M in grade n .^[4] A Lie n -algebra is a homotopy Lie algebra with nonzero terms only in degrees 0 through n .

Examples

Cohomology on the trivial module

When

M = R , as mentioned earlier the Chevalley–Eilenberg complex coincides with the de-Rham complex for a corresponding compact Lie group. In this case M carries the trivial action of ak{g} , so xa = 0 for every x \in ak{g}, a \in M .

• The zeroth cohomology group is

M .

• First cohomology: given a derivation

D , xDy = 0 for all x and y , so derivations satisfy D([x,y]) = 0 for all commutators, so the ideal [ ak{g}, ak{g}] is contained in the kernel of D .

• • If

[ ak{g}, ak{g}] = ak{g} , as is the case for simple Lie algebras, then D \equiv 0 , so the space of derivations is trivial, so the first cohomology is trivial.

• • If

ak{g} is abelian, that is, [ ak{g}, ak{g}] = 0 , then any linear functional D: ak{g} → M is in fact a derivation, and the set of inner derivations is trivial as they satisfy Dx = xa = 0 for any a \in M . Then the first cohomology group in this case is M ^{dimak{g} }. In light of the de-Rham correspondence, this shows the importance of the compact assumption, as this is the first cohomology group of the n -torus viewed as an abelian group, and R ^{n} can also be viewed as an abelian group of dimension n , but R ^{n} has trivial cohomology.

• Second cohomology: The second cohomology group is the space of equivalence classes of central extensions

$$0\; \backslash rightarrow\; \backslash mathfrak\; \backslash rightarrow\; \backslash mathfrak\; \backslash rightarrow\; \backslash mathfrak\; \backslash rightarrow\; 0.$$Finite dimensional, simple Lie algebras only have trivial central extensions: a proof is provided here.

Cohomology on the adjoint module

When

M = ak{g} , the action is the adjoint action, x ⋅ y = [x,y] = ad (x)y .

• The zeroth cohomology group is the center

ak{z}( ak{g})

• First cohomology: the inner derivations are given by

Dx = xy = [x,y] = - ad (y)x , so they are precisely the image of ad : ak{g} → End ( ak{g}). The first cohomology group is the space of outer derivations.

See also

• BRST formalism in theoretical physics.
• Gelfand–Fuks cohomology

Notes and References

1. Cartan. Élie. Élie Cartan. 1929. Sur les invariants intégraux de certains espaces homogènes clos. Annales de la Société Polonaise de Mathématique . 8. 181–225.
2. Koszul. Jean-Louis. Jean-Louis Koszul. 1950. Homologie et cohomologie des algèbres de Lie. Bulletin de la Société Mathématique de France. 78. 65–127. 10.24033/bsmf.1410. 2019-05-03. https://web.archive.org/web/20190421184326/http://www.numdam.org/item/BSMF_1950__78__65_0/. 2019-04-21. live. free.
3. Book: An introduction to homological algebra. Weibel. Charles A.. Charles Weibel. 1994. Cambridge University Press. 240.
4. Baez. John C.. Crans. Alissa S.. John C. Baez. 2004. Higher-dimensional algebra VI: Lie 2-algebras . Theory and Applications of Categories. 12. 492–528 . math/0307263 . 10.1.1.435.9259 . 2003math......7263B .