Lie algebra cohomology is a cohomology theory for Lie algebras. It can be used to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra.
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 by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by Claude Chevalley and Samuel Eilenberg (1948) to coefficients in an arbitrary Lie module.
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 $\mathfrak 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.
Let $\mathfrak g$ be a Lie algebra over a commutative ring $R$ with universal enveloping algebra $U \mathfrak g$, and let $M$ be a representation of $\mathfrak g$ (equivalently, a $U \mathfrak g$-module). Considering $R$ as a trivial representation of $\mathfrak g$, one defines the cohomology groups
$$ \mathrm {H} ^{n}({\mathfrak {g}};M):=\mathrm {Ext} _{U{\mathfrak {g}}}^{n}(R,M) \text . $$
Equivalently, these are the right derived functors of the left exact invariant submodule functor
$$ M\mapsto M^{\mathfrak {g}}:=\lbrace m\in M\mid xm=0\ {\text{ for all }}x\in {\mathfrak {g}}\rbrace \text . $$
Analogously, one can define Lie algebra homology as
$$ \mathrm {H} _{n}({\mathfrak {g}};M):=\mathrm {Tor} _{n}^{U{\mathfrak {g}}}(R,M) \text , $$
which is equivalent to the left derived functors of the right exact coinvariants functor
$$ M\mapsto M_{\mathfrak {g}}:=M/{\mathfrak {g}}M \text . $$
Some important basic results about the cohomology of Lie algebras include Whitehead's lemmas, Weyl's theorem, and the Levi decomposition theorem.
Source: Wikipedia
