Notes on Chevalley Groups and Root Category II: Compact Lie Groups and Representations

Abstract

This paper is a continuation of [5]. Using the root categories, we define the compact real forms of the complex semisimple Lie algebras, and maximal compact subgroups of the Chevalley groups over $\mathbb{C}$. In [7], Lusztig used the modified quantum group $\dot{\mathbf{U}}$ and its canonical basis to obtain the reductive group and its coordinate ring ${\mathbf{O}}_A$, in particular the tensor product decomposition of ${\mathbf{O}}_A$. By combining these two kinds of structures, we explore in this paper how the classical theory of the compact Lie groups, such as Peter-Weyl theorem and Plancherel theorem, can be recovered completely.

40 pages