Compact group







The circle of center 0 and radius 1 in the complex plane is a compact Lie group with complex multiplication.


In mathematics, a compact (topological) group is a topological group whose topology is compact. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.


In the following we will assume all groups are Hausdorff spaces.




Contents






  • 1 Compact Lie groups


    • 1.1 Classification


    • 1.2 Maximal tori and root systems


    • 1.3 Fundamental group and center




  • 2 Further examples


  • 3 Haar measure


  • 4 Representation theory


  • 5 Representation theory of a connected compact Lie group


    • 5.1 Representation theory of T


    • 5.2 Representation theory of K


    • 5.3 The Weyl character formula


    • 5.4 The SU(2) case


    • 5.5 An outline of the proof




  • 6 Duality


  • 7 From compact to non-compact groups


  • 8 See also


  • 9 References


  • 10 Bibliography





Compact Lie groups


Lie groups form a very nice class of topological groups, and the compact Lie groups have a particularly well-developed theory. Basic examples of compact Lie groups include[1]



  • the circle group T and the torus groups Tn,

  • the orthogonal groups O(n), the special orthogonal group SO(n) and its covering spin group Spin(n),

  • the unitary group U(n) and the special unitary group SU(n),

  • the symplectic group Sp(n),

  • the compact forms of the exceptional Lie groups: G2, F4, E6, E7, and E8,


The classification theorem of compact Lie groups states that up to finite extensions and finite covers this exhausts the list of examples (which already includes some redundancies). This classification is described in more detail in the next subsection.



Classification


Given any compact Lie group G one can take its identity component G0, which is connected. The quotient group G/G0 is the group of components π0(G) which must be finite since G is compact. We therefore have a finite extension


1→G0→G→π0(G)→1.{displaystyle 1to G_{0}to Gto pi _{0}(G)to 1.,}1to G_{0}to Gto pi _{0}(G)to 1.,

Meanwhile, for connected compact Lie groups, we have the following result:[2]



Theorem: Every connected compact Lie group is the quotient by a finite central subgroup of a product of a simply connected compact Lie group and a torus.

Thus, the classification of connected compact Lie groups can in principle be reduced to knowledge of the simply connected compact Lie groups together with information about their centers. (For information about the center, see the section below on fundamental group and center.)


Finally, every compact, connected, simply-connected Lie group K is a product of compact, connected, simply-connected simple Lie groups Ki each of which is isomorphic to exactly one of the following:



  • The compact symplectic group Sp(n),n≥1{displaystyle mathrm {Sp} (n),,ngeq 1}{displaystyle mathrm {Sp} (n),,ngeq 1}

  • The special unitary group SU(n),n≥3{displaystyle mathrm {SU} (n),,ngeq 3}{displaystyle mathrm {SU} (n),,ngeq 3}

  • The spin group Spin(n),n≥7{displaystyle mathrm {Spin} (n),,ngeq 7}{displaystyle mathrm {Spin} (n),,ngeq 7}


or one of the five exceptional groups G2, F4, E6, E7, and E8. The restrictions on n are to avoid special isomorphisms among the various families for small values of n. For each of these groups, the center is known explicitly. The classification is through the associated root system (for a fixed maximal torus), which in turn are classified by their Dynkin diagrams.


The classification of compact, simply connected Lie groups is the same as the classification of complex semisimple Lie algebras. Indeed, if K is a simply connected compact Lie group, then the complexification of the Lie algebra of K is semisimple. Conversely, every complex semisimple Lie algebra has a compact real form isomorphic to the Lie algebra of a compact, simply connected Lie group.



Maximal tori and root systems



A key idea in the study of a connected compact Lie group K is the concept of a maximal torus, that is a subgroup T of K that is isomorphic to several copies of S1{displaystyle S^{1}}S^{1} and that is not contained in any larger subgroup of this type. A basic example is the case K=SU(n){displaystyle K=SU(n)}{displaystyle K=SU(n)}, in which case we may take T{displaystyle T}T to be the group of diagonal elements in K{displaystyle K}K. A basic result is the torus theorem which states that every element of K{displaystyle K}K belongs to a maximal torus and that all maximal tori are conjugate.


