$G$-finite von Neumann algebras and weakly almost periodic functions

Abstract

Let $M$ be a von Neumann algebra which acts in a standard way on the Hilbert space $H$, let $G$ be a subgroup of the group of all $*$-automorphisms of $M$. We prove that $M$ is $G$-finite (in the sense of I. Kovács and Szücs, i.e. the set of all normal, $G$-invariant states on $M$ is separating) if and only if, for every $x\in M$ and all $ξ,η\in H$, the coefficient function $g\mapsto \langle g(x)ξ|η\rangle$ is weakly almost periodic.