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-algebra , the identity component 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 does not have property (T). On the other hand, the -unitary group where is a properly infinite semifinite von Neumann algbera with separable predual, does not have property (FH) for any . This in particular solves a problem left unanswered in the work of Pestov \cite{Pestov18}.
Cite
@article{arxiv.1906.05477,
title = {Polish groups of unitaries},
author = {Hiroshi Ando and Yasumichi Matsuzawa},
journal= {arXiv preprint arXiv:1906.05477},
year = {2019}
}
Comments
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