1
$\begingroup$

For a group $G$ we may define its left regular representation on $\ell^2(G)$ via $\lambda(g)\delta_h=\delta(gh)$ where $(\delta_g)_{g\in G}$ is the canonical basis. Then $M(G)=\lambda(G)^{''}$ is the generated group von Neumann algebra. By $\tau(x)=\langle x\delta_e, \delta_e\rangle$ it is given a faithful, normal state on $M(G)$. W.r.t. $\tau$ we may build the GNS construction of $M(G)$, this is called the standard form. In lecture notes by Vaughan Jones from 2009 he states that the group von Neumann algebra is already in standard form. This is not clear to me. I see that both the construction of the group von Neumann algebra as well as the GNS construction use left regular representations, but the GNS Hilbert space is then the completion of $M(G)$ w.r.t. tracial norm $x\mapsto \|x\delta_e\|$. Is this already complete? Do we then identify $x$ with $x\delta_e$ (which is possible since $\delta_e$ is separating)? It would be nice if someone could clarify what is meant with this assertion.

$\endgroup$
  • $\begingroup$ $\lambda(g)\delta_h = \delta_{gh}$, I guess. $\endgroup$ – user42761 Apr 15 '17 at 15:06
  • $\begingroup$ You are right, I have fixed it! Somehow I mixed it with $(\lambda(g)\delta_h)(k)=\delta_h(g^{-1}k)$, i.e. the discrete fourier transform definition... $\endgroup$ – Sebastian Bechtel Apr 15 '17 at 15:12
0
$\begingroup$

The standard form of a von Neumann algebra $M$ is a representation $M\subset B(H)$ that has a conjugate linear isometric involution $J$ and and a self-dual cone $P\subset H$ with

  • $JMJ=M'$

  • $J\xi=\xi$ for all $\xi\in P$

  • $aJaJ\subset P$ for all $a\in M$

  • $JcJ=c^*$ for all $c\in\mathcal Z(M)$

It is the "correct" representation to do Tomita-Takesaki theory. A sufficient condition to have such a representation is that $M$ has a cyclic and separating vector $\Omega$; in the case of the left regular representation of $G$, the additional property of having the trace allows one to define $J$ by $$ Ja\Omega=a^*\Omega, $$ and $P=\overline{\{a\Omega:\ a\geq0\}}$.

$\endgroup$
  • $\begingroup$ Thanks for your answer, I didn't know this definition yet, only the one I have introduced above (but I just realized that mine was (probably only?) for finite factors ...) Is it obvious to call it "the" standard form? As I have introduced it above, it was clear to me, since the trace is unique and GNS representation is up to unitary equivalence. In the case of group algebras, do we actually need the tracial property? Since we already know that $\delta_e$ is cyclic and separating? $\endgroup$ – Sebastian Bechtel Apr 15 '17 at 15:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.