The maximal torus in a compact group plays a role analogous to that of the Cartan subalgebra in a complex semisimple Lie algebra. In particular, once a maximal torus T⊂K{displaystyle Tsubset K}{displaystyle Tsubset K} has been chosen, one can define a root system and a Weyl group similar to what one has for semisimple Lie algebras.[3] These structures then play an essential role both in the classification of connected compact groups (described above) and in the representation theory of a fixed such group (described below).


The root systems associated to the simple compact groups appearing in the classification of simply connected compact groups are as follows:[4]



  • The special unitary groups SU(n){displaystyle mathrm {SU} (n)}mathrm{SU}(n) correspond to the root system An−1{displaystyle A_{n-1}}{displaystyle A_{n-1}}

  • The odd spin groups Spin(2n+1){displaystyle mathrm {Spin} (2n+1)}{displaystyle mathrm {Spin} (2n+1)} correspond to the root system Bn{displaystyle B_{n}}B_{{n}}

  • The compact symplectic groups Sp(n){displaystyle mathrm {Sp} (n)}{mathrm  {Sp}}(n) correspond to the root system Cn{displaystyle C_{n}}C_{n}

  • The even spin groups Spin(2n){displaystyle mathrm {Spin} (2n)}{displaystyle mathrm {Spin} (2n)} correspond to the root system Dn{displaystyle D_{n}}D_{n}



Fundamental group and center



It is important to know whether a connected compact Lie group is simply connected, and if not, to determine its fundamental group. For compact Lie groups, there are two basic approaches to computing the fundamental group. The first approach applies to the classical compact groups SU(n){displaystyle mathrm {SU} (n)}mathrm{SU}(n), U(n){displaystyle mathrm {U} (n)}mathrm{U}(n), SO(n){displaystyle mathrm {SO} (n)}mathrm {SO} (n), and Sp(n){displaystyle mathrm {Sp} (n)}{mathrm  {Sp}}(n) and proceeds by induction on n{displaystyle n}n. The second approach uses the root system and applies to all connected compact Lie groups.


It is also important to know the center of a connected compact Lie group. The center of a classical group G{displaystyle G}G can easily be computed "by hand," and in most cases consists simply of whatever multiples of the identity are in G{displaystyle G}G. (The group SO(2) is an exception—the center is the whole group, even though most elements are not multiples of the identity.) Thus, for example, the center of SU(n){displaystyle mathrm {SU} (n)}mathrm{SU}(n) consists of nth roots of unity times the identity, a cyclic group of order n{displaystyle n}n.


In general, the center can be expressed in terms of the root lattice and the kernel of the exponential map for the maximal torus.[5] The general method shows, for example, that the simply connected compact group corresponding to the exceptional root system G2{displaystyle G_{2}}G_{2} has trivial center. Thus, the compact G2{displaystyle G_{2}}G_{2} group is one of very few simple compact groups that are simultaneously simply connected and center free. (The others are F4{displaystyle F_{4}}F_{4} and E8{displaystyle E_{8}}E_{8}.)



Further examples


Amongst groups that are not Lie groups, and so do not carry the structure of a manifold, examples are the additive group Zp of p-adic integers, and constructions from it. In fact any profinite group is a compact group. This means that Galois groups are compact groups, a basic fact for the theory of algebraic extensions in the case of infinite degree.


Pontryagin duality provides a large supply of examples of compact commutative groups. These are in duality with abelian discrete groups.



Haar measure


Compact groups all carry a Haar measure,[6] which will be invariant by both left and right translation (the modulus function must be a continuous homomorphism to positive reals (ℝ+, ×), and so 1). In other words, these groups are unimodular. Haar measure is easily normalized to be a probability measure, analogous to dθ/2π on the circle.


