arXiv:math/0506118v1 [math.RT] 7 Jun 2005

1 arXiv:math/0506118v1 [ ] 7 Jun 2005 COMPACT GROUPS AND THEIR REPRESENTATIONSALEXANDRE KIRILLOV AND ALEXANDER KIRILLOV is an overview article on compact Lie groups and their representations, written for theEncyclopedia of Mathematical Physicsto be published by this article we describe the structure and representation theory of compact Lie groups. Throughoutthe article,Gis a compact real Lie group with Lie algebrag. Unless otherwise stated,Gis assumed to beconnected. The word group will always mean a Lie group and the word subgroup will mean a closedLie subgroup. The notation Lie(H) stands for the Lie algebra of a Lie groupH. We assume that the readeris familiar with the basic facts of the theory of Lie groups and Lie algebras, which can be found in the articleLie groups: general theoryin this Encyclopedia, or in the books listed in the of compact Lie groupsExamples of compact groups include Finite groups Quotient groupsTn=Rn/Zn, or more generally,V/L, whereVis a finite-dimensional real vectorspace andLis a lattice inV, a discrete subgroup generated by some basis inV.

2 Groups of thistype are calledtori; it is known that every commutative connected compact groupis atorus. Unitary groups U(n) and special unitary groups SU(n),n 2. Orthogonal groups O(n) and SO(n),n 3. The groupsU(n,H),n 1, of unitary quaternionic transformations, which are isomorphic toSp(n) := Sp(n,C) SU(2n).The groups O(n) have two connected components, one of which is SO(n).The groups SU(n) and Sp(n) are connected and groups SO(n) are connected but not simply-connected: forn 3, the fundamental group of SO(n) isZ2. The universal cover of SO(n) is a simply-connected compact Lie group denoted by Spin(n). For smalln,we have isomorphisms: Spin(3) SU(2), Spin(4) SU(2) SU(2), Spin(5) Sp(4),Spin(6) SU(4). to semisimple Lie algebras and Lie Lie algebragis called simpleif it is non-abelian and has no ideals different from{0}andgitself. semisimpleif it is a direct sum of simple ideals. reductiveif it is a direct sum of semisimple and commutative call a connected Lie groupGsimpleorsemisimpleif Lie(G) has this a connected compact Lie group andg= Lie(G).

3 Then(1)The Lie algebrag= Lie(G)is reductive:g=a g , whereais abelian andg = [g,g]is semisimple.(2)The groupGcan be written in the formG= (A K)/Z, whereAis a torus,Kis a connected,simply-connected compact semisimple Lie group, andZis a finite central subgroup inA K.(3)IfGis simply-connected, it is a product of simple compact Lie proof of this results is based on the fact that the Killingform ofgis negative : May 28, KIRILLOV AND ALEXANDER KIRILLOV JRExample group U(n) contains as the center the subgroupCof scalar matrices. The quotient groupU(n)/Cis simple and isomorphic to SU(n)/Zn. The presentation of Theorem 1 in this case isU(n) = T1 SU(n) /Zn= C SU(n) / C SU(n) .For the group SO(4) the presentation is SU(2) SU(2) /{ (1 1)}.This theorem effectively reduces the study of the structure of connected compact groups to the study ofsimply-connected compact simple Lie of a compact Lie that for a real Lie algebrag, itscomplexifica-tionisgC=g Cwith obvious commutator.

4 It is also well-known thatgCis semisimple or reductive iffgissemisimple or reductive respectively. There is a subtlety in the case of simple algebras: it is possible that areal Lie algebra is simple, but its complexificationgCis only semisimple. However, this problem never arisesfor Lie algebras of compact groups: ifgis a Lie algebra of a real compact Lie group, thengis simple if andonly ifgCis notion of complexification for Lie groups is more a connected real Lie group with Lie algebrag. AcomplexificationofGis aconnectedcomplex Lie groupGC( a complex manifold with a structure of a Lie group such that groupmultiplication is given by a complex analytic mapGC GC GC) which containsGas a closed subgroup,and such that Lie(GC) =gC. In this case, we will also say thatGis areal is not obvious why such a complexification exists at all; infact, for arbitrary real group it may notexist. However, for compact groups we do have the following a connected compact Lie group.

5 Then it has a unique complexificationGC , the following properties hold:(1)The inclusionG GCis a homotopy equivalence. In particular, 1(G) = 1(GC)and the quotientspaceGC/Gis contractible.(2)Every finite-dimensional representation ofGcan be uniquely extended to a complex analytic repre-sentation a Lie algebra of a compact Lie groupGis reductive, we see thatGCmust be reductive; ifGissemisimple or simple, then so isGC. The natural question is whether every complex reductive group can beobtained in this way. The following theorem gives a partial connected complex semisimple Lie groupHhas a compact real form: there is a compactreal subgroupK Hsuch thatH=KC. Moreover, such a compact real form is unique up to unitary group U(n) is a compact real form of the group GL(n,C).The orthogonal group SO(n) is a compact real form of the group SO(n,C).The group Sp(n) is a compact real form of the group Sp(n,C).The universal cover of GL(n,C) has no compact real results have a number of important applications.

