Representations of Residually Finite Groups by Isometries of the Urysohn Space

As a consequence of Kirchberg’s work, Connes’ Embedding Conjecture is equivalent to the property that every homomorphism of the group F_∞×F_∞ into the unitary group U(𝓁²) with the strong topology is pointwise approximated by homomorphisms with a precompact range. In this form, the property (which we call Kirchberg’s property) makes sense for an arbitrary topological group. We establish the validity of the Kirchberg property for the isometry group Iso (𝕌) of the universal Urysohn metric space 𝕌 as a consequence of a stronger result: every representation of a residually finite group by isometries of 𝕌 can be pointwise approximated by representations with a finite range. This brings up the natural question of which other concrete infinite-dimensional groups satisfy the Kirchberg property.