The product structure of the equivariant K-theory of the based loop group of SU(2)

Let G=SU(2) and let \Omega G denote the space of continuous based loops in G, equipped with the pointwise conjugation action of G. It is a classical fact in topology that the ordinary cohomology H^*(\Omega G) is a divided polynomial algebra \Gamma[x]. The algebra \Gamma[x] can be described as an inverse limit as k goes to infinity of the symmetric subalgebra in the exterior algebra \Lambda(x_1, ...,x_k) in the variables x_1, ..., x_k. We compute the R(G)-algebra structure of the G-equivariant K-theory of \Omega G in a way which naturally generalizes the classical computation of the ordinary cohomology ring of \Omega G as a divided polynomial algebra \Gamma[x]. Specifically, we prove that K^*_G(\Omega G) is an inverse limit of the symmetric (S_{2r}-invariant) subalgebra of K^*_G((P^1)^{2r}), where the symmetric group S_{2r} acts in the natural way on the factors of the 2r-fold product (P^1)^{2r} and G acts diagonally via the standard action on each complex projective line P^1.