Getting the gist of von Neumann algebras

Question

I am having an issue with my studying: I am focusing on C*-algebra theory, but I am encountering many propositions that have to do with von Neumann algebras. I cannot understand the ultraweak topology, especially the fact that it is independent of the representation $M\subset B(H)$. I cannot understand what that means, since by the definition I have encountered von Neumann algebras are defined to live in some $B(H)$. I also cannot understand what we mean when we say normal representation/ functional. I would like to understand these terms but I do not know where to study from. Other notions I am encountering are the enveloping von Neumann algebra and the double dual of a $C^*$-algebra and the isometric isomorphism between the two.

I am looking for a reference to study these concepts but as I said, this is not my focus so I do not want to deal with all the details. A short presentation would be fine for me. Right now I have seen the definition of a von Neumann algebra as a $*$-subalgebra of some $B(H)$ that is closed in SOT, the equivalence of it being closed in WOT, the double commutant theorem, the fact that vN algebra's are always unital, the fact that they are closed under polar decomposition and that they contain many projections (i.e. they are the norm-closed linear span of their projections). I have also seen Kaplansky's density theorem. Oh, I have also seen the construction of a predual through the trace-class operators and all, but it never came in handy.

Any suggestions? I tried Kadison and Ringrose but their presentation seems way too detailed for me.

Answer 1

The definition of a von Neumann algebra as a subalgebra of B(H) can be confusing for beginners, since it is unclear which properties depend on H and which ones don't.

Here is a better definition due to Sakai: a von Neumann algebra is a C*-algebra that admits a predual, i.e., a Banach space whose dual space is isomorphic to the underlying Banach space of the C*-algebra.

To understand where this definition comes form, recall that the Gelfand duality establishes a contravariant equivalence of categories between commutative unital C*-algebras and compact Hausdorff topological spaces.

In complete analogy to this, there is a Gelfand duality in the measurable setting, which establishes a contravariant equivalence of categories between commutative von Neumann algebras and compact strictly localizable enhanced measurable spaces.

The latter spaces in fact include measure theory studied in a typical graduate real analysis textbook, since σ-finite spaces are strictly localizable, and Radon measures are (Marczewski) compact.

To a measurable space this duality assigns the commutative von Neumann algebra of bounded measurable functions modulo equality almost everywhere, i.e., the L$^∞$ space.

The predual of the von Neumann algebra is precisely the space of finite complex measures, equivalently (by the Radon–Nikodym theorem) the space of complex integrable functions modulo equality almost everywhere.

With this duality in mind, it is very easy to understand where the above condition on predual comes from because in the commutative setting, it expresses precisely the Riesz representation theorem: the dual of L$^1$ is L$^∞$.

The ultraweak topology is the weak topology induced by the predual, which is manifestly independent of any choices.

For a concise reference, I recommend Sakai's book “C*-algebras and W*-algebras”.

Answer 2

For a relatively short (and not too heavy) introduction to these topics I recommend reading Nelson's notes, specifically the chapter on the predual, since it builds on these basic facts you know to talk about normality, and the ultra weak/strong topolgoies. https://math.berkeley.edu/~brent/files/209_notes.pdf