---
title: Equivariant Chevalley–Eilenberg Cohomology
url: https://www.emergentmind.com/topics/equivariant-chevalley-eilenberg-cohomology
type: topic
---

# Equivariant Chevalley–Eilenberg Cohomology

Equivariant Chevalley–Eilenberg cohomology is a family of cohomological constructions that extends classical Chevalley–Eilenberg theory from a single Lie algebra to settings with additional symmetry data. In the recent literature, the term appears in at least two technically distinct forms: as a cohomology theory for \(C_p\)-Green functors of Lie type, where equivariance is encoded by restriction, transfer, and conjugation maps between the two subgroup levels \(e\) and \(C_p\); and as the cohomology of basic Maurer–Cartan forms on a coset superspace \(G/H\) with respect to a covariant differential \(D\) [2507.07962] [2012.05246]. In both settings, the classical ingredients—alternating cochains, a Chevalley–Eilenberg-type differential, and extension-theoretic or geometric interpretations of low-degree classes—are retained only after imposing compatibility with the relevant equivariant structure. Related work on left-invariant involutive structures on compact Lie groups develops the same general Chevalley–Eilenberg reduction principle, namely that geometric cohomology may, under suitable hypotheses, be computed from invariant or Lie-algebraic data [1911.13200].

## 1. Classical prototype and equivariant generalization

The classical Chevalley–Eilenberg cohomology of a Lie algebra \(\mathfrak g\) with coefficients in a module \(M\) is built from alternating multilinear maps
\[
C^n(\mathfrak g,M)=\operatorname{Hom}(\wedge^n\mathfrak g,M),
\]
equipped with the standard Lie-algebra differential. In that classical setting, \(H^2\) classifies abelian or singular extensions of \(\mathfrak g\) by \(M\) [2507.07962].

The equivariant generalizations in the cited literature modify this picture in different ways. For \(C_p\)-Green functors of Lie type, a cochain is not a single alternating map but a compatible pair of alternating maps at the subgroup levels \(C_p\) and \(e\), and the complex is constrained by Mackey/Frobenius compatibility. For coset superspaces \(G/H\), the relevant cochains are not arbitrary forms on \(G/H\) but basic forms, meaning forms that are both horizontal and \(H\)-invariant, and the differential is the covariant differential \(D\) rather than the full de Rham operator [2012.05246].

A plausible implication is that “equivariant Chevalley–Eilenberg cohomology” should be read as a contextual term rather than the name of a single universal construction. What unifies these usages is the passage from ordinary Lie-algebraic cochains to complexes that encode symmetry constraints intrinsically.

## 2. \(C_p\)-Green functors of Lie type

A \(C_p\)-Mackey functor \(L\) is called a \(C_p\)-Green functor of Lie type if \(L(C_p)\) and \(L(e)\) are Lie algebras, restriction and conjugation are Lie algebra homomorphisms, and transfer satisfies Frobenius relations with the bracket. Explicitly, for all \(a\in L(e)\) and \(b\in L(C_p)\),
\[
[t^{C_p}_{e}(a),b]=t^{C_p}_{e}[a,r^{C_p}_{e}(b)],
\]
\[
[b,t^{C_p}_{e}(a)]=t^{C_p}_{e}[r^{C_p}_{e}(b),a].
\]
The paper also introduces a graded version: if both values are graded Lie algebras and the structure maps preserve grading, one obtains a \(C_p\)-Green functor of graded Lie type [2507.07962].

Because \(C_p\) has only two subgroups, the equivariant data are concentrated in the pair
\[
L(e), \qquad L(C_p),
\]
together with the maps \(r_e^{C_p}\), \(t_e^{C_p}\), and \(c_g\). This two-level structure is the basic organizing device of the theory. It replaces a single Lie algebra by a Mackey/Green-functor-like object carrying Lie brackets at both levels.

