Let $G$ be a compact connected Lie group with maximal torus $T$ and Weyl group $W$. Recall the following two isomorphisms.

**Isomorphism 1:** $R(G) \cong R(T)^W$, where $R(-)$ denotes the representation ring.

**Isomorphism 2:** $H^{\bullet}(BG, \mathbb{Q}) \cong H^{\bullet}(BT, \mathbb{Q})^W$.

What relationship is there, if any, between these two isomorphisms? Can I see them both as special cases of some more fundamental fact?

It's tempting to conjecture a relationship involving $K$-theory but I don't know how to make this work out. In particular, any finite-dimensional representation $V$ of $G$ determines a vector bundle on $BG$ and hence a class in $K^{\bullet}(BG)$, and I hoped that I could apply the Chern character to this class, but for a space like $BG$ with infinite cohomological dimension the Chern character lands in the direct product, rather than the direct sum, of the cohomology groups. There is some story here involving equivariant $K$-theory and the Atiyah-Segal completion theorem but I am not sure it is enough to, say, deduce either of Isomorphism 1 or 2 from the other.

Here is another even vaguer attempt. By Peter-Weyl, some version of Isomorphism 1 should follow from a suitable isomorphism of the form $G/G \cong T/W$, where on the LHS I am taking the quotient with respect to conjugation. (I'm not sure exactly what category these quotients should be happening in.) On the other hand, Isomorphism 2 should follow from something like the observation that the fiber sequence $G/T \to BT \to BG$ gives a fiber sequence $(G/T)/W \to (BT)/W \to BG$, where $(G/T)/W$ has the rational homotopy type of a point, at least if I'm reading Allen Knutson's answer correctly <a href="http://mathoverflow.net/a/61991/290">here</a>, and by the quotient $(BT)/W$ I mean the homotopy quotient. So $(BT)/W \to BG$ is a rational homotopy equivalence, and I might be able to go from this map $(BT)/W \to BG$ to a map $T/W \to G/G$ by taking some version of the free loop space. Maybe? (I might need to work with stacks instead of spaces.)