Formality of cochains on BG

David Benson, John Greenlees

Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^{\ast }(BG;k)$ is formal as an $A_{\infty }$ algebra, o…