Real form (Lie theory)
Lie groupsandLie algebras |
---|
![]() |
Inmathematics,the notion of areal formrelates objects defined over thefieldofrealandcomplexnumbers. A realLie algebrag0is called a real form of acomplex Lie algebragifgis thecomplexificationofg0:
The notion of a real form can also be defined for complexLie groups.Real forms of complexsemisimple Lie groupsand Lie algebras have been completely classified byÉlie Cartan.
Real forms for Lie groups and algebraic groups
[edit]Using theLie correspondence between Lie groups and Lie algebras,the notion of a real form can be defined for Lie groups. In the case oflinear algebraic groups,the notions of complexification and real form have a natural description in the language ofalgebraic geometry.
Classification
[edit]Just as complexsemisimple Lie algebrasare classified byDynkin diagrams,the real forms of a semisimple Lie algebra are classified bySatake diagrams,which are obtained from the Dynkin diagram of the complex form by labeling some vertices black (filled), and connecting some other vertices in pairs by arrows, according to certain rules.
It is a basic fact in the structure theory of complexsemisimple Lie algebrasthat every such algebra has two special real forms: one is thecompact real formand corresponds to a compact Lie group under the Lie correspondence (its Satake diagram has all vertices blackened), and the other is thesplit real formand corresponds to a Lie group that is as far as possible from being compact (its Satake diagram has no vertices blackened and no arrows). In the case of the complexspecial linear groupSL(n,C), the compact real form is thespecial unitary groupSU(n) and the split real form is the real special linear groupSL(n,R). The classification of real forms of semisimple Lie algebras was accomplished byÉlie Cartanin the context ofRiemannian symmetric spaces.In general, there may be more than two real forms.
Suppose thatg0is asemisimple Lie algebraover the field of real numbers. ByCartan's criterion,the Killing form is nondegenerate, and can be diagonalized in a suitable basis with the diagonal entries +1 or −1. BySylvester's law of inertia,the number of positive entries, or the positive index of inertia, is an invariant of the bilinear form, i.e. it does not depend on the choice of the diagonalizing basis. This is a number between 0 and the dimension ofgwhich is an important invariant of the real Lie algebra, called itsindex.
Split real form
[edit]A real formg0of a finite-dimensional complex semisimple Lie algebragis said to besplit,ornormal,if in eachCartan decompositiong0=k0⊕p0,the spacep0contains a maximal abelian subalgebra ofg0,i.e. itsCartan subalgebra.Élie Cartanproved that every complex semisimple Lie algebraghas a split real form, which is unique up to isomorphism.[1]It has maximal index among all real forms.
The split form corresponds to theSatake diagramwith no vertices blackened and no arrows.
Compact real form
[edit]A real Lie algebrag0is calledcompactif theKilling formisnegative definite,i.e. the index ofg0is zero. In this caseg0=k0is acompact Lie algebra.It is known that under theLie correspondence,compact Lie algebras correspond tocompact Lie groups.
The compact form corresponds to theSatake diagramwith all vertices blackened.
Construction of the compact real form
[edit]In general, the construction of the compact real form uses structure theory of semisimple Lie algebras. Forclassical Lie algebrasthere is a more explicit construction.
Letg0be a real Lie algebra of matrices overRthat is closed under the transpose map,
Theng0decomposes into the direct sum of itsskew-symmetric partk0and itssymmetric partp0.This is theCartan decomposition:
The complexificationgofg0decomposes into the direct sum ofg0andig0.The real vector space of matrices
is a subspace of the complex Lie algebragthat is closed under the commutators and consists ofskew-hermitian matrices.It follows thatu0is a real Lie subalgebra ofg,that its Killing form isnegative definite(making it a compact Lie algebra), and that the complexification ofu0isg.Therefore,u0is a compact form ofg.
See also
[edit]Notes
[edit]- ^Helgason 1978,p. 426
References
[edit]- Helgason, Sigurdur (1978),Differential geometry, Lie groups and symmetric spaces,Academic Press,ISBN0-12-338460-5
- Knapp, Anthony (2004),Lie Groups: Beyond an Introduction,Progress in Mathematics, vol. 140, Birkhäuser,ISBN0-8176-4259-5