Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Lie algebra cohomology
Résumé
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 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.
If 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 . 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 is a simply connected noncompact Lie group, the Lie algebra cohomology of the associated Lie algebra does not necessarily reproduce the de Rham cohomology of . 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 be a Lie algebra over a commutative ring R with universal enveloping algebra , and let M be a representation of (equivalently, a -module). Considering R as a trivial representation of , one defines the cohomology groups
(see Ext functor for the definition of Ext).
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.