Lie algebra cohomology ($H^k(\mathfrak{g},V)$)

The Chevalley-Eilenberg complex consists of alternating maps from ${\mathfrak{g}}^k$ to a Lie algebra representation $V$, with differential built from the bracket and module action. For trivial real coefficients, a two-cocycle is an alternating bilinear form $\kappa$ satisfying $\kappa ([X,Y],Z)+\kappa ([Y,Z],X)+\kappa ([Z,X],Y)=0$. Coboundaries have the form $b([X,Y])$, up to the differential's sign convention. Their quotient is $H^2(\mathfrak{g},\mathbb{R})$ and classifies central extensions of a Lie algebra.

For trivial real coefficients, a Lie algebra two-cocycle is an alternating bilinear form satisfying $\kappa ([X,Y],Z)+\kappa ([Y,Z],X)+\kappa ([Z,X],Y)=0$. Adding a form $b([X,Y])$ does not change its Lie algebra cohomology class. The bracket $[(X,a),(Y,b)]=([X,Y],\kappa (X,Y))$ defines a central extension of a Lie algebra by $\mathbb{R}$ precisely when this cocycle identity holds. The constant discrepancy in a moment-map equivariance obstruction is such a cocycle.