Quantum Eberlein compactifications and invariant means (Q2806007)

The authors introduce the notion of C*-Eberlein algebra, which is basically a C*-algebra with a coproduct type map and a contractive corepresentation on a Hilbert space, suitably related to each other. The case when the C*-algebra is commutative corresponds to a locally compact semitopological semigroup which is topologically isomorphic to a semigroup of contractions on a Hilbert space equipped with the weak* topology (topologically isomorphic meaning that there is a semigroup isomorphism that is also a homeomorphism). This type of semigroups were recently studied by \textit{N. Spronk} and \textit{R. Stokke} [Indiana Univ. Math. J. 62, No. 1, 99--148 (2013; Zbl 1285.43004)].NEWLINENEWLINEAfter general definitions and constructions, the authors show that one can associate to every locally compact quantum group a unital C*-Eberlein algebra that is maximal in a suitable sense. This unital C*-Eberlein algebra is called the quantum Eberlein compactification of the locally compact quantum group. Again this relates to the recent work by Spronk and Stokke [loc. cit.] in the classical setting.NEWLINENEWLINEOne of the main results of the paper under review is that the quantum Eberlein compactification always admits a unique invariant state. One application of the existence of this invariant state is to show that every finite-dimensional corepresentation contained in the so-called Eberlein corepresentation is admissible.NEWLINENEWLINEWhen the underlying locally compact quantum group \(\mathbb G\) is of Kac type, the invariant state is in fact a trace. In this case the kernel \(E_0(\mathbb G)\) of the invariant trace is a two-sided ideal, and under the assumption that the quantum Bohr compactification \(AP(C^u_0(\mathbb G))\) of \(C^u_0(\mathbb G)\) (introduced by \textit{P. M. Sołtan} in [Ill. J. Math. 49, No. 4, 1245--1270 (2005; Zbl 1099.46048)]) is reduced, this leads to a direct sum decomposition of the quantum Eberlein compactification: \(E(\mathbb G) = E_0(\mathbb G) \oplus AP(C^u_0(\mathbb G))\).