Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is my first question.

Take a simple, connected, compact, simply connected Lie group $ G$ (dim $G\geq 3$).
The cohomology of $G$ with integer coefficients is $H^{1,2}(G,\mathbb{Z})\cong 0$, $H^{3}(G,\mathbb{Z})\cong\mathbb{Z}$.
I'm looking for a generator of $H^{3}(G,\mathbb{Z})$.
It should be something of the form $\alpha K(\theta,[\theta,\theta])$, where $\theta$ denotes the left Maurer-Cartan-Form, $K$ is the Killing-Form and $\alpha$ is a scaling factor.

share|improve this question
Set $\sigma(x,y,z):=cK([x,y],z)$ such that $cK(h_\alpha,h_\alpha)\in 2\mathbb{Z}$ for each coroot $h_\alpha$ of G. Then $[\sigma]\in H^3(G;\mathbb{Z})$. This is proved in Loop Groups by Segal-Pressley (page $49$). –  Somnath Basu Apr 6 '11 at 3:49
add comment

1 Answer 1

The third cohomology group of the Lie algebra (with coefficients in the trivial module) is generated by the cocyle $\phi(x,y,z)=K(x,[y,z])$. The usual proof that the de Rham cohomology of the group is the same as the Lie algebra cohomology of the corresponding Lie algebra gives you a more or less explicit $3$-form generating $H^3_{\mathrm{dR}}(G,\mathbb R)$. It gives you a generator of integral cohomology up to scaling. I don't know what the factor should be, though...

share|improve this answer
Is there an explicit formula for the scaling factor? –  user14120 Apr 5 '11 at 19:20
@mikethspike Something like $1/2\pi$ or similar (perhaps an $i$ in there as well). –  David Roberts Apr 5 '11 at 23:40
The scalar is a cute invariant of the group. Hopefully there is some more precise description than that :) –  Mariano Suárez-Alvarez Apr 6 '11 at 1:04
I thought there was a 1/12th in there, but I'm blanking on where I saw that. –  Allen Knutson Apr 6 '11 at 2:31
add comment

Your Answer


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.