The examples given in the paper show that the definition is meant to be broad rather than exceptional. They include the Heisenberg Lie algebra with a cyclic permutation action, \(\mathfrak{sl}_n(\mathbb C)\) with \(C_2\)-action \(X\mapsto -X^T\), fixed-point constructions from a Lie algebra with \(C_p\)-action, direct-sum or diagonal constructions, and derivation Lie algebras \(\operatorname{Der}_R(A)\) and \(\operatorname{Der}_{R[C_p]}(A)\) [2507.07962].

## 3. Equivariant cochains, differential, and cup products

To construct cohomology in the \(C_p\)-Green-functor setting, tensor and exterior products are first defined equivariantly. For \(L_1,L_2\in \mathrm{Green}_{\mathrm{Lie}(C_p)}\), the tensor product \(L_1\otimes L_2\) is obtained by quotienting the direct sum of levelwise tensor products by relations expressing compatibility with transfer and restriction:
\[
a\otimes t^{C_p}_{e}(y)\sim r^{C_p}_{e}(a)\otimes y,
\]
\[
t^{C_p}_{e}(x)\otimes b\sim x\otimes r^{C_p}_{e}(b).
\]
Conjugation acts diagonally,
\[
c_g(x\otimes y)=c_g(x)\otimes c_g(y), \qquad c_g^p=\mathrm{id},
\]
and the resulting construction is again a Mackey functor. The exterior product is then the quotient of \(L_1\otimes L_2\) by the diagonal ideal generated by equal factors, exactly paralleling the ordinary exterior quotient [2507.07962].

For \(L_1,L_2\in \mathrm{Green}_{\mathrm{Lie}(C_p)}\), the equivariant morphism space
\[
C_p\text{-}\mathrm{HOM}(\wedge^n L_1, L_2)
\]
consists of pairs
\[
(f_{C_p},f_e), \qquad 
f_{C_p}:\wedge^n L_1(C_p)\to L_2(C_p),\quad 
f_e:\wedge^n L_1(e)\to L_2(e),
\]
that commute with restriction, transfer, and conjugation. If \(L\) is a \(C_p\)-Green functor of Lie type and \(M\) an \(L\)-bimodule, the cochain groups are
\[
C^n(L,M)=C_p\text{-}\mathrm{HOM}(\wedge^n L,M).
\]

The differential is defined levelwise by the ordinary Chevalley–Eilenberg formula. At the \(e\)-level,
\[
\begin{aligned}
b_n(f_e)(x_1,\dots,x_{n+1}) &=
\sum_{i=1}^{n+1}(-1)^{i+1}x_i\,f_e(x_1,\dots,\widehat{x_i},\dots,x_{n+1}) \\
&\quad+\sum_{i<j}(-1)^{i+j}f_e([x_i,x_j],x_1,\dots,\widehat{x_i},\dots,\widehat{x_j},\dots,x_{n+1}),
\end{aligned}
\]
and analogously at the \(C_p\)-level. The paper verifies the usual nilpotency relations
\[
b'_{n+1}b'_n=0,\qquad b_{n+1}b_n=0,
\]
so that
\[
H^n(L,M)=\big(H^n_{C_p}(C^*_{C_p}(L,M)),\, H^n_e(C^*_e(L,M))\big).
\]
The cohomology is therefore “levelwise” Chevalley–Eilenberg cohomology, but only after imposing Mackey-functor compatibility on the cochains themselves.

The theory also carries a cup product. For cochains
\[
f=(f_{C_p},f_e)\in C^m_{C_p}(L,M),\qquad 
g=(g_{C_p},g_e)\in C^n_{C_p}(L,M),
\]
the product is defined levelwise by the standard alternating shuffle expression with the Lie-module bracket in the target. It satisfies the usual Leibniz identity,
\[
b_{m+n}'(f\cup g)=b_m'(f)\cup g + (-1)^m f\cup b_n'(g),
\]
and similarly at the \(e\)-level. Consequently the cup product descends to cohomology, and the graded cohomology
\[
H^*(L,M)=\bigoplus_n H^n(L,M)
\]
becomes a \(C_p\)-Green functor of graded Lie type [2507.07962].

## 4. Second cohomology and singular extensions

