We show that the unitary group of any SOT-separable II₁ factor M, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann algebra with no type Iₙ direct summands (n <). The proof for the II₁-factor case uses regularization via free convolution and Popa's theorem on the existence of approximately free Haar unitaries in II₁ factors.
David Jekel (Thu,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: