Difference between revisions of "Lie group, compact"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 34: | Line 34: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E. Cartan, "La topologie des groupes de Lie" , Hermann (1936) {{MR|}} {{ZBL|0016.10401}} {{ZBL|0015.20401}} {{ZBL|62.0441.03}} {{ZBL|62.0441.02}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H. Weyl, ''Uspekhi Mat. Nauk'' , '''4''' (1938) pp. 201–246 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) {{MR|0201557}} {{ZBL|0022.17104}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> , ''Theórie des algèbres de Lie. Topologie des groupes de Lie'' , ''Sem. S. Lie'' , '''Ie année 1954–1955''' , Ecole Norm. Sup. (1955) {{MR|}} {{ZBL|0068.02102}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D.P. Zhelobenko, "Compact Lie groups and their representations" , Amer. Math. Soc. (1973) (Translated from Russian) {{MR|0473097}} {{MR|0473098}} {{ZBL|0228.22013}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> M.A. Naimark, "Theory of group representations" , Springer (1982) (Translated from Russian) {{MR|0793377}} {{ZBL|0484.22018}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.L. Onishchik, E.B. Vinberg, "Seminar on algebraic groups and Lie groups, 1967/68" , Moscow (1969) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) {{MR|0218496}} {{ZBL|0132.27803}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> J.F. Adams, "Lectures on Lie groups" , Benjamin (1969) {{MR|0252560}} {{ZBL|0206.31604}} </TD></TR></table> |
Line 42: | Line 42: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> Th. Bröcker, T. Tom Dieck, "Representations of compact Lie groups" , Springer (1985) {{MR|0781344}} {{ZBL|0581.22009}} </TD></TR></table> |
Revision as of 14:50, 24 March 2012
A compact group that is a finite-dimensional real Lie group. Compact Lie groups can be characterized as finite-dimensional locally connected compact topological groups.
If is the connected component of the identity of a compact Lie group
, then the group of connected components
is finite. The study of the structure of connected compact Lie groups is a basic topic in the theory of Lie groups.
The following examples of connected compact Lie groups play an important role in the general structure theory of compact Lie groups.
1) The multiplicative group of all complex numbers of modulus 1.
2) The group of all complex unitary matrices of order
with determinant 1.
3) The group of all real orthogonal matrices of order
with determinant 1.
4) The group of all matrices
for which
, where
![]() |
is the transposition sign and
is the unit matrix of order
.
A complete classification of connected compact Lie groups was obtained in the works of E. Cartan [1] and H. Weyl [2]. It is as follows.
There are two basic types of connected compact Lie groups.
1) Connected commutative compact Lie groups. These are precisely the tori, that is, groups of the form (
factors) (cf. also Torus).
2) Connected semi-simple compact Lie groups (see Lie group, semi-simple). If is a connected semi-simple compact Lie group, then the universal covering group
of
is also a compact Lie group (Weyl's theorem). The centre
of
is finite, and all connected Lie groups locally isomorphic to
are compact and are, up to isomorphism, the groups of the form
, where
. The Lie algebras of semi-simple compact Lie groups can be intrinsically characterized among all finite-dimensional real Lie algebras as algebras with negative-definite Killing form.
The two basic types of connected Lie groups indicated above determine the structure of arbitrary compact Lie groups. Namely, the latter are, up to isomorphism, all groups of the form , where
is a connected simply-connected compact Lie group with centre
,
is a torus and
is a finite subgroup of the group
which intersects
only in the identity. The Lie algebras of arbitrary compact Lie groups can also be characterized intrinsically among all finite-dimensional real Lie algebras: they are precisely the Lie algebras
that have a positive-definite scalar product
such that
for any
. They are called compact Lie algebras.
Thus, the classification of connected compact Lie groups reduces to the classification of connected simply-connected semi-simple compact Lie groups (or, equivalently, to the classification of semi-simple compact Lie algebras) and a description of their centres. It turns out that semi-simple compact Lie algebras are in one-to-one correspondence with semi-simple complex Lie algebras (and therefore with reduced root systems, cf. Root system). Namely, if is a semi-simple compact Lie algebra, then its complexification
is semi-simple. Conversely, in any semi-simple Lie algebra over
there is a unique (up to conjugacy) compact real form (cf. Form of an (algebraic) structure). In particular, the final result on the classification of simple compact Lie algebras and the connected simply-connected compact Lie groups corresponding to them is the following. There are four infinite series of so-called classical simple compact Lie algebras that correspond to the following series of irreducible reduced root systems:
,
,
,
,
,
, and
,
. They are, respectively, the Lie algebras of the groups
,
,
, and
. Apart from these there are the five so-called exceptional simple compact Lie algebras corresponding to the root systems of the types
,
,
,
, and
. Any compact simple Lie algebra is isomorphic to one of these Lie algebras, and they themselves are not pairwise isomorphic to one another. The compact Lie groups
and
,
, are connected and simply connected. The group
,
, is connected but not simply connected. Its universal covering is called the spinor compact Lie group and is denoted by
. The centre of a connected simply-connected semi-simple compact Lie group coincides with the centre of the corresponding simply-connected complex Lie group (see Lie group, semi-simple).
Any compact Lie group has a faithful linear representation; the image of such a representation is a real algebraic group. Any compact Lie group has a complexification
(see Complexification of a Lie group). Moreover,
is a complex reductive algebraic group (cf. Reductive group) whose affine algebra
can be described as the algebra of all representation functions on
, that is, continuous complex-valued functions
such that the linear envelope of the translates of
by elements of
is finite-dimensional. The algebra
has a natural real structure and so it determines an algebraic group over
. The real points of this group form
, and the complex points form
. The group
is a maximal compact subgroup in
. As a result one obtains a one-to-one correspondence between the classes of isomorphic compact Lie groups and reductive algebraic groups over
.
Any compact Lie group is a real-analytic group. Compact complex-analytic groups are also called complex compact Lie groups. Any connected complex compact Lie group (as a complex Lie group) is isomorphic to a complex torus , where
is a discrete subgroup of rank
in
, and (as a real Lie group) it is isomorphic to
. Two complex tori
and
are isomorphic (as complex Lie groups) if and only if
for some
.
References
[1] | E. Cartan, "La topologie des groupes de Lie" , Hermann (1936) Zbl 0016.10401 Zbl 0015.20401 Zbl 62.0441.03 Zbl 62.0441.02 |
[2] | H. Weyl, Uspekhi Mat. Nauk , 4 (1938) pp. 201–246 |
[3] | L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104 |
[4] | , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1955) Zbl 0068.02102 |
[5] | D.P. Zhelobenko, "Compact Lie groups and their representations" , Amer. Math. Soc. (1973) (Translated from Russian) MR0473097 MR0473098 Zbl 0228.22013 |
[6] | M.A. Naimark, "Theory of group representations" , Springer (1982) (Translated from Russian) MR0793377 Zbl 0484.22018 |
[7] | A.L. Onishchik, E.B. Vinberg, "Seminar on algebraic groups and Lie groups, 1967/68" , Moscow (1969) (In Russian) |
[8] | N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002 |
[9] | J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803 |
[10] | J.F. Adams, "Lectures on Lie groups" , Benjamin (1969) MR0252560 Zbl 0206.31604 |
Comments
References
[a1] | Th. Bröcker, T. Tom Dieck, "Representations of compact Lie groups" , Springer (1985) MR0781344 Zbl 0581.22009 |
Lie group, compact. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_group,_compact&oldid=14523