Automatic continuity for isometry groups

DOI10.1017/S1474748017000135MaRDI QIDQ6247429arXivFDO

Authors Marcin Sabok

Publication date 18 December 2013

Published in arXiv

Full work available at URL https://doi.org/10.1017/S1474748017000135

Mathematics Subject Classification ID

Descriptive set theory (03E15) Structure of general topological groups (22A05) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Topological groups (topological aspects) (54H11)

arXiv classification

math.GRmath.LO

Abstract: We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $mathrmAut([0,1],lambda)$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov. The results and proofs are stated in the language of model theory for metric structures.

This page was built for publication: Automatic continuity for isometry groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6247429)