Abstract. We show that provided n = 3, the involutive Hopf * -algebra Au(n) coacting universally on an n-dimensional Hilbert space has enough finite-dimensional representations in the sense that every non-zero element acts non-trivially in some finite-dimensional * -representation. This implies that the discrete quantum group with group algebra Au(n) is maximal almost periodic (i.e. it embeds in its quantum Bohr compactification), answering a question posed by P. So ltan in [19].We also prove analogous results for the involutive Hopf * -algebra Bu(n) coacting universally on an n-dimensional Hilbert space equipped with a non-degenerate bilinear form.
IntroductionThis paper is concerned with the property of residual finite-dimensionality (or RFD for short) for operator algebras associated to discrete quantum groups. For a C * -algebra A being RFD means having a separating family representations on finite-dimensional Hilbert spaces; in other words, for any 0 = a ∈ A there is a C * -algebra homomorphism π : A → M n (C) that does not annihilate a.The RFD property is in a sense the exact opposite of simplicity: A C * -algebra is simple if it has no non-obvious quotients, whereas it is RFD if it has plenty of small quotients. The free group F 2 on two generators is the perfect example for both extremes: It is a standard result that its so-called reduced C * -algebra (i.e. the closure in B(ℓ 2 (F 2 )) of the left regular representation) is simple, while the C * -algebra universally generated by two unitaries (the full C * -algebra of F 2 ) is RFD [9].In fact freeness of some sort has been central in investigating the RFD property. In [12] for instance, the authors prove among other things that the full C * -algebra of a monoid that is a coproduct (in the category of monoids) of free groups and free or finite monoids is RFD; and in [11] Exel and Loring show that the coproduct of two RFD C * -algebras is again RFD, generalizing all of the previously-cited results (the full C * -algebra C * (F 2 ) of F 2 for instance is the coproduct of two copies of the RFD full C * -algebra C * (Z)).All of the above references deal extensively with group C * -algebras of discrete groups. The same kinds of issues are raised in [19] in the context of discrete quantum groups, where the main objects under consideration are the so-called CQG algebras of [10].We recall below ( §2.1) that these are algebras (in fact Hopf algebras) which should be thought of as comprising the representative functions on a compact "quantum group". By a kind of noncommutative Pontryagin duality, such an algebra is also trying to be the group algebra of a discrete quantum group. Just as for a classical discrete group, a CQG algebra has two extremal completions to a C * -algebra: a largest one called 'full' and a smallest one called 'reduced'. The paper [19] defines and constructs Bohr compactifications for discrete quantum groups. The procedure is parallel to the classical one of compactifying an ordinary discrete group, and many 2010 Mathematics Subject Classifica...