MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Number of II${}_1$ factors

McDuff proved that there exist continuum many non-isomorphic (separable) II${}_1$ factors. I would like to politely ask whether it is known/open if one can find $2^{\mathfrak{c}}$ (or at least $\mathfrak{c}^+$) many such factors.

My feeling is that this is not possible to construct more than $\mathfrak{c}$ separable von Neumann algebras by a simple cardinality argument. The ball of $B(H)$ for $H$ separable, is metrisable under the ultraweak topology, so it has at most $\mathfrak{c}$ ultraweakly closed subsets. So we cannot have more than $\mathfrak{c}$ different balls, and consequently, have more than $\mathfrak{c}$ non-isomorphic algebras. Is this correct?

-

Your argument is correct. An alternate and more "intrinsic" argument is to look at the predual, which is a separable Banach space. There are only continuum many separable Banach spaces, since they are determined by the metric on a countable dense subset that is a $\mathbb Q[i]$-vector space. Thus there are only continuum many separable von Neumann algebras, when considered just with their structure of dual Banach spaces. As Nik points out in the comments, the dual Banach space structure may not determine the algebra structure. However, given any such dual Banach space, you can fix a countable weak*-dense subset, and then any algebra structure will be determined by what it does on that countable set, so you again have only continuum many possibilities.
A von Neumann algebra is determined as a dual Banach space by its predual, but I don't think its algebra structure is determined --- there are von Neumann algebras which aren't *-isomorphic to their opposite algebra, though certainly they are isometric. Actually I thought the original argument was okay: the ball of any von Neumann algebra sitting in $B(H)$ is an ultraweakly closed subset of the ball of $B(H)$, and there are only continuum many of the latter, so ... – Nik Weaver Nov 29 at 22:55