Chevalley–Eilenberg cochains of a graded Lie algebra
ID: chevalley-eilenberg-cochains-of-a-graded-lie-algebra
For a positively graded Lie algebra over , finite-dimensional in each degree, its cochain algebra is free graded commutative on the graded dual of , with differential dual to the Lie bracket and its Koszul signs. The Jacobi identity gives . A Lie element of degree contributes a cochain generator of degree . Its cohomology computes with total grading; the standard free enveloping-algebra resolution gives this identification. For a free graded Lie algebra, the tensor-algebra augmentation has a length-one free resolution, explaining the square-zero cohomology of a rational wedge sum of spheres.
New to topics? Read the docs here!