Such a Haar measure is in many cases easy to compute; for example for orthogonal groups it was known to Adolf Hurwitz, and in the Lie group cases can always be given by an invariant differential form. In the profinite case there are many subgroups of finite index, and Haar measure of a coset will be the reciprocal of the index. Therefore, integrals are often computable quite directly, a fact applied constantly in number theory.



Representation theory


The representation theory of compact groups (not necessarily Lie groups and not necessarily connected) was founded by the Peter–Weyl theorem.[7]Hermann Weyl went on to give the detailed character theory of the compact connected Lie groups, based on maximal torus theory.[8] The resulting Weyl character formula was one of the influential results of twentieth century mathematics. The combination of the Peter–Weyl theorem and the Weyl character formula led Weyl to a complete classification of the representations of a connected compact Lie group; this theory is described in the next section.


A combination of Weyl's work and Cartan's theorem gives a survey of the whole representation theory of compact groups G . That is, by the Peter–Weyl theorem the irreducible unitary representations ρ of G are into a unitary group (of finite dimension) and the image will be a closed subgroup of the unitary group by compactness. Cartan's theorem states that Im(ρ) must itself be a Lie subgroup in the unitary group. If G is not itself a Lie group, there must be a kernel to ρ. Further one can form an inverse system, for the kernel of ρ smaller and smaller, of finite-dimensional unitary representations, which identifies G as an inverse limit of compact Lie groups. Here the fact that in the limit a faithful representation of G is found is another consequence of the Peter–Weyl theorem,


The unknown part of the representation theory of compact groups is thereby, roughly speaking, thrown back onto the complex representations of finite groups. This theory is rather rich in detail, but is qualitatively well understood.



Representation theory of a connected compact Lie group


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 ρ{displaystyle rho }rho of T is one-dimensional:



ρ:T→GL(1;C)=C∗{displaystyle rho :Trightarrow GL(1;mathbb {C} )=mathbb {C} ^{*}}{displaystyle rho :Trightarrow GL(1;mathbb {C} )=mathbb {C} ^{*}}.

Since, also, T is compact, ρ{displaystyle rho }rho must actually map into S1⊂C{displaystyle S^{1}subset mathbb {C} }{displaystyle S^{1}subset mathbb {C} }.


To describe these representations concretely, we let t{displaystyle {mathfrak {t}}}mathfrak{t} be the Lie algebra of T and we write points h∈T{displaystyle hin T}{displaystyle hin T} as



h=eH,H∈t{displaystyle h=e^{H},quad Hin {mathfrak {t}}}{displaystyle h=e^{H},quad Hin {mathfrak {t}}}.

In such coordinates, ρ{displaystyle rho }rho will have the form


ρ(eH)=eiλ(H){displaystyle rho (e^{H})=e^{ilambda (H)}}{displaystyle rho (e^{H})=e^{ilambda (H)}}

for some linear functional λ{displaystyle lambda }lambda on t{displaystyle {mathfrak {t}}}mathfrak{t}.


Now, since the exponential map H↦eH{displaystyle Hmapsto e^{H}}{displaystyle Hmapsto e^{H}} is not injective, not every such linear functional λ{displaystyle lambda }lambda gives rise to a well-defined map of T into S1{displaystyle S^{1}}S^{1}. Rather, let Γ{displaystyle Gamma }Gamma denote the kernel of the exponential map:



Γ={H∈t|e2πH=Id}{displaystyle Gamma ={Hin {mathfrak {t}}|e^{2pi H}=mathrm {Id} }}{displaystyle Gamma ={Hin {mathfrak {t}}|e^{2pi H}=mathrm {Id} }},

where Id{displaystyle mathrm {Id} }{displaystyle mathrm {Id} } is the identity element of T. (We scale the exponential map here by a factor of {displaystyle 2pi }2pi in order to avoid such factors elsewhere.)
Then for λ{displaystyle lambda }lambda to give a well-defined map ρ{displaystyle rho }rho , λ{displaystyle lambda }lambda must satisfy



