4c09675fae7e11c9.tex
1: \begin{abstract}
2:   We present a general framework for automatic continuity
3:   results for groups of isometries of metric spaces. In
4:   particular, we prove automatic continuity property for the
5:   groups of isometries of the Urysohn space and the Urysohn
6:   sphere, i.e. that any homomorphism from either of these
7:   groups into a separable group is continuous. This answers
8:   a question of Melleray. As a consequence, we get that the
9:   group of isometries of the Urysohn space has unique Polish
10:   group topology and the group of isometries of the Urysohn
11:   sphere has unique separable group topology. Moreover, as
12:   an application of our framework we obtain new proofs of
13:   the automatic continuity property for the group
14:   $\aut([0,1],\lambda)$, due to Ben Yaacov, Berenstein and
15:   Melleray and for the unitary group of the
16:   infinite-dimensional separable Hilbert space, due to
17:   Tsankov. The results and proofs are stated in the language
18:   of model theory for metric structures.
19: \end{abstract}
20: