Difference between revisions of "Lie group, nilpotent"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 16: | Line 16: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> G. Birkhoff, "Representability of Lie algebras and Lie groups by matrices" ''Ann. of Math. (2)'' , '''38''' (1937) pp. 526–532 {{MR|1503351}} {{ZBL|0016.24402}} {{ZBL|63.0090.01}} </TD></TR><TR><TD valign="top">[2]</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">[3]</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">[4]</TD> <TD valign="top"> S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) {{MR|0514561}} {{ZBL|0451.53038}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> C. Chevalley, "Théorie des groupes de Lie" , '''3''' , Hermann (1955) {{MR|0068552}} {{ZBL|0186.33104}} {{ZBL|0054.01303}} {{ZBL|0063.00843}} </TD></TR></table> |
====Comments==== | ====Comments==== | ||
− | The theory of unitary representations of nilpotent Lie groups is well understood, and goes back to the fundamental paper [[#References|[a1]]] of A.A. Kirillov. This theory, which is usually called the | + | The theory of unitary representations of nilpotent Lie groups is well understood, and goes back to the fundamental paper [[#References|[a1]]] of A.A. Kirillov. This theory, which is usually called the "orbit method" , has extensions to the case of solvable Lie groups, although the results are not as complete as in the nilpotent case. See also [[#References|[a3]]]. |
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A.A. Kirillov, "Unitary representations of nilpotent Lie groups" ''Russian Math. Surveys'' , '''17''' : 4 (1962) pp. 53–104 ''Uspekhi Mat. Nauk'' , '''17''' : 4 (1962) pp. 57–110 {{MR|0142001}} {{ZBL|0106.25001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972) {{MR|0507234}} {{MR|0507236}} {{ZBL|0254.22005}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> L. Pukanszky, "Leçons sur les représentations des groupes" , Dunod (1967) {{MR|0217220}} {{ZBL|0152.01201}} </TD></TR></table> |
Revision as of 14:50, 24 March 2012
A Lie group that is nilpotent as an abstract group (cf. Nilpotent group). An Abelian Lie group is nilpotent. If is a flag in a finite-dimensional vector space
over a field
, then
![]() |
is a nilpotent algebraic group over ; in a basis compatible with
its elements are represented by triangular matrices with ones on the main diagonal. If
is a complete flag (that is, if
), then the matrix nilpotent Lie group
corresponding to
consists of all matrices of order
of the form mentioned above.
If is a complete normed field, then
is a nilpotent Lie group over
. Its Lie algebra is
(see Lie algebra, nilpotent). More generally, the Lie algebra of a Lie group
over a field
of characteristic 0 is nilpotent if and only if the connected component
of the identity of
is nilpotent. This makes it possible to carry over to nilpotent Lie groups the properties of nilpotent Lie algebras (see [2], [4], [5]). The group version of Engel's theorem admits the following strengthening (Kolchin's theorem): If
is a subgroup of
, where
is a finite-dimensional vector space over an arbitrary field
, and if every
is unipotent, then there is a complete flag
in
such that
(and
automatically turns out to be nilpotent) (see [3]).
Nilpotent Lie groups are solvable, so the properties of solvable Lie groups carry over them, and often in a strengthened from, since every nilpotent Lie group is triangular. A connected Lie group is nilpotent if and only if in canonical coordinates (see Lie group) the group operation in
is written polynomially [4]. Every simply-connected real nilpotent Lie group
is isomorphic to an algebraic group, and moreover, to an algebraic subgroup of
.
A faithful representation of in
can be chosen so that the automorphism group
can be imbedded in
as the normalizer of the image of
(see [1]).
If is a connected matrix real nilpotent Lie group, then it splits into the direct product of a compact Abelian Lie group and a simply-connected Lie group. A connected linear algebraic group
over a field of characteristic 0 splits into the direct product of an Abelian normal subgroup consisting of the semi-simple elements and a normal subgroup consisting of the unipotent elements [5].
Nilpotent Lie groups were formerly called special Lie groups or Lie groups of rank 0. In the representation theory of semi-simple Lie groups, when studying discrete subgroups of such groups, substantial use was made of horospherical Lie groups that are nilpotent Lie groups.
References
[1] | G. Birkhoff, "Representability of Lie algebras and Lie groups by matrices" Ann. of Math. (2) , 38 (1937) pp. 526–532 MR1503351 Zbl 0016.24402 Zbl 63.0090.01 |
[2] | N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002 |
[3] | J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803 |
[4] | S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) MR0514561 Zbl 0451.53038 |
[5] | C. Chevalley, "Théorie des groupes de Lie" , 3 , Hermann (1955) MR0068552 Zbl 0186.33104 Zbl 0054.01303 Zbl 0063.00843 |
Comments
The theory of unitary representations of nilpotent Lie groups is well understood, and goes back to the fundamental paper [a1] of A.A. Kirillov. This theory, which is usually called the "orbit method" , has extensions to the case of solvable Lie groups, although the results are not as complete as in the nilpotent case. See also [a3].
References
[a1] | A.A. Kirillov, "Unitary representations of nilpotent Lie groups" Russian Math. Surveys , 17 : 4 (1962) pp. 53–104 Uspekhi Mat. Nauk , 17 : 4 (1962) pp. 57–110 MR0142001 Zbl 0106.25001 |
[a2] | M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972) MR0507234 MR0507236 Zbl 0254.22005 |
[a3] | L. Pukanszky, "Leçons sur les représentations des groupes" , Dunod (1967) MR0217220 Zbl 0152.01201 |
Lie group, nilpotent. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_group,_nilpotent&oldid=14786