λ(H)∈Z,H∈Γ{displaystyle lambda (H)in mathbb {Z} ,quad Hin Gamma }{displaystyle lambda (H)in mathbb {Z} ,quad Hin Gamma },

where Z{displaystyle mathbb {Z} }mathbb {Z} is the set of integers.[9] A linear functional λ{displaystyle lambda }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.[10]


Suppose, for example, T is just the group of S1{displaystyle S^{1}}S^{1} of complex numbers eiθ{displaystyle e^{itheta }}e^{itheta } of absolute value 1. The Lie algebra is the set of pure imaginary numbers, H=iθR,{displaystyle H=itheta ,,theta in mathbb {R} ,}{displaystyle H=itheta ,,theta in mathbb {R} ,} and the kernel of the (scaled) exponential map is the set of numbers of the form in{displaystyle in}in where n{displaystyle n}n is an integer. A linear functional λ{displaystyle lambda }lambda takes integer values on all such numbers if and only if it is of the form λ(iθ)=kθ{displaystyle lambda (itheta )=ktheta }{displaystyle lambda (itheta )=ktheta } for some integer k{displaystyle k}k. The irreducible representations of T in this case are one-dimensional and of the form



ρ(eiθ)=eikθ,k∈Z{displaystyle rho (e^{itheta })=e^{iktheta },quad kin mathbb {Z} }{displaystyle rho (e^{itheta })=e^{iktheta },quad kin mathbb {Z} }.


Representation theory of K





Example of the weights of a representation of the group SU(3)




The "eightfold way" representation of SU(3), as used in particle physics




Black dots indicate the dominant integral elements for the group SU(3)


