Back to the index. Or to the chambers

This article has 64 links. View as Cloud or List.

Algebraic Mapping Associative Group Action Commutative Ring Differntiable Function Functor Argument Proof Linear Transformation Integral Domain First Order Theories Vector Space Operator Manifold Euclidean Transformation Quantifier Basic Polynomial Even Number Compact Structures And Satisfaction Category Function Group Signature Representation Lie Algebra Algebraic System Subfunction Isomorphism Real Number Field Frame Sequence Search Problem Fixed Points Of Normal Functions Differential Equation Algebraic Topology Lie Algebra Vector Field Word Tangent Space Connection Lie Group Graph Theory Linear Combination Algebras Commutator Bracket Differential Forms Natural Equivalence Vector Fields Lagrangian And Eulerian Description Derivation Proof Of Cohomology Group Theorem Group Cohomology Abelianization K Theory Multilinear Group Extension Alternating Form Contraction Extension Cohomological Complex Of Topological Vector Spaces De Rham Cohomology Tensor Algebra Injective Resolution

1	Category
1	Isomorphism
1	Functor
1	Manifold
1	Euclidean Transformation
1	Linear Transformation
1	Frame
1	Vector Space
1	Differntiable Function
1	Compact
1	Basic Polynomial
1	Field
1	Real Number
1	Algebraic System
1	Proof
1	Sequence
1	Signature
1	Structures And Satisfaction
1	Function
1	First Order Theories
1	Mapping
1	Subfunction
1	Even Number
1	Argument
1	Operator
1	Quantifier
1	Integral Domain
1	Algebraic
1	Commutative Ring
1	Associative
1	Group Action
1	Group
1	Representation Lie Algebra
2	Differential Equation
2	Search Problem
2	Algebraic Topology
2	Fixed Points Of Normal Functions
2	Word
2	Vector Field
2	Lie Algebra
3	Tangent Space
3	Connection
3	Lie Group
3	Linear Combination
3	Graph Theory
3	Commutator Bracket
3	Algebras
4	Natural Equivalence
4	Vector Fields Lagrangian And Eulerian Description
4	Differential Forms
5	Derivation
6	Alternating Form
6	Multilinear
7	K Theory
7	Proof Of Cohomology Group Theorem
7	Abelianization
7	Group Extension
8	Group Cohomology
9	De Rham Cohomology
10	Cohomological Complex Of Topological Vector Spaces
10	Tensor Algebra
11	Contraction
11	Extension
16	Injective Resolution

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Lie Algebra Cohomology

Definition.

Let $\mathfrak{g}$ be a finite-dimensional Lie algebra over a field

, and let

be a $\mathfrak{g}$ -module. Our goal is to define a cochain complex $C^{k}(\mathfrak{g},M)$ , whose cohomology is known as the Lie algebra cohomology of $\mathfrak{g}$ with coefficients in

. We define the space of

-cochains to be

$\displaystyle C^k(\mathfrak{g},M)=\operatorname{Hom}_K(\Lambda^k \mathfrak{g},M),\quad k=0,1,\dots,\dim \mathfrak{g},$

the vector space of multilinear, alternating mappings from $\overbrace{\mathfrak{g}\times \cdots\times \mathfrak{g}}^{k\text{ times}}$ to

. ¹The coboundary operator $\delta: C^k(\mathfrak{g},M)\to C^{k+1}(\mathfrak{g},M)$ is defined to be

$\displaystyle (\delta \omega)(a_0,a_1,\dots, a_k) =$	$\displaystyle \sum_{0\leq i\leq k} (-1)^k a_i \cdot\omega(\dots,\widehat{a_i},\dots) +$
	$\displaystyle \ + \sum_{0\leq i<j\leq k} (-1)^{i+j} \omega([a_i,a_j],\dots, \widehat{a_i},\dots \widehat{a_j},\dots ),\quad \omega\in C^k(\mathfrak{g},M),$

where $\widehat{a_i}$ indicates the omission of the argument

. We leave it as an exercise for the reader to check that $\delta \omega$ , as defined above, is multi-linear, and alternating. Another, only slightly more challenging exercise, is to prove that $\delta^2 =0$ . The proof involves, in an essential way, the Jacobi identity, and the commutator identity for the action of $\mathfrak{g}$ on

, namely

$\displaystyle a\cdot (b\cdot u) - b\cdot(a\cdot u) = [a,b] \cdot u,\quad a,b\in \mathfrak{g},\; u\in M.$

If $\mathfrak{g}$ is the tangent space of a Lie group, and is the reals with 0 $\mathfrak{g}$ - action, then any alternating map on $\mathfrak{g}$ extends to a smooth alternating form on the Lie group, via (left)- translation by the group action. The above formula for the coboundary gives the exterior derivative with respect to this extension.

Infinite-dimensional generalizations.

