In this work Martin Schottenloher notes that the unified group $ U (H) $ a separable Hilbert room $ H $ is measurable in the strong operator topology, As a consequence (see R. Engelking, 5.1.3) it is paracompact (if $ H $ is separable). I wonder
if $ U (H) $ is paracompact for any (not necessarily separable) Hilbert space $ H $ in that strong operator topology,
P.S. Maybe this is a known fact, excuse my ignorance in this case. I think this will continue the discussions here, here, here and here, but I have to say that I do not even understand why $ U (H) $ is not locally compact in the infinite dimensional case.