2

1

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.

flag
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 2011 at 3:49

1 Answer

7

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

link|flag
Is there an explicit formula for the scaling factor? – mikethespike Apr 5 2011 at 19:20
@mikethspike Something like $1/2\pi$ or similar (perhaps an $i$ in there as well). – David Roberts Apr 5 2011 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 2011 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 2011 at 2:31

Your Answer

Get an OpenID
or

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