Pro-Lie Groups: A Survey with Open Problems
Open Access
Abstract
A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and forms a complete category. It includes each finite-dimensional Lie group, each locally-compact group that has a compact quotient group modulo its identity component and, thus, in particular, each compact and each connected locally-compact group; it also includes all locally-compact Abelian groups. This paper provides an overview of the structure theory and the Lie theory of pro-Lie groups, including results more recent than those in the authors’ reference book on pro-Lie groups. Significantly, it also includes a review of the recent insight that weakly-complete unital algebras provide a natural habitat for both pro-Lie algebras and pro-Lie groups, indeed for the exponential function that links the two. (A topological vector space is weakly complete if it is isomorphic to a power RX of an arbitrary set of copies of R. This class of real vector spaces is at the basis of the Lie theory of pro-Lie groups.) The article also lists 12 open questions connected to pro-Lie groups.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Local splitting of locally compact groups and pro-Lie groupsJournal of Group Theory, 2011
- Pro-Lie groups which are infinite-dimensional Lie groupsMathematical Proceedings of the Cambridge Philosophical Society, 2009
- Iwasawa's Local Splitting Theorem for Pro-Lie GroupsForum Mathematicum, 2008
- An Open Mapping Theorem For Pro-Lie GroupsJournal of the Australian Mathematical Society, 2007
- Towards a Lie theory of locally convex groupsJapanese Journal of Mathematics, 2006
- Sophus Lie's Third Fundamental Theorem and the Adjoint Functor TheoremJournal of Group Theory, 2005
- Projective Limits of Finite-Dimensional Lie GroupsProceedings of the London Mathematical Society, 2003
- Coassociative coalgebras2003
- Topological Vector Spaces1999
- Cartesian products of Baire spacesFundamenta Mathematicae, 1960