Definition
Von Neumann algebra generated by a representation
The bicommutant, equivalently the weak operator closure of the unital algebra, generated by the image of a C-star representation.
Definition
Let be a representation of a -algebra. The von Neumann algebra generated by is
By the von Neumann bicommutant theorem, this is the weak-operator and strong-operator closure of the unital -algebra generated by . It is the smallest von Neumann subalgebra of containing the represented image. If is nondegenerate, the identity already lies in the strong closure of , so is the weak or strong closure of itself.
Why the bicommutant is used
Taking a bicommutant automatically adjoins the identity and closes in the relevant operator topologies. This matters for a degenerate representation: the weak closure of can act as zero on a complementary subspace and therefore need not contain , while is unital. Adding before taking the weak closure gives the same algebra as the bicommutant Takesaki, Chapter III, §2.
Dependence on the representation
The construction depends on the representation, not only on the abstract algebra . Different representations of the same -algebra may generate nonisomorphic von Neumann algebras or different normal representation theories. The universal representation produces the enveloping von Neumann algebra , whereas a particular quotient or factor representation can generate a much smaller algebra.
Role in representation theory
Properties formulated using weak limits become visible only after passing from to . A representation is factorial when this generated algebra is a factor. Quasi-equivalence of representations asks whether their generated von Neumann algebras are normally isomorphic in a way that agrees on the common -algebra.
References
- Jacques Dixmier, C-Algebras*, North-Holland, 1977. Publisher record. Relevant: Chapter 12 on the enveloping von Neumann algebra of a -algebra.
- Masamichi Takesaki, Theory of Operator Algebras I, Springer, 2002. Publisher record. Relevant: Chapter III, §2 on representations and generated von Neumann algebras.