A singular extension of a \(C_p\)-Green functor of Lie type \(L\) by an \(L\)-bimodule \(M\) is an exact sequence of Mackey functors
\[
0\to M \xrightarrow{i} B \xrightarrow{j} L\to 0,
\]
where \(B\) is itself a \(C_p\)-Green functor of Lie type and the induced sequences at \(e\) and \(C_p\) are singular extensions of Lie algebras. An extension is \(M\)-split if there are Lie algebra sections
\[
s_{C_p}:L(C_p)\to B(C_p),\qquad s_e:L(e)\to B(e)
\]
compatible with restriction, transfer, and conjugation. Two extensions are equivalent if there is a natural isomorphism of the middle terms commuting with the structure maps [2507.07962].

The central extension-classification statement is that equivalence classes of singular extensions correspond to second cohomology classes. Concretely, given an \(M\)-split extension and chosen splittings, one defines cocycles by the defect of the sections from being Lie homomorphisms:
\[
[s_{C_p}(x),s_{C_p}(y)]_B = s_{C_p}[x,y]_L + i_{C_p}f_{C_p}(x,y),
\]
\[
[s_e(a),s_e(b)]_B = s_e[a,b]_L + i_e f_e(a,b).
\]
The Jacobi identity yields the cocycle conditions, while compatibility with conjugation, restriction, and transfer forces the equivariant identities, including
\[
f_e(c_L(a),c_L(b)) = c_M(f_e(a,b)),
\]
\[
f_e(r_L(x),r_L(y)) = r_M(f_{C_p}(x,y)),
\]
\[
f_{C_p}(t_L(a),x)=t_M\big(f_e(a,r_L(x))\big),
\]
\[
f_{C_p}(x,t_L(a))=t_M\big(f_e(r_L(x),a)\big).
\]

Conversely, a \(2\)-cocycle \((f_{C_p},f_e)\) produces a singular extension by the semidirect-sum construction
\[
B_{f_{C_p},f_e}(C_p)=M(C_p)\oplus L(C_p),\qquad 
B_{f_e}(e)=M(e)\oplus L(e),
\]
with brackets
\[
\langle (u_1,x_1),(u_2,x_2)\rangle = \big(x_1u_2-x_2u_1+f_{C_p}(x_1,x_2),\ [x_1,x_2]\big),
\]
\[
\langle (m_3,a_3),(m_4,a_4)\rangle = \big(a_3m_4-a_4m_3+f_e(a_3,a_4),\ [a_3,a_4]\big),
\]
and componentwise structure maps
\[
c_B(m,a)=(c_M(m),c_L(a)),\quad 
t_B(m,a)=(t_M(m),t_L(a)),\quad 
r_B(u,x)=(r_M(u),r_L(x)).
\]
Changing the splitting changes the cocycle by a coboundary, so second cohomology classifies equivalence classes of singular extensions in the equivariant setting [2507.07962].

## 5. Coset superspaces and the basic-subcomplex definition

A second major usage of equivariant Chevalley–Eilenberg cohomology appears for coset superspaces \(G/H\). One starts from a Lie supergroup \(G\), a Lie sub-supergroup \(H\), and a vector-space splitting
\[
\mathfrak g = \mathfrak h \oplus \mathfrak c,
\]
with \(\mathfrak c\) an \(\operatorname{ad}(\mathfrak h)\)-invariant complement in the reductive case:
\[
[\mathfrak h,\mathfrak c]\subset \mathfrak c.
\]
The Maurer–Cartan form on the quotient decomposes into coset vielbeins and subgroup connection forms,
\[
\omega_{\mathrm{MC}} = V^J k_J + \omega^i h_i,
\]
and the curvature of the \(H\)-connection is
\[
R^i = d\omega^i - f^i{}_{jk}\,\omega^j\wedge \omega^k = f^i{}_{JK}\,V^J\wedge V^K.
\]
The covariant differential is introduced as
\[
D V^I = dV^I - f^I{}_{iJ}\,\omega^i\wedge V^J.
\]
The paper emphasizes that this operator is not nilpotent on all forms, because the curvature obstructs nilpotency unless one restricts to the appropriate class of forms [2012.05246].

