Notes on \(C_0\)-representations and the Haagerup property (Q2016112)

It is shown in this paper that for \(G\) a locally compact group with \((\pi_0, H_0)\) its enveloping \(C_0\)-representation in the sense of Jolissaint that: \(\pi_0\) is a \(C_0\)-representation of \(G\), that is, every coefficient function on \(G\) associated to \(\pi_0\) is continuous and tends to zero at infinity; the coefficient functions of \(\pi_0\) are exactly the coefficient functions of the \(C_0\)-representations of \(G\); the representation \(\pi_0\) is the unique \(C_0\)-representation up to quasi-equivalence. Then the following conditions are equivalent: {\parindent= 0.6 cm \begin{itemize} \item[(1)] \(G\) has the Haagerup property, i.e., there exists a sequence of positive definite continuous functions on \(G\) vanishing at infinity, which tends to one uniformly on compact sets; \item [(2)] the full (or maximal) group \(C^*\)-algebra \(C^*(G)\) is isomorphic to \(C^*_{\pi_0}(G)\), the \(C^*\)-algebra generated by the image of continuous functions on \(G\) with compact support under the canonical extension from \(\pi_0\); \item [(3)] the representation \(\pi_0\) weakly contains the trivial representation, i.e., there exists a net of unit vectors of \(H_0\) such that the associated coefficient functions of \(\pi_0\) tend to \(1\) uniformly on compact subsets of \(G\); \item [(4)] the representation \(\pi_0\) is amenable, i.e., the tensor representation \(\pi_0 \otimes \bar{\pi}_0\) weakly contains the trivial representation. \end{itemize}} Further, it is shown that for \(G\) an infinite countable group, it has the Haagerup property if and only if it satisfies the following condition (or equivalent ones): there exists a finite von Neumann algebra \(M\) containing \(L(G)\), the von Neumann algebra of \(G\), such that \(L(G)\) is strongly mixing in \(M\) and \(M\) contains a Følner sequence of projections for \(L(G)\) (or a non-trivial asymptotically invariant sequence of projections for \(L(G)\), or a sequence of elements of the direct minus \(M \ominus L(G)\) with respect to the conditional expectation, with two-norm one and asymptotically commuting with the elements of \(L(G)\) in the two-norm), where for an inclusion \(B \subset M\) of two finite von Neumann algebras, \(B\) is said to be strongly mixing in \(M\) if the two-norm of the conditional expectation of the products \(x u_n y\) for \(x, y \in M \ominus B\) and the \((u_n)\) sequences of unitaries of \(B\) converging to zero in the weak operator topology, converges to zero.