Definition
Group von Neumann algebra
The von Neumann algebra generated by the left regular representation of a locally compact group.
Definition
Let be a locally compact group, choose a left Haar measure, and let be the left regular representation, . The group von Neumann algebra of is
Equivalently, it is the weak-operator closure of the unital -algebra generated by the operators , by the von Neumann bicommutant theorem. The notation is especially common for discrete groups.
Basic structure
The commutant of is generated by the appropriately normalized right regular representation. The algebra therefore records the regular representation rather than merely the abstract multiplication law. For general locally compact , its canonical noncommutative integral is the Plancherel weight; this need not be a finite trace Takesaki, vol. II, Chapter VII, §3.
Discrete and abelian cases
If is discrete, the vector defines the canonical faithful normal trace
In this case is a factor exactly when every nonidentity conjugacy class of is infinite Takesaki, vol. I, Chapter V, §7. If is abelian, Fourier transformation identifies with the multiplication algebra ; thus the group von Neumann algebra is commutative Takesaki, vol. II, Chapter VII, §3.
Conventions and scope
References
- Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. DOI record. Relevant: Chapter VII, §3 on the Plancherel weight and the von Neumann algebra of a locally compact group.
- Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter V, §7 on discrete group factors.