Free Banach-Lie algebras, couniversal Banach-Lie groups, and more
type: Item
instance of: scholarly article
title: Free Banach-Lie algebras, couniversal Banach-Lie groups, and more
zbMATH Open document ID: 0785.22025
published in: Pacific Journal of Mathematics
publication date: 1994-04-21T00:00:00Z
review text: Here we apply the concept of a free complete normed Lie algebra to the theory of topological and Lie groups. Our main result is that there exists a couniversal separable connected Banach-Lie group, that is, such a separable connected Banach-Lie group that any other such Banach-Lie group is its quotient Lie group. This follows from the observation that any free Banach-Lie algebra is enlargeable, that is, comes from an appropriate Banach-Lie group. Also we give entirely new and rather transparent proofs of two earlier known results. The first was obtained by W. T. van Est and independently by \textit{S. Świerczkowski} [see Indag. Math. 33, 235-239 (1971; Zbl 0213.137)]: any Banach-Lie algebra is a quotient algebra of an enlargeable Banach-Lie algebra. As to the second one, some two decades ago \textit{I. Kaplansky} [Lie algebras and locally compact groups (Chicago, 1971; Zbl 0223.17001)] asked whether a quotient group of a topological group with no small subgroups (NSS group) is again an NSS group. It was proved by successive efforts of \textit{S. A. Morris} and \textit{H. B. Thompson} [Proc. Am. Math. Soc. 46, 431-437 (1974; Zbl 0294.22001)], \textit{H. B. Thompson} [J. Aust. Math. Soc. 18, 482-484 (1974; Zbl 0297.22001)], \textit{O. V. Sipacheva} and \textit{V. V. Uspenskij} [Vestn. Mosk. Univ., Ser. I 1987, No. 4, 21-24 (1987; Zbl 0623.22002)], and the author [``Topological groups and algebraic envelopes of topological spaces'', Ph.D. thesis, Moscow State University, Moscow, 1983, 78 pp. (in Russian)] that each topological group is a quotient group of an NSS group. The proof is ``hard'' -- it relies on combinatorial technique of words in free groups. The concept of free Banach-Lie algebra enables us to provide a purely Lie-theoretic and certainly ``soft'' proof.
Mathematics Subject Classification ID: 22E65
Mathematics Subject Classification ID: 17B65
Mathematics Subject Classification ID: 46H05
zbMATH DE Number: 508856
zbMATH Keywords: submultiplicative norms
zbMATH Keywords: enlargeable Lie algebras
zbMATH Keywords: couniversal separable connected Banach-Lie group
zbMATH Keywords: topological group with no small subgroups
zbMATH Keywords: NSS group
zbMATH Keywords: free Banach-Lie algebra
author: Vladimir G. Pestov
reviewed by: Vladimir G. Pestov
MaRDI profile type: Publication
full work available at URL: pjm.1993.157.137
OpenAlex ID: W2001550949
Wikidata QID: Q115230744
DOI: 10.2140/PJM.1993.157.137
description: scientific article; zbMATH DE number 508856