Formality of cochains on BG

Abstract

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, or equivalently as a DG algebra.

8 pages