Quantum Eberlein compactifications and invariant means

We propose a definition of a "$C^*$-Eberlein" algebra, which is a weak form of a $C^*$-bialgebra with a sort of "unitary generator". Our definition is motivated to ensure that commutative examples arise exactly from semigroups of contractions on a Hilbert space, as extensively studied recently by Spronk and Stokke. The terminology arises as the Eberlein algebra, the uniform closure of the Fourier-Stieltjes algebra $B(G)$, has character space $G^{\mathcal E}$, which is the semigroup compactification given by considering all semigroups of contractions on a Hilbert space which contain a dense homomorphic image of $G$. We carry out a similar construction for locally compact quantum groups, leading to a maximal $C^*$-Eberlein compactification. We show that $C^*$-Eberlein algebras always admit invariant means, and we apply this to prove various "splitting" results, showing how the $C^*$-Eberlein compactification splits as the quantum Bohr compactification and elements which are annihilated by the mean. This holds for matrix coefficients, but for Kac algebras, we show it also holds at the algebra level, generalising (in a semigroup-free way) results of Godement.
Comment: 34 pages; minor corrections; to appear in Indiana University Mathematics Journal