Clifford algebra analogue of the Hopf-Koszul-Samelson theorem, the \(\rho\)-decomposition \(C({\mathfrak g})=\text{End }V_ \rho\otimes C(P)\), and the \({\mathfrak g}\)-module structure of \(\bigwedge {\mathfrak g}\) (Q675876)

Let \(\mathfrak g\) be a complex semisimple Lie algebra. Let \(\rho\) be one half the sum of the positive roots. Then it can be shown that \(\bigwedge \mathfrak g\) decomposes as a \(\mathfrak g\) representation as \(2^l V_\rho\bigotimes V_\rho\). This paper examines this equality and the rich structure associated to it. Write \(J=(\bigwedge \mathfrak g)^{\mathfrak g}\), \(P\) for the subspace of primitive elements in \(J\), and \(C(\cdot)\) for a Clifford algebra. Then the first theorem states that \(J\) is a subalgebra with respect to both Clifford and exterior multiplication. The second main theorem writes \(J\) as \(C(P)\). The third main theorem is that \(C({\mathfrak g}) =\text{End} V_\rho \bigotimes C(P)\) and the fourth main theorem expresses the generators of \(C(\mathfrak g)\) in terms of the \(\rho\) decomposition.