Certain simple examples of the representation theory of compact Lie groups can be worked out by hand, such as the representations of the
rotation group SO(3), the
special unitary group SU(2), and the
special unitary group SU(3). We focus here on the general theory. See also the parallel theory of
representations of a semisimple Lie algebra. Throughout this section, we fix a connected compact Lie group
K and a
maximal torus T in
K.
Representation theory of T Since
T is commutative,
Schur's lemma tells us that each irreducible representation \rho of
T is one-dimensional: :\rho:T\rightarrow GL(1;\mathbb{C})=\mathbb{C}^* . Since, also,
T is compact, \rho must actually map into S^1\subset\mathbb{C}. To describe these representations concretely, we let \mathfrak{t} be the Lie algebra of
T and we write points h\in T as :h=e^{H},\quad H\in\mathfrak{t} . In such coordinates, \rho will have the form :\rho(e^{H})=e^{i \lambda(H)} for some linear functional \lambda on \mathfrak{t}. Now, since the exponential map H\mapsto e^{H} is not injective, not every such linear functional \lambda gives rise to a well-defined map of
T into S^1. Rather, let \Gamma denote the kernel of the exponential map: :\Gamma = \left\{ H\in\mathfrak{t} \mid e^{2\pi H}=\operatorname{Id} \right\}, where \operatorname{Id} is the
identity element of
T. (We scale the exponential map here by a factor of 2\pi in order to avoid such factors elsewhere.) Then for \lambda to give a well-defined map \rho, \lambda must satisfy :\lambda(H)\in\mathbb{Z},\quad H\in\Gamma, where \mathbb{Z} is the set of integers. A linear functional \lambda satisfying this condition is called an
analytically integral element. This integrality condition is related to, but not identical to, the notion of
integral element in the setting of semisimple Lie algebras. Suppose, for example,
T is just the group S^1 of complex numbers e^{i\theta} of absolute value 1. The Lie algebra is the set of purely imaginary numbers, H=i\theta,\,\theta\in\mathbb{R}, and the kernel of the (scaled) exponential map is the set of numbers of the form in where n is an integer. A linear functional \lambda takes integer values on all such numbers if and only if it is of the form \lambda(i\theta)= k\theta for some integer k. The irreducible representations of
T in this case are one-dimensional and of the form :\rho(e^{i\theta})=e^{ik\theta},\quad k \in \Z .
Representation theory of K " representation of SU(3), as used in particle physics We now let \Sigma denote a finite-dimensional irreducible representation of
K (over \mathbb{C}). We then consider the restriction of \Sigma to
T. This restriction is not irreducible unless \Sigma is one-dimensional. Nevertheless, the restriction decomposes as a direct sum of irreducible representations of
T. (Note that a given irreducible representation of
T may occur more than once.) Now, each irreducible representation of
T is described by a linear functional \lambda as in the preceding subsection. If a given \lambda occurs at least once in the decomposition of the restriction of \Sigma to
T, we call \lambda a
weight of \Sigma. The strategy of the representation theory of
K is to classify the irreducible representations in terms of their weights. We now briefly describe the structures needed to formulate the theorem; more details can be found in the article on
weights in representation theory. We need the notion of a
root system for
K (relative to a given maximal torus
T). The construction of this root system R\subset \mathfrak{t} is very similar to the
construction for complex semisimple Lie algebras. Specifically, the weights are the nonzero weights for the
adjoint action of
T on the complexified Lie algebra of
K. The root system
R has all the usual properties of a
root system, except that the elements of
R may not span \mathfrak{t}. We then choose a base \Delta for
R and we say that an integral element \lambda is
dominant if \lambda(\alpha)\ge 0 for all \alpha\in\Delta. Finally, we say that one weight is
higher than another if their difference can be expressed as a linear combination of elements of \Delta with non-negative coefficients. The irreducible finite-dimensional representations of
K are then classified by a
theorem of the highest weight, which is closely related to the analogous theorem classifying
representations of a semisimple Lie algebra. The result says that: • every irreducible representation has highest weight, • the highest weight is always a dominant, analytically integral element, • two irreducible representations with the same highest weight are isomorphic, and • every dominant, analytically integral element arises as the highest weight of an irreducible representation. The theorem of the highest weight for representations of
K is then almost the same as for semisimple Lie algebras, with one notable exception: The concept of an
integral element is different. The weights \lambda of a representation \Sigma are analytically integral in the sense described in the previous subsection. Every analytically integral element is
integral in the Lie algebra sense, but not the other way around. (This phenomenon reflects that, in general,
not every representation of the Lie algebra \mathfrak{k} comes from a representation of the group
K.) On the other hand, if
K is simply connected, the set of possible highest weights in the group sense is the same as the set of possible highest weights in the Lie algebra sense.
The Weyl character formula If \Pi:K\to\operatorname{GL}(V) is representation of
K, we define the
character of \Pi to be the function \Chi : K \to \mathbb{C} given by :\Chi(x)=\operatorname{trace}(\Pi(x)),\quad x\in K. This function is easily seen to be a class function, i.e., \Chi(xyx^{-1})=\Chi(y) for all x and y in
K. Thus, \Chi is determined by its restriction to
T. The study of characters is an important part of the representation theory of compact groups. One crucial result, which is a corollary of the
Peter–Weyl theorem, is that the characters form an
orthonormal basis for the set of square-integrable class functions in
K. A second key result is the
Weyl character formula, which gives an explicit formula for the character—or, rather, the restriction of the character to
T—in terms of the highest weight of the representation. In the closely related representation theory of semisimple Lie algebras, the Weyl character formula is an additional result established
after the representations have been classified. In Weyl's analysis of the compact group case, however, the Weyl character formula is actually a crucial part of the classification itself. Specifically, in Weyl's analysis of the representations of
K, the hardest part of the theorem—showing that every dominant, analytically integral element is actually the highest weight of some representation—is proved in a totally different way from the usual Lie algebra construction using
Verma modules. In Weyl's approach, the construction is based on the
Peter–Weyl theorem and an analytic proof of the
Weyl character formula. Ultimately, the irreducible representations of
K are realized inside the space of continuous functions on
K.
The SU(2) case We now consider the case of the compact group SU(2). The representations are often considered from the
Lie algebra point of view, but we here look at them from the group point of view. We take the maximal torus to be the set of matrices of the form : \begin{pmatrix} e^{i\theta} & 0\\ 0 & e^{-i\theta} \end{pmatrix} . According to the example discussed above in the section on representations of
T, the analytically integral elements are labeled by integers, so that the dominant, analytically integral elements are non-negative integers m. The general theory then tells us that for each m, there is a unique irreducible representation of SU(2) with highest weight m. Much information about the representation corresponding to a given m is encoded in its character. Now, the Weyl character formula says,
in this case, that the character is given by :\Chi\left(\begin{pmatrix} e^{i\theta} & 0\\ 0 & e^{-i\theta} \end{pmatrix}\right)=\frac{\sin((m+1)\theta)}{\sin(\theta)}. We can also write the character as sum of exponentials as follows: :\Chi\left(\begin{pmatrix} e^{i\theta} & 0\\ 0 & e^{-i\theta} \end{pmatrix}\right)=e^{im\theta}+e^{i(m-2)\theta}+\cdots e^{-i(m-2)\theta}+e^{-im\theta}. (If we use the formula for the sum of a finite geometric series on the above expression and simplify, we obtain the earlier expression.) From this last expression and the standard formula for the
character in terms of the weights of the representation, we can read off that the weights of the representation are :m,m-2,\ldots,-(m-2),-m, each with multiplicity one. (The weights are the integers appearing in the exponents of the exponentials and the multiplicities are the coefficients of the exponentials.) Since there are m+1 weights, each with multiplicity 1, the dimension of the representation is m+1. Thus, we recover much of the information about the representations that is usually obtained from the Lie algebra computation.
An outline of the proof We now outline the proof of the theorem of the highest weight, following the original argument of
Hermann Weyl. We continue to let K be a connected compact Lie group and T a fixed maximal torus in K. We focus on the most difficult part of the theorem, showing that every dominant, analytically integral element is the highest weight of some (finite-dimensional) irreducible representation. The tools for the proof are the following: • The
torus theorem. • The
Weyl integral formula. • The
Peter–Weyl theorem for class functions, which states that the characters of the irreducible representations form an orthonormal basis for the space of square integrable class functions on K. With these tools in hand, we proceed with the proof. The first major step in the argument is to prove the
Weyl character formula. The formula states that if \Pi is an irreducible representation with highest weight \lambda, then the character \Chi of \Pi satisfies: : \Chi(e^H)=\frac{\sum_{w\in W} \det(w) e^{i\langle w\cdot(\lambda+\rho),H\rangle}}{\sum_{w\in W} \det(w) e^{i\langle w\cdot\rho,H\rangle}} for all H in the Lie algebra of T. Here \rho is half the sum of the positive roots. (The notation uses the convention of "real weights"; this convention requires an explicit factor of i in the exponent.) Weyl's proof of the character formula is analytic in nature and hinges on the fact that the L^2 norm of the character is 1. Specifically, if there were any additional terms in the numerator, the Weyl integral formula would force the norm of the character to be greater than 1. Next, we let \Phi_\lambda denote the function on the right-hand side of the character formula. We show that
even if \lambda is not known to be the highest weight of a representation, \Phi_\lambda is a well-defined, Weyl-invariant function on T, which therefore extends to a class function on K. Then using the Weyl integral formula, one can show that as \lambda ranges over the set of dominant, analytically integral elements, the functions \Phi_\lambda form an orthonormal family of class functions. We emphasize that we do not currently know that every such \lambda is the highest weight of a representation; nevertheless, the expressions on the right-hand side of the character formula gives a well-defined set of functions \Phi_\lambda, and these functions are orthonormal. Now comes the conclusion. The set of all \Phi_\lambda—with \lambda ranging over the dominant, analytically integral elements—forms an orthonormal set in the space of square integrable class functions. But by the Weyl character formula, the characters of the irreducible representations form a subset of the \Phi_\lambda's. And by the Peter–Weyl theorem, the characters of the irreducible representations form an orthonormal basis for the space of square integrable class functions. If there were some \lambda that is not the highest weight of a representation, then the corresponding \Phi_\lambda would not be the character of a representation. Thus, the characters would be a
proper subset of the set of \Phi_\lambda's. But then we have an impossible situation: an orthonormal
basis (the set of characters of the irreducible representations) would be contained in a strictly larger orthonormal set (the set of \Phi_\lambda's). Thus, every \lambda must actually be the highest weight of a representation. ==Duality==