Weak$^*$ polynomial density, diffuseness and proper infinitude
The unitary group of a von Neumann algebra on an $\aleph_0$-dimensional Hilbert space is polynomially weak$^*$-dense (equivalently, $G_{delta}$ dense or residual) in the normal unit ball if and only if the canonical finite atomic quotient of the von Neumann algebra is trivial. The analogous result holds for the usual w...