Polish groups of unitaries

Abstract

We study the question of which Polish groups can be realized as subgroups of the unitary group of a separable infinite-dimensional Hilbert space. We also show that for a separable unital C${}^{\ast }$-algebra $A$, the identity component ${\mathcal{U}}_0(A)$ of its unitary group has property (OB) of Rosendal (hence it also has property (FH)) if and only if the algebra has finite exponential length (e.g. if it has real rank zero), while in many cases the unitary group $\mathcal{U}(A)$ does not have property (T). On the other hand, the $p$-unitary group ${\mathcal{U}}_p(M,\tau )$ where $M$ is a properly infinite semifinite von Neumann algbera with separable predual, does not have property (FH) for any $1\le p<\infty$. This in particular solves a problem left unanswered in the work of Pestov \cite{Pestov18}.

v3 31 pages. Added more information in the introduction and preliminaries. Corrected many typos/inaccuracies. Theorem 4.28 is added. The proof of Theorem 4.21 is improved