Analytic group
A set which possesses at the same time the structure of a topological group and that of a finite-dimensional analytic manifold (over a field
that is complete in some non-trivial norm, cf. Norm on a field) so that the mapping
defined by the rule
is analytic. An analytic group is always Hausdorff; if
is locally compact, then
is locally compact. If
is, respectively, the field of real, complex or
-adic numbers, then
is called a real, complex or
-adic analytic group, respectively. An example of an analytic group is the general linear group
of the vector space
over
(cf. Linear classical group) or, more generally, the group of invertible elements of an arbitrary finite-dimensional associative algebra with a unit over
. In general, the group of
-rational points of an algebraic group, defined over
, is an analytic group. A subgroup of an analytic group
which is a submanifold in
is called an analytic subgroup; such a subgroup must be closed in
. For example, the orthogonal group
is an analytic subgroup in
. All closed subgroups of a real or
-adic analytic group are analytic, and each continuous homomorphism of such groups is analytic (Cartan's theorems, [1]).
An analytic group is sometimes referred to as a Lie group [1], but a Lie group is usually understood in the narrower sense of a real analytic group [2], [3] (cf. Lie group). Complex and -adic analytic groups are called, respectively, complex and
-adic Lie groups.
The Cartan theorems formulated above signify that the category of real or -adic analytic groups is a complete subcategory in the category of locally compact topological groups. The question of the extent to which these categories differ, i.e. as to when a locally compact group
is a real analytic or a
-adic analytic group, can be exhaustively answered: If
is real analytic, it must contain a neighbourhood of the unit without non-trivial subgroups [5]–[9]; if it is
-adic, it must contain a finitely generated open subgroup
which is a pro-
-group and whose commutator subgroup is contained in the set
of
-th powers of elements in
[10]. In particular, any topological group with a neighbourhood of the unit that is homeomorphic to a Euclidean space (a so-called locally Euclidean topological group, [4]) is a real analytic group. In other words, if continuous local coordinates exist in a topological group, it follows that analytic local coordinates exist; this result is the positive solution of Hilbert's fifth problem [5], [11].
If the characteristic of the field is zero, the most important method in the study of analytic groups is the study of their Lie algebras (cf. Lie algebra of an analytic group).
For infinite-dimensional analytic groups cf. Lie group, Banach.
References
[1] | J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803 |
[2] | L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104 |
[3] | C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842 |
[4] | S. Helgason, "Differential geometry and symmetric spaces" , Acad. Press (1962) MR0145455 Zbl 0111.18101 |
[5] | "Hilbert problems" Bull. Amer. Math. Soc. , 8 (1902) pp. 101–115 (Translated from German) |
[6] | A.M. Gleason, "Groups without small subgroups" Ann. of Math. (2) , 56 : 2 (1952) pp. 193–212 MR0049203 Zbl 0049.30105 |
[7] | D. Montgomery, L. Zippin, "Small subgroups for finite dimensional groups" Ann. of Math. (2) , 56 : 2 (1952) pp. 213–241 |
[8] | H. Yamabe, "On the conjecture of Iwasawa and Gleason" Ann. of Math. (2) , 58 : 1 (1953) pp. 48–54 MR0054613 Zbl 0053.01601 |
[9] | H. Yamabe, "A generalization of a theorem of Gleason" Ann. of Math. (2) , 58 : 2 (1953) pp. 351–365 MR0058607 Zbl 0053.01602 |
[10] | M. Lazard, "Groupes analytiques ![]() |
[11] | I. Kaplansky, "Lie algebras and locally compact groups" , Chicago Univ. Press (1971) MR0276398 Zbl 0223.17001 |
Comments
In Western literature a connected Lie group is often called an analytic group.
Cartan's theorems usually go back to J. von Neumann (cf. [a1], [a2]).
References
[a1] | J. von Neumann, , Collected works , 1 , Pergamon (1961) pp. 134–148 Zbl 0188.00102 Zbl 0100.00202 |
[a2] | J. von Neumann, , Collected works , 1 , Pergamon (1961) pp. 509–548 Zbl 0188.00102 Zbl 0100.00202 |
Analytic group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_group&oldid=21850