Hostname: page-component-7479d7b7d-rvbq7 Total loading time: 0 Render date: 2024-07-12T03:02:51.031Z Has data issue: false hasContentIssue false

Projective Limits of Finite-Dimensional Lie Groups

Published online by Cambridge University Press:  23 October 2003

Karl H. Hofmann
Affiliation:
Fachbereich Mathematik, Technische Universität Darmstadt, Schlossgartenstr. 7, D-64289 Darmstadt, Germany. E-mail: hofmann@mathematik.tu-darmstadt.de
Sidney A. Morris
Affiliation:
School of Information Technology and Mathematical Sciences, University of Ballarat, P.O. Box 663, Ballarat, Victoria 3353, Australia. E-mail: s.morris@ballarat.edu.au
Get access

Abstract

For a topological group $G$ we define $\cal N$ to be the set of all normal subgroups modulo which $G$ is a finite-dimensional Lie group. Call $G$ a pro-Lie group if, firstly, $G$ is complete, secondly, $\cal N$ is a filter basis, and thirdly, every identity neighborhood of $G$ contains some member of $\cal N$. It is easy to see that every pro-Lie group $G$ is a projective limit of the projective system of all quotients of $G$ modulo subgroups from $\cal N$. The converse implication emerges as a difficult proposition, but it is shown here that any projective limit of finite-dimensional Lie groups is a pro-Lie group. It is also shown that a closed subgroup of a pro-Lie group is a pro-Lie group, and that for any closed normal subgroup $N$ of a pro-Lie group $G$, for any one parameter subgroup $Y \colon \mathbb{R} \to G/N$ there is a one parameter subgroup $X \colon \mathbb{R}\to G$ such that $X(t) N = Y(t)$ for any real number $t$. The category of all pro-Lie groups and continuous group homomorphisms between them is closed under the formation of all limits in the category of topological groups and the Lie algebra functor on the category of pro-Lie groups preserves all limits and quotients.

Type
Research Article
Copyright
2003 London Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)