Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $G$ is a connected Lie group with Lie algebra $\mathcal{G}$, then de Rham cohomology of left invariant différential forms $H_L^*(G)$ is isomorphic to the Chevalley–Eilenberg cohomology $H^*(\mathcal{G})$ for the trivial action of $\mathcal{G}$ on $\mathbb{R}$.

This is obvious, if we associate to each left invariant differential form on $G$ its value at the neutral element $e$ of $G$, after the identification of $\mathcal{G}^*$ with $T_e^*G$.

A less obvious, is the fact that for a compact Lie group $G$ its de Rham cohomology $H^*(G)$ is naturally isomorphic to $H_L^*(G)$ (the subcomplex of left invariant differential forms).

May you point me to a nice reference to this subjet: for the de Rham cohomology of a compact Lie group?

share|improve this question

1 Answer 1

up vote 9 down vote accepted

The intuition is that since any closed form $\omega$ is cohomologous to $L_g^* \omega$ (where $L_g$ is left-translation, and the claim is because there is path between $g$ and the identity that "homotopes" $L_g^* \omega$ to $\omega$), so $\omega$ is cohomologous to the "average" of all $L_g^* \omega$ (i.e. the Haar integral $\int_G L_g^* \omega$). This average is clearly left-invariant.

This is not a rigorous argument, though. You can find more details in these notes, including a proof of the additional fact that the $i$th cohomology can be computed as simply the space of bi-invariant $i$-forms.

share|improve this answer
3  
In fact, everyone should read the original paper of Chevalley and Eilenberg, as it is a masterpiece of readablity! –  Mariano Suárez-Alvarez Sep 2 '11 at 14:53
    
Many thanks Akhil, for your answer and for the nice notes! –  amine Sep 2 '11 at 20:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.