On amenable groups of automorphisms on von Neumann algebras (Q919586)

Let \(G\subset Aut M\) be a countable group, M a von Neumann algebra, E a set of pure states on M stable under the dual action of G, \(S^ G\) the set of G invariant states on M and \(S^ G_ E=S^ G\cap w^* cl co E\). This paper investigates some geometric properties of \(S^ G_ E\) equivalent to the amenability of G. Mainly, if \(S^ G_ E\subset M_*\), amenability of G is shown to be equivalent to the existence of minimal projections in M. Then the same condition is shown to imply that \(s^*\cap M^{\perp}_*\) (where \(M^*=M_*\oplus M^{\perp}_*)\) contains a big set in the sense that it contains a copy of the set \({\mathcal F}\) of states on \(\ell^{\infty}\) pertaining to \(C^{\perp}_ 0\). As a consequence, \(Card(S^ G\cap M^{\perp}_*)\geq 2^{Card {\mathbb{R}}}\).