Proof that $K^*(BG)=K^*(BT)^W$.

65 Views Asked by At

I was wondering if anyone had a refrence for the fact that $K^*(BG)=K^*(BT)^W$ for $G$ a compact connected lie group, $T$ a maximal torus, and $W$ the associated Lie group. I was able to derive this fact from the corrosponding fact for the representation ring, using the Atiyah-Segal completion theorem. Does anyone have a proof of this fact that doesn't involve Atiyah-Segal?