von Neumann algebra Concrete von Neumann algebras

nLab
von Neumann algebra

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors | Feeds | Export |

Context

Algebra

higher algebra
universal algebra

Algebraic theories

• algebraic theory / 2-algebraic theory / (∞,1)-algebraic theory
• monad / (∞,1)-monad
• operad / (∞,1)-operad

Algebras and modules

• algebra over a monad
  ∞-algebra over an (∞,1)-monad
• algebra over an algebraic theory
  ∞-algebra over an (∞,1)-algebraic theory
• algebra over an operad
  ∞-algebra over an (∞,1)-operad
• action, ∞-action
• representation, ∞-representation
• module, ∞-module
• associated bundle, associated ∞-bundle

Higher algebras

• monoidal (∞,1)-category
  
  • symmetric monoidal (∞,1)-category
  • monoid in an (∞,1)-category
  • commutative monoid in an (∞,1)-category
• symmetric monoidal (∞,1)-category of spectra
  
  • smash product of spectra
  • symmetric monoidal smash product of spectra
  • ring spectrum, module spectrum, algebra spectrum
• A-∞ algebra
  
  • A-∞ ring, A-∞ space
• C-∞ algebra
• E-∞ ring, E-∞ algebra
  
  • ∞-module, (∞,1)-module bundle
  • multiplicative cohomology theory
• L-∞ algebra
  
  • deformation theory

Model category presentations

• model structure on simplicial T-algebras / homotopy T-algebra
• model structure on operads
  model structure on algebras over an operad

Geometry on formal duals of algebras

• Isbell duality
• derived geometry

Theorems

• Deligne conjecture
• delooping hypothesis
• monoidal Dold-Kan correspondence

Edit this sidebar

Functional analysis

• Functional Analysis

Overview diagrams

• topological vector spaces
• locally convex topological vector spaces

Basic concepts

• topological vector space
  
  • locally convex topological vector space
  • Banach Spaces
    
    • reflexive
  • Hilbert Spaces, Fréchet Spaces, Sobolev spaces, Lebesgue Spaces
  • Bornological Vector Spaces
  • Barrelled Vector Spaces
• linear operator
  
  • bounded, unbounded, self-adjoint, compact, Fredholm
  • spectrum of an operator
• operator algebras
  
  • functional calculus

Theorems

• Stone-Weierstrass theorem
• spectral theory
  
  • spectral theorem
  • Gelfand duality
• functional calculus
• Riesz representation theorem
• measure theory

Topics in Functional Analysis

• Bases
• Algebraic Theories in Functional Analysis
• An Elementary Treatment of Hilbert Spaces
• When are two Banach spaces isomorphic?

Edit this sidebar

Measure and probability theory

measure theory
probability theory

Measure theory

• measurable space, measurable locale
• measure, measure space
• von Neumann algebra
• geometric measure theory

Probability theory

• probability space
• probability distribution
• state
  
  • in AQFT and operator algebra
  • GNS construction
  • Fell's theorem
• entropy, relative entropy

Information geometry

• information geometry
• information metric
• Wasserstein metric

Thermodynamics

• thermodynamics
• second law of thermodynamics, generalized second law
• ergodic theory

Theorems

• Riesz representation theorem

Edit this sidebar

AQFT

AQFT and operator algebra

Definitions

• quantum mechanical system
  
  • observable
    
    • operator algebra
      
      • C*-algebra
      • von Neumann algebra
    • subsystem
  • state,
    
    • cyclic vector, separating vector
• local net of observables
  
  • Haag-Kastler axioms
  • Wightman axioms
  • causal net
  • field net
  • conformal net

Theorems

States and observables

• Kochen-Specker theorem
• Gleason's theorem
• Wigner theorem

Operator algebra

• GNS construction
• modular theory
• Fell's theorem
• Stone-von Neumann theorem
• Haag's theorem

Local QFT

• Reeh-Schlieder theorem
• Bisognano-Wichmann theorem
• PCT theorem
• spin-statistics theorem
• DHR superselection theory

Euclidean QFT

• Osterwalder-Schrader theorem

Edit this sidebar

Contents

• Idea
• History and terminology
• Definitions
  • Abstract von Neumann algebras
  • Concrete von Neumann algebras
• Sakai’s theorem and properties of preduals
• Elementary examples
• Properties of morphisms of von Neumann algebras
• $W^*$-categories
• Modules over von Neumann algebras
• Bimodules over von Neumann algebras and Connes fusion
• Modular algebra and Tomita–Takesaki theory
• Gelfand duality for commutative von Neumann algebras
• Relevance
• General
• Relation to measurable spaces
• Topics of interest for the understanding of AQFT
  • Vectors
  • Projections in von Neumann algebras
    • Projections are norm dense
    • Gleason’s theorem
    • Murray–von Neumann classification of factors
  • Miscellaneous
