Pro-Lie groups which are infinite-dimensional Lie groups
2009 ◽
Vol 146
(2)
◽
pp. 351-378
◽
Keyword(s):
AbstractA pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this paper we show that a pro-Lie group G is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the group operations are smooth if and only if G is locally contractible. We also characterize the corresponding pro-Lie algebras in various ways. Furthermore, we characterize those pro-Lie groups which are locally exponential, that is, they are Lie groups with a smooth exponential function which maps a zero neighbourhood in the Lie algebra diffeomorphically onto an open identity neighbourhood of the group.
Keyword(s):
1992 ◽
Vol 46
(2)
◽
pp. 295-310
◽
Keyword(s):
Keyword(s):
1976 ◽
Vol 28
(1)
◽
pp. 174-180
◽
1990 ◽
Vol 05
(24)
◽
pp. 1967-1977
◽
Keyword(s):
1968 ◽
Vol 20
◽
pp. 344-361
◽
1957 ◽
Vol 64
(3)
◽
pp. 290-304
◽
Keyword(s):