We now let Σ{displaystyle Sigma }Sigma denote a finite-dimensional irreducible representation of K (over C{displaystyle mathbb {C} }mathbb {C} ). We then consider the restriction of Σ{displaystyle Sigma }Sigma to T. This restriction not irreducible unless Σ{displaystyle Sigma }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 λ{displaystyle lambda }lambda as in the preceding subsection. If a given λ{displaystyle lambda }lambda occurs at least once in the decomposition of the restriction of Σ{displaystyle Sigma }Sigma to T, we call λ{displaystyle lambda }lambda a weight of Σ{displaystyle Sigma }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⊂t{displaystyle Rsubset {mathfrak {t}}}{displaystyle Rsubset {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 t{displaystyle {mathfrak {t}}}mathfrak{t}.[11] We then choose a base Δ{displaystyle Delta }Delta for R and we say that an integral element λ{displaystyle lambda }lambda is dominant if λ)≥0{displaystyle lambda (alpha )geq 0}{displaystyle lambda (alpha )geq 0} for all λΔ{displaystyle lambda in Delta }{displaystyle lambda 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 Δ{displaystyle Delta }Delta with non-negative coefficients.


The irreducible finite-dimensional representations of K are then classified by a theorem of the highest weight,[12] which is closely related to the analogous theorem classifying representations of a semisimple Lie algebra. The result says that:



(1) every irreducible representation has highest weight,

(2) the highest weight is always a dominant, analytically integral element,

(3) two irreducible representations with the same highest weight are isomorphic, and

(4) 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 λ{displaystyle lambda }lambda of a representation Σ{displaystyle Sigma }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.[13] (This phenomenon reflects that, in general, not every representation of the Lie algebra k{displaystyle {mathfrak {k}}}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.[14]



The Weyl character formula



If Π:K→GL(V){displaystyle Pi :Krightarrow mathrm {GL} (V)}{displaystyle Pi :Krightarrow mathrm {GL} (V)} is representation of K, we define the character of Π{displaystyle Pi }Pi to be the function X:K→C{displaystyle mathrm {X} :Krightarrow mathbb {C} }{displaystyle mathrm {X} :Krightarrow mathbb {C} } given by



X(x)=trace(Π(x)),x∈K{displaystyle mathrm {X} (x)=mathrm {trace} (Pi (x)),quad xin K}{displaystyle mathrm {X} (x)=mathrm {trace} (Pi (x)),quad xin K}.

This function is easily seen to be a class function, i.e., X(xyx−1)=X(y){displaystyle mathrm {X} (xyx^{-1})=mathrm {X} (y)}{displaystyle mathrm {X} (xyx^{-1})=mathrm {X} (y)} for all x{displaystyle x}x and y{displaystyle y}y in K. Thus, X{displaystyle mathrm {X} }mathrm{X} 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 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.[15] 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



(eiθ00e−){displaystyle {begin{pmatrix}e^{itheta }&0\0&e^{-itheta }end{pmatrix}}}{displaystyle {begin{pmatrix}e^{itheta }&0\0&e^{-itheta }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{displaystyle m}m. The general theory then tells us that for each m{displaystyle m}m, there is a unique irreducible representation of SU(2) with highest weight m{displaystyle m}m.


Much information about the representation corresponding to a given m{displaystyle m}m is encoded in its character. Now, the Weyl character formula says, in this case, that the character is given by


X((eiθ00e−))=sin((m+1)θ)sin(θ).{displaystyle mathrm {X} left({begin{pmatrix}e^{itheta }&0\0&e^{-itheta }end{pmatrix}}right)={frac {mathrm {sin} ((m+1)theta )}{mathrm {sin} (theta )}}.}{displaystyle mathrm {X} left({begin{pmatrix}e^{itheta }&0\0&e^{-itheta }end{pmatrix}}right)={frac {mathrm {sin} ((m+1)theta )}{mathrm {sin} (theta )}}.}

We can also write the character as sum of exponentials as follows:


X((eiθ00e−))=eimθ+ei(m−2)θ+⋯e−i(m−2)θ+e−imθ.{displaystyle mathrm {X} left({begin{pmatrix}e^{itheta }&0\0&e^{-itheta }end{pmatrix}}right)=e^{imtheta }+e^{i(m-2)theta }+cdots e^{-i(m-2)theta }+e^{-imtheta }.}{displaystyle mathrm {X} left({begin{pmatrix}e^{itheta }&0\0&e^{-itheta }end{pmatrix}}right)=e^{imtheta }+e^{i(m-2)theta }+cdots e^{-i(m-2)theta }+e^{-imtheta }.}

(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,…,−(m−2),−m{displaystyle m,m-2,ldots ,-(m-2),-m}{displaystyle 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{displaystyle m+1}m+1 weights, each with multiplicity 1, the dimension of the representation is m+1{displaystyle m+1}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{displaystyle K}K be a connected compact Lie group and T{displaystyle T}T a fixed maximal torus in K{displaystyle K}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.[16]


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{displaystyle K}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 Π{displaystyle Pi }Pi is an irreducible representation with highest weight λ{displaystyle lambda }lambda , then the character X{displaystyle mathrm {X} }mathrm{X} of Π{displaystyle Pi }Pi satisfies:


X(eH)=∑w∈Wdet(w)ei⟨w⋅),H⟩w∈Wdet(w)ei⟨w⋅ρ,H⟩{displaystyle mathrm {X} (e^{H})={frac {sum _{win W}mathrm {det} (w)e^{ilangle wcdot (lambda +rho ),Hrangle }}{sum _{win W}mathrm {det} (w)e^{ilangle wcdot rho ,Hrangle }}}}{displaystyle mathrm {X} (e^{H})={frac {sum _{win W}mathrm {det} (w)e^{ilangle wcdot (lambda +rho ),Hrangle }}{sum _{win W}mathrm {det} (w)e^{ilangle wcdot rho ,Hrangle }}}}

for all H{displaystyle H}H in the Lie algebra of T{displaystyle T}T. Here ρ{displaystyle rho }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{displaystyle i}i in the exponent.) Weyl's proof of the character formula is analytic in nature and hinges on the fact that the L2{displaystyle L^{2}}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 Φλ{displaystyle Phi _{lambda }}Phi_lambda denote the function on the right-hand side of the character formula. We show that even if λ{displaystyle lambda }lambda is not known to be the highest weight of a representation, Φλ{displaystyle Phi _{lambda }}Phi_lambda is a well-defined, Weyl-invariant function on T{displaystyle T}T, which therefore extends to a class function on K{displaystyle K}K. Then using the Weyl integral formula, one can show that as λ{displaystyle lambda }lambda ranges over the set of dominant, analytically integral elements, the functions Φλ{displaystyle Phi _{lambda }}Phi_lambda form an orthonormal family of class functions. We emphasize that do not currently know that every such λ{displaystyle lambda }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 Φλ{displaystyle Phi _{lambda }}Phi_lambda, and these functions are orthonormal.


Now comes the conclusion. The set of all Φλ{displaystyle Phi _{lambda }}Phi_lambda—with λ{displaystyle lambda }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 Φλ{displaystyle Phi _{lambda }}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 λ{displaystyle lambda }lambda that is not the highest weight of a representation, then the corresponding Φλ{displaystyle Phi _{lambda }}Phi_lambda would not the character of a representation. Thus, the characters would be a proper subset of the set of Φλ{displaystyle Phi _{lambda }}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 Φλ{displaystyle Phi _{lambda }}Phi_lambda's). Thus, every λ{displaystyle lambda }lambda must actually be the highest weight of a representation.



Duality


The topic of recovering a compact group from its representation theory is the subject of the Tannaka–Krein duality, now often recast in term of tannakian category theory.



From compact to non-compact groups


The influence of the compact group theory on non-compact groups was formulated by Weyl in his unitarian trick. Inside a general semisimple Lie group there is a maximal compact subgroup, and the representation theory of such groups, developed largely by Harish-Chandra, uses intensively the restriction of a representation to such a subgroup, and also the model of Weyl's character theory.



See also



  • Maximal torus

  • Locally compact group


  • p-compact group

  • Protorus

  • Classifying finite-dimensional representations of Lie algebras

  • Weights in the representation theory of semisimple Lie algebras



References





  1. ^ Hall 2015 Section 1.2


  2. ^ Bröcker 1985 Chapter V, Sections 7 and 8


  3. ^ Hall 2015 Chapter 11


  4. ^ Hall 2015 Section 7.7


  5. ^ Hall 2015 Section 13.8


  6. ^ Weil, André (1940), L'intégration dans les groupes topologiques et ses applications, Actualités Scientifiques et Industrielles, 869, Paris: Hermann.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}



  7. ^ Peter, F.; Weyl, H. (1927), "Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe", Math. Ann., 97: 737–755, doi:10.1007/BF01447892.


  8. ^ Hall 2015 Part III


  9. ^ Hall 2015 Proposition 12.9


  10. ^ Hall 2015 Section 12.2


  11. ^ Hall 2015 Section 11.7


  12. ^ Hall 2015 Chapter 12


  13. ^ Hall 2015 Section 12.2


  14. ^ Hall 2015 Corollary 13.20


  15. ^ Hall 2015 Sections 12.4 and 12.5


  16. ^ Hall 2015 Sections 12.4 and 12.5




Bibliography




  • Bröcker, Theodor; tom Dieck, Tammo (1985), Representations of Compact Lie Groups, Graduate Texts in Mathematics, 98, Springer


  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3319134666


  • Hofmann, Karl H.; Morris, Sidney A. (1998), The structure of compact groups, Berlin: de Gruyter, ISBN 3-11-015268-1




這個網誌中的熱門文章

Xamarin.form Move up view when keyboard appear

Post-Redirect-Get with Spring WebFlux and Thymeleaf

Anylogic : not able to use stopDelay()