• Related concepts
• References

Idea

A von Neumann algebra or $W^*$-algebra is an important and special kind of operator algebra, relevant in particular to measure theory and quantum mechanics/quantum field theory in its algebraic formulation as AQFT. Specifically, (non-commutative) von Neumann algebras can be understood as the formal duals of (non-commutative) localizable measurable spaces (or measurable locales); see the section Relation to measurable spaces below.

History and terminology

Since terminology varies in the literature, we will say something about this first. There are no precise definitions here; see below for those.
(Of course, $W^*$-algebras should not be confused with W-algebras in (logarithmic) conformal field theory.)
John von Neumann originally studied certain operator algebras (back then they were called rings of operators), defined as unital $*$-subalgebras of the algebra $B(H)$ of bounded operators on some Hilbert space $H$ that are closed in any of the several operator topologies on $B(H)$ (except for the norm topology, which gives $C^*$-algebras); the ultraweak topology is most convenient for our purposes.
One disadvantage of such a definition is that it makes it difficult to separate properties of von Neumann algebras from properties of their representations on Hilbert spaces. For example, all faithful representations induce the same ultraweak topology on a von Neumann algebra, but different representations induce different weak topologies. Furthermore, not all von Neumann algebras come automatically equipped with a representation on a Hilbert space, such as the coproduct of two von Neumann algebras (although such a representation can always be constructed). Finally, this definition unnecessarily confuses two very distinct notions: algebras and modules (or representations).
Therefore, we may use the modern abstract terminology in which a von Neumann algebra is defined as an algebra with certain structures and properties. It then becomes a theorem that every von Neumann algebra has a free representation on a Hilbert space (such as Haagerup's standard form), so we may study von Neumann algebras in the historical concrete sense if we wish; but now we think of these as particular representations of algebras.
In the old terminology, morphisms of representations of von Neumann algebras (von Neumann algebras in the historical concrete sense) are sometimes called spatial morphisms of von Neumann algebras (as opposed to the abstract morphisms that we will define below). Similarly, the concrete von Neumann algebras themselves are sometimes called von Neumann algebras, whereas the abstract von Neumann algebras are called $W^*$-algebras. Compare the historic definitions of $C^*$-algebras, as well as other examples of concrete and abstract structures such as manifolds.
The nPOV dictates that a clear distinction between the categories of algebras and modules must be maintained, in particular, modules should not be confused with algebras. Hence we stick to the modern terminology, which also seems to be preferred in new papers on von Neumann algebras, see for example arXiv:1110.5671v1.

Definitions

For completeness, we give both the modern abstract and historical concrete definitions.

Abstract von Neumann algebras

We build on the concepts of Banach space and (abstract) $C^*$-algebra. In this definition, a Banach space is a complex Banach space and a morphism of Banach spaces is a short linear map (a complex-linear map of norm at most $1$); a $C^*$-algebra is a complex unital $C^*$-algebra, and a morphism of $C^*$-algebras is a unital $*$-homomorphism (which is necessarily also a short linear map). Note in particular that an isomorphism of either must be an isometry.
Given a Banach space $A$, a predual of $A$ is a Banach space $V$ whose dual Banach space $V^*$ is isomorphic to $A$:

$$V^* \overset{i}\to A$$

(or more properly, equipped with such an isomorphism $i$). Similarly, given a morphism $f\colon A \to B$ (properly, with $A$ and $B$ so equipped), a predual of $f$ is a morphism $t\colon W \to V$ whose dual is isomorphic to $f$:

$$\array { V^* & \overset{i}\to & A \\ \mathllap{t^*}\downarrow & & \downarrow\mathrlap{f} \\ W^* & \underset{j}\to & B } .$$

With these preliminaries, a $W^*$-algebra or (“abstract”) von Neumann algebra is a $C^*$-algebra that admits a predual (or more properly, equipped with one), and a $W^*$-homomorphism is a $C^*$-homomorphism that admits a predual. In this way, the category of $W^*$-algebras becomes a subcategory of the category of $C^*$-algebras.
It is a theorem (see below) that the predual of a $W^*$-algebra or $W^*$-homomorphism is essentially unique; we speak of the predual of $A$, write it $A_*$, and identify $A$ with $(A_*)^*$ (and similarly for morphisms). (So in fact we don't need the word ‘equipped’; being a $W^*$-algebra is an extra property, not an extra structure, on a $C^*$-algebra.)

Concrete von Neumann algebras

Fix a complex Hilbert space $H$ and consider the algebra $B(H)$ of bounded operators on $H$. A (“concrete”) von Neumann algebra on $H$ is a unital $*$-subalgebra of $B(H)$ that is closed in the weak operator topology, or equivalently in the ultraweak topology? or in the strong topology. As such is automatically closed in the norm topology, the von Neumann algebras form a (particularly nice) class of concrete $C^*$-algebras on $H$, where the latter are defined as unital $*$-subalgebras of $B(H)$ closed under the norm topology.
We equip a von Neumann algebra with the topology induced by its inclusion into $B(H)$ equipped with the ultraweak topology. An abstract morphism of von Neumann algebras can then be defined as a unital $*$-homomorphism that is continous in the ultraweak topology. Here we are disregarding the data of the inclusion of a von Neumann algebra into $B(H)$ and treating it as an algebra on its own.
Alternatively, we can define a von Neumann algebra $A$ as a unital $*$-algebra that admits an injective morphism into $B(H)$ for some Hilbert space $H$ such that the image of the inclusion is closed in the ultraweak topology on $B(H)$. One can then prove that the topology induced on $A$ by the ultraweak topology on $B(H)$ does not depend on the choice of $H$ or the particular inclusion of $A$ into $B(H)$. Hence one can define an abstract morphism of von Neumann algebras as a unital morphism of $*$-algebras that is continuous in the ultraweak topology.
It is a theorem that the category of (concrete) von Neumann algebras and abstract morphisms is equivalent to the category of (abstract) $W^*$-algebras and $W^*$-homomorphisms. Similarly, we get the category of representations of $W^*$-algebras on Hilbert spaces using instead the spatial morphisms of concrete von Neumann algebras.

Sakai’s theorem and properties of preduals

Sakai’s theorem states that preduals considered in the abstract definition are necessarily unique. More precisely, given a von Neumann algebra $A$ we consider the category whose objects are pairs $(V,f)$, where $V$ is a Banach space and $f\colon V^*\to A$ is an isomorphism of Banach spaces. A morphism from $(V,f)$ to $(W,g)$ is a morphism $h\colon V\to W$ of Banach spaces such that $f h^* = g$.
Sakai’s theorem then states that in the above category there is exactly one morphism between any pair of objects, which is necessarily an isomorphism. In particular, the category of preduals is canonically isomorphic to the terminal category.
Sakai’s theorem can be extended to morphisms of von Neumann algebras. Thus preduals of von Neumann algebras and their morphisms are unique up to a unique isomorphism, in particular we can talk about the predual of a von Neumann algebra and the predual of a morphism of von Neumann algebras.
The weak topology induced on a von Neumann algebra by its predual is called the ultraweak topology. The role of the ultraweak topology for von Neumann algebras is analogous to the role of the norm topology for C*-algebras. In particular, morphisms of von Neumann algebras are precisely those morphisms of C*-algebras that are continuous in the ultraweak topology.
Consider the dual space $V$ of a von Neumann algebra $A$ equipped with the ultraweak topology. The topological vector space $V$ canonically embeds into the dual of $A$ as a Banach space, the embedding map being induced by the canonical continuous map from $A$ equipped with the norm topology to $A$ equipped with the ultraweak topology. Thus $V$ is also a Banach space. There is a canonical morphism of Banach spaces from $A$ to $V^*$ given by evaluating an element of $V$ on the given element of $A$. This morphism is in fact an isomorphism, hence $V$ is the predual of $A$. In other words, the predual of a von Neumann algebra is canonically isomorphic to its dual in the ultraweak topology. Similarly, the predual of a morphism of von Neumann algebras is canonically isomorphic to its dual in the ultraweak topology.

Elementary examples

The easiest example of a von Neumann algebra is given by the $C^*$-algebra $B(H)$ of bounded operators on a complex Hilbert space $H$. The predual can be canonically identified with the Banach space of trace class operators.
Any $C^*$-subalgebra of $B(H)$ closed in the ultraweak topology is again a von Neumann algebra.
Another example is $L^\infty(X)$ under pointwise almost everywhere multiplication, where $X$ is a measure space or a localizable measurable space. These are (up to isomorphism) all of the commutative von Neumann algebras, according to a specialized version of the Gelfand–Naimark theorem. In the case where $X$ is a finite measure space, where we have $L^\infty(X) \subset L^2(X)$, a concrete realization $L^\infty(X) \hookrightarrow B(L^2(X))$ is given by considering $L^2(X)$ as an $L^\infty(X)$-module given by pointwise almost everywhere multiplication.

Properties of morphisms of von Neumann algebras

$W^*$-categories

Modules over von Neumann algebras

Bimodules over von Neumann algebras and Connes fusion

Modular algebra and Tomita–Takesaki theory

• modular theory

Gelfand duality for commutative von Neumann algebras

Relevance

The Gel’fand–Naimark theorem states that there is a contravariant equivalence between the category of commutative von Neumann algebras and the category of localizable measurable spaces; that is, the opposite category of one is equivalent to the other. See Relation to Measurable Spaces below. General von Neumann algebras are seen then as a ‘noncommutative’ measurable spaces in a sense analogous to noncommutative geometry.
The importance of von Neumann algebras for (higher) category theory and topology lays in the evidence that von Neumann algebras are deeply connected with the low dimensional quantum field theory (2d CFT, TQFT in low dimensions, inclusions of factors, quantum groups and knot theory; elliptic cohomology: works of Wenzl, Vaughan Jones, Anthony Wasserman, Kerler, Kawahigashi, Ocneanu, Szlachanyi etc.).
The highlights of their structure theory include the results on classification of factors (Alain Connes, 1970s) and theory of inclusions of subfactors (V. Jones). (Hilbert) bimodules over von Neumann algebras have a remarkable tensor product due Connes (Connes fusion). Following Segal’s manifesto

• Graeme Segal, Elliptic cohomology (after Landweber-Stong, Ochanine, Witten, and others). Séminaire Bourbaki, Vol. 1987/88. Astérisque No. 161-162 (1988), Exp. No. 695, 4, 187–201 (1989).

and its update

• Graeme Segal, What is an elliptic object? Elliptic cohomology, 306–317, London Math. Soc. Lecture Note Ser., 342, Cambridge Univ. Press, Cambridge, 2007.

on hypothetical connections between CFT and elliptic cohomology, Stolz and Teichner have made a case for a role von Neumann algebras seem to play in a partial realization of that program:

• Stefan Stolz and Peter Teichner, What is an elliptic object? (pdf)

See also the Wikipedia entry entry for more on von Neumann algebras and a list of references and links.

General

The bicommutant theorem (as known as the double commutant theorem , or von Neumann’s double commutant theorem ) is the following result.
Let $A \subseteq B(H)$ be a sub-star-algebra of the C-star algebra of bounded linear operators on a Hilbert space $H$. Then $A$ is a von Neumann algebra on $H$ if and only if $A = A''$, where $A'$ denotes the commutant of $A$.
Notice that the condition of $A$ being a von Neumann algebra (being closed in the weak operator topology; “weak” here can be replaced by “strong”, “ultrastrong”, or “ultraweak” as described in operator topology), which is a topological condition, is by this result equivalent to an algebraic condition (being equal to its bicommutant).

Relation to measurable spaces

The Gel’fand–Naimark theorem states that the category of localizable measurable spaces is contravariantly equivalent to (that is equivalent to the opposite of) the category of commutative von Neumann algebras. As such, arbitrary von Neumann algebras may be interpreted as ‘noncommutative’ measurable spaces in a sense analogous to noncommutative geometry.

Topics of interest for the understanding of AQFT

This paragraph will collect some facts of interest for the aspects of AQFT.
In this paragraph $\mathcal{M}$ will always be a von Neumann algebra acting on a Hilbert space $\mathcal{H}$ with commutant $\mathcal{M}'$.

Vectors

Definition. A vector $x \in \mathcal{H}$ is a cyclic vector if $\mathcal{M}x$ is dense in $\mathcal{H}$.

Definition. A vector $x \in \mathcal{H}$ is a separating vector if $M(x) = 0$ implies $M = 0$ for all $M \in \mathcal{M}$.

Theorem. The notions of cyclic and separating are dual with respect to the commutant, that is a vector is cyclic for $\mathcal{M}$ iff it is separating for $\mathcal{M}'$.

Projections in von Neumann algebras

One crucial feature of von Neumann algebras is that they contain “every projection one could wish for”: there are three points that make this statement precise:

• the linear combinations of projections are norm dense in a von Neumann algebra
• Gleason's theorem
• Murray–von Neumann classification of factors

Projections are norm dense

First let us note that every element $A$ of a von Neumann algebra can trivially be written as a linear combination of two selfadjoint elements:

$$A = \frac{1}{2} (A + A^*) + i\frac{1}{2i} (A - A^*)$$

Then, by the spectral theorem every selfadjoint element A is represented by it’s spectral measure E via

$$A = \integral_{-\|A\|}^{\|A\|} \lambda E(d\lambda)$$

The integral converges in norm to A and all spectral projections are elements of the von Neumann algebra. It immediatly follows that the set of finite sums of multiples of projections is norm dense in every von Neumann algebra.

Gleason’s theorem

See Gleason's theorem.

Murray–von Neumann classification of factors

To be done…

Miscellaneous

• split inclusion of von Neumann algebras

Related concepts

• enveloping von Neumann algebra
• von Neumann algebra factor

References

• Jacob Lurie, von Neumann algebras, lecture series (2011) (web)

Revised on April 28, 2014 10:10:06 by Toby Bartels (64.89.53.201)