The above definition generalizes readily to infinite-dimensional Lie algebras. The notion of a linear mapping with an infinite-dimensional domain is quite tricky, and so the key requirement of any such generalization is some kind of restriction on the space of cochains. Thus, de Rham cohomology of a manifold can be regarded as $H^k(V(X), C^\infty(X))$ , the cohomology of the Lie algebra of vector fields with coefficients that are smooth functions, with the caveat that the cochain spaces $C^k(V(X),C^\infty(X))$ are restricted to $\Omega^k(X)$ , the smooth differential forms ². Another interesting infinite-dimensional generalization is the Gelfand-Fuchs cohomology of . Here we are allowed cochains that are not simply linear combinations of the components of a vector field, but that also include the derivatives of these components.

Applications.

Owing to numerous and useful various applications, it's useful to list the formulas for the first few coboundary operators:

$\displaystyle (\delta \alpha)(a) =$	$\displaystyle a\cdot \alpha;$
$\displaystyle (\delta \beta)(a,b) =$	$\displaystyle a\cdot \beta(b) - b\cdot \beta(a)- \beta([a,b]);$
$\displaystyle (\delta \gamma)(a,b,c) =$	$\displaystyle a\cdot \gamma(b,c) +b\cdot\gamma(c,a) + c\cdot\gamma(a,b) - \gamma([a,b],c) - \gamma([b,c],a) - \gamma([c,a],b),$

where $a,b,c\in \mathfrak{g}$ , and where $\alpha,\beta,\gamma$ are

, and

-cochains, respectively. In particular, for small

, the cohomology groups $H^k(\mathfrak{g},M)$ have certain interesting interpretations.

The first cohomology space, $H^1(\mathfrak{g},K)$ is isomorphic as a vector space to $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ , the abelianization of $\mathfrak{g}$ . More generally $H^1(\mathfrak{g},M)$ classifies, up to natural equivalence, Lie algebras consisting of inhomogeneous operators

$\displaystyle a+\beta(a),\quad a\in \mathfrak{g},\; \beta\in C^1(\mathfrak{g},M).$

In more fancy language, such operators are called derivations of

, the tensor algebra of

The second cohomology space, $H^2(\mathfrak{g},M)$ , is naturally isomorphic to the vector space of abelian extensions of $\mathfrak{g}$ by . Thinking of as an abelian Lie algebra, such an extension is a Lie algebra $\hat{\mathfrak{g}}$ that occurs in the short-exact sequence

$\displaystyle 0\to M\to\hat{\mathfrak{g}}\to\mathfrak{g}\to 0.$

The third cohomology space has an interesting interpretation in terms of deformations of something or other. This is due to Murray Gerstenhaber of U. Penn, but I've forgotten the details.

Homological algebra.

Generalizing a bit, Lie algebra cohomology is just the cohomology of a particular kind of algebraic theory. There are analogous cohomology theories for groups, associative algebras, and commutative rings. All these theories can be unified by employing the notion of an injective resolution.

Broadening the scope even further, we can employ category theory and re-conceptualize Lie algebra cohomology as a functor from the category of $\mathfrak{g}$ -modules to the category of cochain complexes. One begins with the covariant, left-exact functor

$\displaystyle (-)^\mathfrak{g}: M\mapsto M^{\mathfrak{g}}=\{u\in M : \mathfrak{g}\cdot u=0 \}$

from the category of $\mathfrak{g}$ -modules to the category of

-vector spaces. One then defines $H^k(\mathfrak{g},-)$ to be the right-derived functors $R^k((-)^{\mathfrak{g}})$ .

Historical notes.

Lie algebra cohomology was first formalized in an influential 1948 paper by C. Chevalley and S. Eilenberg[2]. The aim was to calculate the cohomology, in the topological sense, of a compact Lie group by using the finite-dimensional data of the corresponding Lie algebra. In this they were inspired by an even earlier idea of Elie Cartan, who was the first to announce that there was a connection between the topology of a Lie group and the algebraic structure of the underlying Lie algebra [1]. What makes this story particularly interesting is that Homological Algebra, as a subject, was launched by the remarkable 1956 book[3] by Cartan and Eilenberg called, oddly enough “Homological Algebra”. However the Cartan involved this time is not Elie, but Henri, the equally remarkable son of the very remarkable Elie. A survey of the history of homological algebra by Charles Weibel is available at the K-theory archive[4].

Bibliography

1: E. Cartan, Sur les nombres de Betti des espaces de groupes clos, C. R. Acad. Sci. (Paris) 187 (1928), 196-198.
2: C. Chevalley and S. Eilenberg, Cohomology theory of Lie groups and Lie algebras, Trans. Amer. Math. Soc. 63 (1948), 85-124.
3: H. Cartan and S. Eilenberg, Homological Algebra, Princeton U. Press, 1956.
4: C. Weibel, History of homological algebra, in History of topology, 797-836, North-Holland, Amsterdam, 1999. Available online at http://www.math.uiuc.edu/K-theory/0245/

Footnotes

.... ¹: It should be understood that $C^0(\mathfrak{g},M)\cong M$ .
...²: The evaluation of a cochain on a list of vector fields is given by contraction.