6 For example, they show that study of representa-tions of a semisimple complex groupHcan be replaced by the study of representations of its compact form;in particular, every representation is completely reducible (this argument is known as Weyl s unitary trick). of simple compact Lie 1 essentially reduces such classificationto classification of simply-connected simple compact groups, and Theorem 2, Theorem 3 reduce it to theclassification of simple complex Lie algebras. Since the latter is well-known, we get the following a connected, simply-connected simple compact Lie be a simplecomplex Lie algebra and thus can be described by a Dynkin diagram of one the following types:An,Bn,Cn,Dn,E6,E7,E8,F4, , for each Dynkin diagram in the above list, thereexists a unique up to isomorphism simply-connected simple compact Lie group whose Lie algebra is described by this Dynkin GROUPS AND THEIR REPRESENTATIONS3 For typesAn.

7 , Dn, the corresponding compact Lie groups are well-known classical groups shown inthe table below:An, n 1Bn, n 2Cn, n 3Dn, n 4SU(n+ 1)Spin(2n+ 1)Sp(n)Spin(2n)The restrictions onnin this table are made to avoid repetitions which appear for small values ofn. Namely,A1=B1=C1, which gives SU(2) = Spin(3) = Sp(1);D2=A1 A1, which gives Spin(4) = SU(2) SU(2);B2=C2, which gives SO(5) = Sp(4) andA3=D3, which gives SU(4) = Spin(6).Other than that, all entriesare groupsE6, .. , G2also admit explicit geometric and algebraic descriptions which are relatedto the exceptional non-associative algebraOof so-called octonions (or Cayley numbers). For example, thecompact group of typeG2can be defined as a subgroup of SO(7) which preserves an almostcomplex structureonS6. It can also be described as the subgroup of GL(7,R) which preserves one quadratic and one cubicform, or, finally, as a group of all automorphisms this section,Gis a compact connected Lie torusinGis a maximal connected commutative subgroupT following theorem lists the main properties of maximal 5.

8 (1)For every elementg G, there exists a maximal torusT g.(2)Any two maximal tori inGare conjugate.(3)Ifg Gcommutes with all elements of a maximal torusT, theng T.(4)A connected subgroupH Gis a maximal torus iff the Lie algebraLie(H)is a maximal abeliansubalgebra inLie(G).Example U(n). Then the setTof diagonal unitary matrices is a maximal torus inG; moreover,every maximal torus is of this form after a suitable unitary change of basis. In particular, this implies thatevery element inGis conjugate to a diagonal SO(3). Then the setDof diagonal matrices is a maximal commutative subgroup inG, but not a torus. HereDconsists of 4 elements and is not tori and Cartan study of maximal tori in compact Lie groups is closelyrelated to the study of Cartan subalgebras in reductive complex Lie algebras (see [Se] for a definition of aCartan subalgebra).Theorem a connected compact Lie group with Lie algebrag, and letT Gbe a maximal torusinG,t= Lie(T) g.

9 LetgC,GCbe the complexification ofg,Gas in gC. Thenhis a Cartan subalgebra ingC. Conversely, every Cartan subalgebra inGCcan beobtained astCfor some maximal torusT allows us to use results about Cartan subalgebras (suchas root decomposition, properties of rootsystems, etc.) when studying compact Lie groups. From now on, we will denote byR h the root systemofgC; it can be shown that in fact,R it . We will also use notation itfor the coroot correspondingto a root R. Definitions of these and related notions can be found in [Se]or in the articleLie groups:general theoryin this and semisimple. Recall that the root latticeQ it is the abelian groupgenerated by roots R, and let the coroot latticeQ itbe the abelian group generated by coroots , R. Define also the weight and coweight lattices byP={ |h , i Z R} it P ={t|ht, i Z R} it,4 ALEXANDRE KIRILLOV AND ALEXANDER KIRILLOV JRwhereh , iis the pairing betweentand the dual vector spacet.

10 It follows from the definition of root system that we have inclusions(1)Q P it Q P itBothP, Qare lattices init ; thus, the index (P:Q) is finite. It can be computed explicitly: if iis abasis of the root system, then the fundamental weights idefined by(2)h i, ji= ijform a basis ofP. The simple roots iare related to fundamental weights jby the Cartan matrixA: i=PAij j. Therefore, (P:Q) = (P :Q ) =|detA|.Definitions ofP,Q,P ,Q ifgalso make sense whengreductive but not semisimple. However, in thiscase they are no longer lattices: rkQ <dimt , andPis not can now give more precise information about the structureof the maximal a compact connected commutative Lie group, andt= Lie(T)its Lie algebra. Then theexponential map is surjective and preimage of unit is a latticeL t. There is an isomorphism of Lie groupsexp:t/L particular,T Rr/Zr=Tr,r= (T) it the lattice dual to12 iL:(3)X(T) ={ it |h , li 2 iZ l L}.It is called thecharacter latticeforT(see Section ).