Lie algebra cohomology

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

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (32)

Related people (7)

Related units (2)

Related concepts (7)

Related courses (7)

Related lectures (32)

Lie algebra extension

In the theory of Lie groups, Lie algebras and their representation theory, a Lie algebra extension e is an enlargement of a given Lie algebra g by another Lie algebra h. Extensions arise in several ways. There is the trivial extension obtained by taking a direct sum of two Lie algebras. Other types are the split extension and the central extension. Extensions may arise naturally, for instance, when forming a Lie algebra from projective group representations. Such a Lie algebra will contain central charges.

Koszul complex

In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension.

Group cohomology

In mathematics (more specifically, in homological algebra), group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-module M to elucidate the properties of the group. By treating the G-module as a kind of topological space with elements of representing n-simplices, topological properties of the space may be computed, such as the set of cohomology groups .

Cochains are all you need

In this thesis, we apply cochain complexes as an algebraic model of space in a diverse range of mathematical and scientific settings. We begin with an algebraic-discrete Morse theory model of auto-encoding cochain data, connecting the homotopy theory of d ...

EPFL2024

Conditional Flatness, Fiberwise Localizations, And Admissible Reflections

Jérôme Scherer

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localizatio ...

CAMBRIDGE UNIV PRESS2023

FIBERED TORIC VARIETIES

Leonid Monin

A toric variety is called fibered if it can be represented as a total space of fibre bundle over toric base and with toric fiber. Fibered toric varieties form a special case of toric variety bundles. In this note we first give an introduction to the class ...

Moscow2023

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its

MATH-510: Algebraic geometry II - schemes and sheaves

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

Curl and Exact Sequences

Covers the concept of curl in vector calculus and De Rham cohomology.

Group Cohomology MATH-506: Topology IV.b - cohomology rings

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

Cohomology: Cross Product MATH-506: Topology IV.b - cohomology rings

Explores cohomology and the cross product, demonstrating its application in group actions like conjugation.