Lie algebra cohomology

Lie algebra cohomology

In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was defined by Chevalley and Eilenberg (1948) in order to give an algebraic construction of the cohomology of the underlying topological spaces of compact Lie groups. In the paper above, a specific complex, called the Koszul complex, is defined for a module over a Lie algebra, and its cohomology is taken in the normal sense.

Contents

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. This can be replaced by the complex of equivariant differential forms, which can in turn 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 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.

Definition

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}^n_{U\mathfrak{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^{\mathfrak{g}} := \{ m \in M \mid gm = 0\ \text{ for all } g \in \mathfrak{g}\}.

Analogously, one can define Lie algebra homology as

\mathrm{H}_n(\mathfrak{g}; M) := \mathrm{Tor}_n^{U\mathfrak{g}}(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_{\mathfrak{g}} := M / \mathfrak{g} M.

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

Cohomology in small dimensions

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

H^0(\mathfrak{g}; M) =M^{\mathfrak{g}} = \{ m \in M \mid gm = 0\ \text{ for all } g \in \mathfrak{g}\}.

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

H^1(\mathfrak{g}; M) =Der(\mathfrak{g}, M)/Ider(\mathfrak{g}, M)

where a derivation is a map d from the Lie algebra to M such that

d[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(\mathfrak{g}; M)

is the space of equivalence classes of Lie algebra extensions

0\rightarrow M\rightarrow \mathfrak{h}\rightarrow\mathfrak{g}\rightarrow 0

of the Lie algebra by the module M.

There do not seem to be any similar easy interpretations for the higher cohomology groups.

See also

References

External links

An introduction to Lie algebra cohomology at Scholarpedia.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Lie algebra — In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term… …   Wikipedia

  • Lie algebra bundle — In Mathematics, a weak Lie algebra bundle : xi=(xi, p, X, heta), is a vector bundle xi, over a base space X together with a morphism : heta : xi oplus xi ightarrow xi which induces a Lie algebra structure on each fibre xi x, .A Lie algebra bundle …   Wikipedia

  • Quasi-Frobenius Lie algebra — In mathematics, a quasi Frobenius Lie algebra :(mathfrak{g}, [,,,,,,,] ,eta ) over a field k is a Lie algebra :(mathfrak{g}, [,,,,,,,] ) equipped with a nondegenerate skew symmetric bilinear form :eta : mathfrak{g} imesmathfrak{g} o k, which is …   Wikipedia

  • Affine Lie algebra — In mathematics, an affine Lie algebra is an infinite dimensional Lie algebra that is constructed in a canonical fashion out of a finite dimensional simple Lie algebra. It is a Kac–Moody algebra whose generalized Cartan matrix is positive semi… …   Wikipedia

  • Graded Lie algebra — In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket… …   Wikipedia

  • Cohomology of algebras — In mathematics, the homology or cohomology of an algebra may refer to Banach algebra cohomology of a bimodule over a Banach algebra Cyclic homology of an associative algebra Group cohomology of a module over a group ring or a representation of a… …   Wikipedia

  • Cohomology — In mathematics, specifically in algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a co chain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries.… …   Wikipedia

  • Álgebra de Virasoro — El álgebra de Virasoro es una forma de álgebra de Lie compleja, dada como extensión central del campo vectorial de los polinomios complejos sobre la circunferencia unitaria; esta álgebra toma su nombre del físico argentino Miguel Ángel Virasoro.… …   Wikipedia Español

  • Lie groupoid — In mathematics, a Lie groupoid is a groupoid where the set Ob of objects and the set Mor of morphisms are both manifolds, the source and target operations:s,t : Mor o Ob are submersions, and all the category operations (source and target,… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”