Definition

Let GG be a , choose a left , and let λ:GU(L2(G))\lambda:G\to\mathcal U(L^2(G)) be the , (λsξ)(t)=ξ(s1t)(\lambda_s\xi)(t)=\xi(s^{-1}t). The group von Neumann algebra of GG is

VN(G)={λs:sG}B(L2(G)).\operatorname{VN}(G)=\{\lambda_s:s\in G\}''\subseteq\mathcal B(L^2(G)).

Equivalently, it is the of the unital *-algebra generated by the operators λs\lambda_s, by the . The notation L(G)L(G) is especially common for discrete groups.

Basic structure

The of VN(G)\operatorname{VN}(G) is generated by the appropriately normalized right . The algebra therefore records the regular representation rather than merely the abstract multiplication law. For general locally compact GG, 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 GG is discrete, the vector δe\delta_e defines the canonical faithful normal trace

τ(x)=xδe,δe.\tau(x)=\langle x\delta_e,\delta_e\rangle .

In this case L(G)L(G) is a factor exactly when every nonidentity conjugacy class of GG is infinite Takesaki, vol. I, Chapter V, §7. If GG is abelian, Fourier transformation identifies VN(G)\operatorname{VN}(G) with the multiplication algebra L(G^)L^\infty(\widehat G); thus the group von Neumann algebra is commutative Takesaki, vol. II, Chapter VII, §3.

Conventions and scope
References
  1. 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.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter V, §7 on discrete group factors.