That restriction is the basic subcomplex. A form \(\Omega\) is basic if it is both \(H\)-invariant and horizontal:
\[
L_H \Omega = 0, \qquad \iota_H \Omega = 0,
\]
for every generator \(H\in\mathfrak h\). The equivariant cohomology of the coset is then defined as the cohomology of the basic subcomplex with respect to \(D\):
\[
H_{\mathrm{EQ}}^{p}(G/H)=
\frac{\{\Omega\in C^p_{\mathrm{Basic}(G/H)}: D\Omega=0\}}
{\{\Omega\in C^{p-1}_{\mathrm{Basic}(G/H)}: \Omega=D\eta\}}.
\]

This framework is embedded in a broader comparison with ordinary and integral-form Chevalley–Eilenberg cohomology for Lie superalgebras. Ordinary cochains are identified with superforms
\[
C^\bullet_{\mathrm{CE,dif}(\mathfrak g)}=S\,\Pi\mathfrak g^\ast,
\]
while integral-form cochains are
\[
C^\bullet_{\mathrm{CE,int}(\mathfrak g)}=\operatorname{Ber}(\mathfrak g)\otimes S\,\Pi\mathfrak g.
\]
A central theorem gives an isomorphism, up to degree reversal,
\[
\star:H^\bullet_{\mathrm{CE,dif}(\mathfrak g)}\longrightarrow H^{n-\bullet}_{\mathrm{CE,int}(\mathfrak g)}.
\]

A notable feature of the coset theory is that exactness must be tested only against basic primitives. The paper’s model example is the bosonic coset \(SO(3)/SO(2)\), where
\[
V^+\wedge V^- = D V^0,
\]
but \(V^0\) is not basic, so the class remains nontrivial in equivariant cohomology. This sharply distinguishes equivariant closedness and exactness in the basic subcomplex from ordinary closedness and exactness on all forms [2012.05246].

## 6. Computed examples on super-cosets

The coset-superspace theory is accompanied by explicit computations, and these computations show that equivariant Chevalley–Eilenberg cohomology can be either finite-dimensional or infinite-dimensional depending on the embedding and the basic-form constraints [2012.05246].

| Space | Nonzero \(H^p_{\mathrm{EQ}}\) | Distinguished classes or generators |
|---|---|---|
| \(OSp(1|2)/SO(1,1)\) | \(\mathbb R\) for \(p=0,2\) | \(R = i\,V^+\wedge V^- + \psi\wedge \psi\) |
| \(OSp(1|2)/Sp(2,\mathbb R)\) | \(\mathbb R\) for \(p=0\) | constants only |
| \(u(1|1)/u(1)_U\) | \(\mathbb R\) for \(p=0\) | trivial above degree \(0\) |
| \(u(1|1)/u(1)_W\) | \(\mathbb R\) for even \(p\), \(\Pi\mathbb R\) for odd \(p\) | \(\{1,U\}\otimes\{(\psi^1\psi^2)^p\}_{p\ge0}\) |
| \(u(1|1)/(u(1)\oplus u(1))\) | \(\mathbb R\) for even \(p\) | \((\psi^1\psi^2)^p\) |
| \(osp(2|2)/so(1,1)\) | \(\mathbb R\) for \(p=0,2\) in one embedding; \(\mathbb R\) for even \(p\) in the other | \(R = (\gamma^0)_{\alpha\beta}\,V^{(\alpha\beta)} + \psi^i\psi^j\eta_{ij}\) |
| \(osp(2|2)/(so(1,1)\oplus so(2))\) | \(\mathbb R\) in even degrees | infinite-dimensional |
| \(osp(3|2)/(so(2)\oplus so(1,1))\) | \(\mathbb R\) for \(p=0\), \(\mathbb R^2\) for even \(p\) | additional \(4\)-form \(X^{(4)}\) |
| \(osp(4|2)/su(2)\) | generated by \(1\), a \(3\)-form, and bilinear towers | infinite towers from \((\psi\cdot\psi)^{AB}\) |
| \(osp(4|2)/u(2)\) | generated by \(1\) and \(R^{(2)}\otimes(\psi\cdot\psi)^n\) | \(3\)-form no longer basic |
| \(AdS_{4|4}=OSp(1|4)/SO(1,3)\) | \(\mathbb R\) for \(p=0,4\) | \(\omega^{(4)}_{\mathrm{ads}}\) |

