The isomorphism for $K_G^1$ in the question is right.
Freed, Daniel S.; Hopkins, Michael J.; Teleman, Constantin, Loop groups and twisted K-theory I. J. Topol. 4 (2011), no. 4, 737–798.
Section 3.5.4 and Appendix A.5
Bo Liu
- 673
- 4
- 12