symmetric monoidal (∞,1)-category of spectra
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
Let $A$ be a $C^*$-algebra. We may define its enveloping von Neumann algebra in a few different but equivalent ways.
The enveloping von Neumann algebra $E(A)$ of $A$ is the free von Neumann algebra on $A$. That is, we have an adjunction
where $W^* Alg$ is the category of von Neumann algebras (which are $C^*$-algebras with preduals) and von Neumann algebra homomorphisms (which are $C^*$-algebra homomorphisms with preduals), $C^* Alg$ is the category of $C^*$-algebras and $C^*$-algebra homomorphisms, $U$ is the forgetful functor or inclusion functor, and $E$ is the functor that we wish to define.
Definition defines the functor $E$ up to unique natural isomorphism, if it exists. We may prove that it exists by the adjoint functor theorem or by proving that one of the explicit constructions below satisfies the relevant universal property.
Consider the direct sum of the the GNS representations of the positive? linear functionals on $A$; this is a Hilbert space $H$ and representation $\pi : A \to B(H)$, the a universal representation? of $A$. The image $\pi(A)$ is a subspace of $B(H)$; consider its double commutant? (or equivalently its closure in the weak operator topology) $A''$. Ignoring the representation of $A''$ on $H$, $A''$ is a von Neumann algebra, the enveloping von Neumann algebra of $A$.
To obtain an adjunction from Definition , we need also the unit of the adjunction, which is the map
Think of $A$ as a Banach space, and consider its double dual $A^{**}$. We have (as with any Banach space) a short linear map $i\colon A \to A^{**}$, so that $i(A)$ has the structure of a $C^*$-algebra. Since $i(A)$ is weak-$*$-dense in $A^{**}$ and the $C^*$-algebraic operations are continuous, they extend to $A^{**}$. These extensions turn $A^{**}$ into a Banach algebra; the $C^*$ identity also extends, making $A^{**}$ into $C^*$-algebra. Since $A^{**}$ has $A^*$ as a predual, it is a von Neumann algebra, the enveloping von Neumann algebra of $A$.
Here, the unit of the adjunction is simply $i$.
The claim that the definitions above are all equivalent is the Sherman–Takeda theorem, due (naturally enough) to Sherman (1950) and Takeda (1954).
A $C^*$-algebra and its enveloping von Neumann algebra have the same spectrum. The functional calculus on a $C^*$-algebra (which treats continuous functions) extends to the functional calculus on its enveloping von Neumann algebra (which treats measurable functions). In particular, we can apply a measurable function to an element of a $C^*$-algebra to obtain an element of its enveloping von Neumann algebra.
Some astract treatments of quantum mechanics use $C^*$-algebras, while others use von Neumann algebras. If a physical system is described by a $C^*$-algebra in the first case, then it may described by its enveloping von Neumann algebra in the second case.
S. Sherman (1950). The second adjoint of a C* algebra. Proceedings of the International Congress of Mathematicians 1950 (1): 470. American Mathematical Society.
Zirô Takeda (1954). Conjugate spaces of operator algebras. Proceedings of the Japan Academy 30 (2): 90–95.
Wikipedia (English): Enveloping von Neumann algebra, Sherman–Takeda theorem
Last revised on April 30, 2018 at 23:53:05. See the history of this page for a list of all contributions to it.