Among these, \(AdS_{4|4}\) is singled out in the paper as the most physically important coset example. Its covariant Maurer–Cartan equations are
\[
DV^a = \psi\gamma^a\psi,\qquad D\psi = V\gamma\psi,
\]
and the nontrivial degree-\(4\) class is represented by
\[
\omega^{(4)}_{\mathrm{ads}}=
\varepsilon_{abcd}\,V^a\wedge V^b\wedge V^c\wedge V^d
-2\,V^a\wedge V^b\,(\psi\gamma_{ab}\psi).
\]
The same paper stresses that ordinary Chevalley–Eilenberg cohomology of superalgebras underlies FDA formulations of supergravity and higher Wess–Zumino terms for super \(p\)-branes, while the equivariant version is the algebraic object naturally adapted to coset superspaces such as \(AdS_5\times S^5\) and \(AdS_4\times \mathbb{CP}^3\) [2012.05246].

## 7. Relation to Chevalley–Eilenberg reduction on compact Lie groups

A related, though differently formulated, extension of the Chevalley–Eilenberg viewpoint appears in the study of left-invariant elliptic and hypocomplex involutive structures on compact Lie groups. There, the basic object is the \(d'\)-complex
\[
\mathcal C^\infty(U;\Lambda^{p,0}) \xrightarrow{d'} \mathcal C^\infty(U;\Lambda^{p,1}) \xrightarrow{d'} \cdots,
\]
whose cohomology \(H^{p,q}(G;\mathfrak h)\) generalizes both de Rham and Dolbeault cohomology. Restricting to left-invariant forms yields \(H^{p,q}_L(G;\mathfrak h)\), and there is also a purely algebraic Chevalley–Eilenberg-type complex \(C^{p,q}(\mathfrak g;\mathfrak h)\) with cohomology \(H^{p,q}(\mathfrak g;\mathfrak h)\). The natural map
\[
H^{p,q}(\mathfrak g;\mathfrak h)\longrightarrow H^{p,q}(G;\mathfrak h)
\]
is always injective [1911.13200].

Under further hypotheses, the geometric cohomology can be computed entirely from invariant or Lie-algebraic data. The paper proves, for example, that if \(\mathfrak h\) has property (K) in degree \((p,q)\), then
\[
H^{p,q}_L(G;\mathfrak h)\cong H^{p,q}(G;\mathfrak h).
\]
Under closed-orbit and splitting assumptions,
\[
H^{p,q}(G;\mathfrak h)=\sum_{r+s=q} H^{p,r}(\Omega;\mathcal V)\otimes H^s(K;\mathbb C),
\]
and when \(G\) is compact semisimple, Bott’s theorem yields
\[
H^{p,q}(G;\mathfrak h)\cong \sum_{r+s=q} H^r(\mathfrak u_*,\mathfrak k,\Lambda^p(\mathfrak g/\mathfrak u_*)) \otimes H^s(\mathfrak k).
\]

This does not define “equivariant Chevalley–Eilenberg cohomology” in the same sense as the \(C_p\)-Green-functor or coset-superspace constructions. However, it displays the same structural program: start from a geometric or symmetry-constrained complex, isolate an invariant subcomplex, and identify conditions under which the full cohomology is recovered by a finite-dimensional Lie-algebraic model. This suggests a broad unifying theme across the cited literature: equivariance enters by restricting admissible cochains, primitives, or representatives so that the resulting cohomology encodes both Lie-algebraic and symmetry data rather than Lie-algebraic data alone.

Source: https://www.emergentmind.com/topics/equivariant-chevalley-eilenberg-cohomology