MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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
If I am not mistaken, any subgroup of $G$ isomorphic to $SU_2$ induces an isomorphism $H_3(SU_2;\mathbb Z)\cong H_3(G;\mathbb Z)$. Now topologically $SU_2$ is just a 3-sphere, so each such subgroup can be viewed as an integral 3-cycle, and this 3-cycle will thus represent a generator of $H_3(G;\mathbb Z)$. – მამუკა ჯიბლაძე Sep 5 '14 at 18:36

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|cite|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

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.