The Poincaré and related groups are algebraically determined Polish groups
type: Item
instance of: scholarly article
title: The Poincaré and related groups are algebraically determined Polish groups
zbMATH Open document ID: 1226.22015
DOI: 10.1007/BF03191237
author: Robert R. Kallman
author: Alexander P. McLinden
published in: Collectanea Mathematica
publication date: 2011-08-16T00:00:00Z
review text: An important problem for Polish groups, that is, complete separable metric topological groups, is whether or not such a group admits a unique Polish topology compatible with its group structure. There are many Polish groups that are known to have this property; for example, compact simple Lie groups or the group of diffeomorphisms of a smooth manifold, among many others. The authors use a different but equivalent notion to describe this uniqueness property. They call a Polish group \(G\) algebraically determined if every Polish group \(H\) and every group isomorphism from \(H\) to \(G\) is already a homeomorphism. In the paper under review the authors deal with groups that are important in physics: the Heisenberg group \({\mathcal H}\) of all unipotent upper triangular real \(3\times 3\) matrices, the Lorentz group \({\mathcal L}\simeq O_4(\mathbb R,1)\), the Poincaré group \({\mathcal P}\), which is the semi-direct product of \({\mathcal L}\) with \(\mathbb R^4\) under the natural action of \({\mathcal L}\) on \(\mathbb R^4\), and close relatives thereof, the orthochronous Lorentz group \({\mathcal L}_t\), the proper Lorentz group \({\mathcal L}_s\) (determinant 1), the proper orthochronous Lorentz group \({\mathcal L}_e={\mathcal L}_t\cap{\mathcal L}_t\) and the semi-direct products of these subgroups of \({\mathcal L}\) with \(\mathbb R^4\), denoted by \({\mathcal P}_s\), \({\mathcal P}_t\) and \({\mathcal P}_e\), respectively. The authors show that each of \({\mathcal L}\), \({\mathcal L}_t\), \({\mathcal P}\), \({\mathcal P}_s\), \({\mathcal P}_t\) and \({\mathcal P}_e\) is algebraically determined. On the other hand it is observed that \({\mathcal L}_s\), \({\mathcal L}_e\) and \({\mathcal H}\) are Polish groups that are not algebraically determined. For the first two groups this is a consequence of the fact that the complex numbers admit discontinuous automorphisms, and for \({\mathcal H}\) it follows from the existence of discontinuous additive mappings from…
reviewed by: Günter F. Steinke
Mathematics Subject Classification ID: 22E43
Mathematics Subject Classification ID: 22E15
Mathematics Subject Classification ID: 54H15
zbMATH DE Number: 5939724
zbMATH Keywords: topological group
zbMATH Keywords: Polish group
zbMATH Keywords: Poincaré group
zbMATH Keywords: Lorentz group
zbMATH Keywords: Heisenberg group
MaRDI profile type: Publication
cites work: The infinite unitary and related groups are algebraically determined Polish groups
cites work: Q4331784
cites work: Uniqueness of Polish group topology
cites work: Über innere Abbildungen
cites work: Q3846750
cites work: The topology of compact simple Lie groups is essentially unique
cites work: A Uniqueness Result for Topological Groups
cites work: A uniqueness result for a class of compact connected groups
cites work: Uniqueness results for the ax+b group and related algebraic objects
cites work: Uniqueness Results for Groups of Measure Perserving Transformations
cites work: Uniqueness Results for Homeomorphism Groups
cites work: Borel Structure in Groups and Their Duals
cites work: On the Measurability of Orbits in Borel Actions
cites work: Automatic continuity in homeomorphism groups of compact 2-manifolds
cites work: Automatic continuity of homomorphisms and fixed points on metric compacta
cites work: Stetigkeitssätze für halbeinfache Liesche Gruppen
description: scientific article; zbMATH DE number 5939724