One-to-one correspondence between generating functionals and cocycles on quantum groups in presence of symmetry

We prove that under a symmetry assumption all cocycles on Hopf ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^*$$\end{document}-algebras arise from generating functionals. This extends earlier results of R. Vergnioux and D. Kyed and has two quantum group applications: all quantum Lévy processes with symmetric generating functionals decompose into a maximal Gaussian and purely non-Gaussian part and the Haagerup property for discrete quantum groups is characterized by the existence of an arbitrary proper cocycle.

Keywords Hopf * -algebra · Cocycle · Generating functional · Quantum Lévy process · Quantum group · Haagerup property Mathematics Subject Classification Primary 16T20; Secondary 16T05 · 46L65 The correspondence between (real) conditionally positive definite functions on a discrete group and cocycles for orthogonal representations of on real Hilbert spaces plays a key role in the functional-analytic geometric group theory, allowing a transition between analytic and geometric data (see for example the dictionary in the beginning of Chapter 2 in [1]). Perhaps less well-known, but equally important, is its role in the algebraic approach to Lévy processes on groups and Lévy-Khintchine decomposition. When we pass to the quantum context, replacing classical groups by their quantum counterparts, the relation between the two corresponding notions, i.e. generating functionals and cocycles on Pol(G), where G is a compact quantum group, becomes somewhat more involved, but its importance does not diminish. This was first recognized by Schürmann [13,14], who in particular used the GNS construction leading from a generating functional to a cocycle as a key step in the reconstruction theorem for quantum Lévy processes. He also noted the connection between the possibility of attributing a generating functional to a given cocycle and the extraction of a maximal Gaussian part of a given quantum Lévy process. It was soon realized that in general given a cocycle the corresponding generating functional need not exist [15,16]. Almost twenty years later D. Kyed, basing his result on the unpublished notes by R. Vergnioux, showed that real cocycles always arise from generating functionals. Reality is now understood as a specific interaction with the antipode S of Pol(G). In Kyed's paper this was used to study Kazhdan's Property (T) for discrete quantum groups; recently the same construction was employed to the analysis of the Haagerup property in [3].
In this work we extend the results of Vergnioux and Kyed to the situation where the reality condition is in addition twisted by what we call an admissible bijection. A primary motivating example arises from a scaling action on the algebra of functions on a non-Kac compact quantum group, where the new reality condition can be viewed as related to the unitary antipode of Pol(G). We show that in fact for any Hopf * -algebra A and an admissible bijection α : A → A there is a one-to-one correspondence between α-real cocycles on A and S • α-invariant generating functionals on A. The difficult part is the one where we associate a functional to a given cocycle, the other direction follows from Schürmann's GNS construction. It deserves to be noted that the construction, although purely algebraic, is more involved than the one of Vergnioux-Kyed. The result turns out to have some important applications: it enables us to show that any quantum Lévy process whose generating functional is S • α-invariant allows the extraction of its maximal Gaussian part and that the Haagerup property for a discrete quantum group is characterised by the existence of a proper (not necessarily real) cocycle. The latter result strengthens Theorem 7.23 in [3].
The plan of the article is as follows: in Sect. 1 we describe the notation and terminology, in particular developing the concept of the admissible bijection, quoting known results regarding the correspondence between cocycles and generating functionals and presenting a homological viewpoint on the problem studied in the paper. In Sect. 2 we prove the main result and in Sect. 3 establish two applications mentioned above.
All the inner products in the article are linear on the right.

Notations and preliminaries
Let A be a Hopf * -algebra [8]. We will denote its coproduct by , the counit by and the antipode by S, and very often employ Sweedler's notation: if a ∈ A then (a) = a (1) ⊗ a (2) .
This requires certain care: so for example, as the interaction of the coproduct with the antipode involves a tensor flip : (2) ), (Sa) (2) = S(a (1) ).
The defining antipode relation in Sweedler's notation takes the following form: Occasionally we will also need a triple version of the Sweedler notation: (2) The adjoint map of A will be denoted simply by * , so that we have for example a relation S • * •S• * = id. We will further denote the ideal Ker( ) by K 1 .
The main motivating examples we have in mind are those of Hopf * -algebras coming from compact quantum groups. Let then G be a compact quantum group in the sense of Woronowicz [18,19]-note it is defined implicitly, in terms of its algebra of continuous functions, a unital C * -algebra C(G), equipped with a coproduct : . . , n; each of the elements u i j is called a coefficient of U . The linear span of all coefficients of finite dimensional unitary representations of G is a dense unital * -subalgebra of C(G), which turns out to have the structure of a Hopf * -algebra with the coproduct inherited from C(G). There are natural notions of irreducibility and unitary equivalence for unitary representations of G; if we denote by Irr(G) the set of all equivalence classes of irreducible representations of G and for each β ∈ Irr(G) choose a representative U β ∈ M n β (Pol(G)) then {u β i j : β ∈ Irr(G), i, j = 1, . . . , n β } forms a linear basis of Pol(G). The Hopf * -algebra Pol(G) admits a scaling automorphism group, i.e. a one-parameter group of automorphisms (τ t ) t∈R which is 'locally implemented', i.e. for each β ∈ Irr(G) there exists a positive invertible matrix Q β ∈ M n β such that we have The above formula (or the implementation in terms of so-called Woronowicz characters) implies that we can in fact replace t above by any number z ∈ C and still obtain a bijective homomorphism τ z : Pol(G) → Pol(G), such that τ z (a * ) = (τz(a)) * for all a ∈ Pol(G). Each τ z commutes with the antipode and also intertwines the coproduct: We can assume, at the cost of possibly choosing another representative of β, that the matrix Q β is diagonal: this means that there exist strictly positive numbers q 1 (β), . . . , q n β (β) such that for each z ∈ C and i, j = 1, . . . , n β we have The unitary antipode R of G is a * -preserving involutive anti-automorphism of Pol(G) defined as R = S • τ i 2 ; in the basis chosen above one obtains thus All these facts can be located in [19], see also [8] (note that we follow rather a convention used for example in [3,9] then this of [19]-in the latter article one has R = S • τ − i 2 ). Finally observe that the scaling automorphisms are non-trivial if and only if G is not of the Kac type, that is if the Haar state of G is not tracial. In particular they trivialise when we study classical compact groups G.
Finally let us recall that the Hopf * -algebras arising as Pol(G) for a certain compact quantum group G have intrinsic characterization, as CQG-algebras [4].

Admissible bijections
The following definition plays a crucial role in this article. Definition 1.1 Let A be a Hopf * -algebra. A map α : A → A is called an admissible bijection if it satisfies the following conditions: It is not difficult to see that if an admissible bijection is * -preserving (in other words it is an automorphism of the Hopf * -algebra A), it must be an identity map-indeed, if α is * -preserving then (ii) above implies that it is an order two automorphism, so A decomposes into eigenspaces of α corresponding respectively to eigenvalues 1 and −1. If the second of these is non-trivial, then condition (iv) cannot hold. Given an admissible bijection α : A → A we define an α-twisted antipode S α via the formula Proof Let t ∈ R. The discussion in the beginning of this section shows that the first three conditions are satisfied; for the second remark just that we have This shows that (iv)-(v) of Definition (1.1) also hold.

Remark 1.3
The comment after Definition 1.1 shows that to find non-trivial admissible bijections one needs to deform the * -structure of A. The construction in Proposition 1.2, of course providing new examples only in the non-Kac case, suggests the following example. Let N ∈ N, N ≥ 2 and consider the unitary group U (N ) with (U i j ) N i, j=1 denoting the standard generators of Pol(U (N )). Further consider a tuple (q 1 , . . . , q N ) of strictly positive real numbers. An identification of A := Pol(U (N )) as the universal commutative algebra generated by 2N 2 . . , n allows us to define a bijective homomorphism α on A via the homomorphic extension of the formulas An explicit, long calculation shows that α is indeed an admissible bijection, different from the identity map if not all of the numbers q i coincide.
We will now collect some basic properties of admissible bijections and related twisted antipodes.
(1.2) Proof All the above follow easily from the definitions. For example to show (iii) we use Definition 1.1 (iii), the fact that α is a bijection and the uniqueness of a counit on a Hopf algebra; to show (iv) we use again Definition 1.1 (iii), the fact that α is a homomorphic bijection, property (ii) and the uniqueness of an antipode on a Hopf algebra. To obtain (vii) we apply the homomorphism α to the defining antipode relation and use the fact that as α 'commutes' with the coproduct we have in Sweedler's notation α(a (1) ) = α(a) (1) and α(a (2) ) = α(a) (2) .

Cocycles and generating functionals
In this subsection we discuss quickly the generating functionals and cocycles for representations of Hopf * -algebras and basic relations between these notions.

Definition 1.5 Let
A be a Hopf * -algebra. A generating functional on A is a functional L : A → C which is conditionally positive, hermitian and vanishes at 1: The importance of generating functionals lies in the fact that they generate convolution semigroups of states (see [11,14] for the topological, analytic context), and thus further classify quantum Lévy processes up to stochastic equivalence (see [14]).
Let D be a pre-Hilbert space. By a representation of A on D we will always mean a unital * -homomorphism from A to L † (D), the * -algebra of operators on D which admit (pre-)adjoints defined on D and leaving D invariant. Note that if A is a CQG algebra each such representation is bounded operator valued, and hence extends automatically to a unital * -homomorphism from A to B(H), where H is the Hilbert space completion of D.
Definition 1.6 Let A be a Hopf * -algebra, and let D be a pre-Hilbert space. A linear map η : A → D is said to be a (nondegenerate) cocycle (for a representation π of A on D) if it satisfies the equation: Usually non-degeneracy is not a part of the defining condition for cocycles, but for us it is convenient to include it, as we will work only with the cocycles which have this property (in any case a degenerate cocycle η can be always viewed as a non-degenerate one by restricting the representation π to the invariant subspace η(A)). Note also that as for each cocycle Definition 1.7 Let L : A → C be a generating functional and let η : A → D be a cocycle. We say that η yields the coboundary of L if We say that two cocycles η 1 : A → D 1 , η 2 : A → D 2 are unitarily equivalent if there exists a unitary operator U : H 1 → H 2 , where H 1 , H 2 denote the respective Hilbert space completions, such that for all a ∈ A we have η 2 (a) = U η 1 (a). It is easy to see that if two cocycles yield the coboundary of the same generating functional then they are unitarily equivalent. Moreover if η : A → D is a cocycle and L : A → C is a functional satisfying (1.4) then L is a generating functional if and only if it is hermitian. The following result forms a part of the Schürmann Reconstruction Theorem and can be shown via a GNS-type construction. Thus it is natural to ask the following question, which goes back to [13].

Question 1.1 Given a cocycle η does it admit a generating functional L for which it yields the coboundary?
In general it is known that the answer to this question is negative, even for cocycles with respect to trivial representations (i.e. for a multiple of the counit)-see Example 2.1 in [16]. The construction in [16] can be modified to yield counterexamples for a C QG-algebra. The answer to Question 1.1 is positive for all cocycles on C[F n ], where F n is the free group on n generators, and on the so-called Brown-Glockner-von Waldenfels * -bialgebra U n [13].
The terminology used above (i.e. the cocycle, the coboundary) is related to the homological viewpoint on the relation (1.4), which we discuss next.

Lemma 1.9 If η : A → D is a cocycle then there exists a unique linear map
Proof Denote the representation for which η is a cocycle by π. It is clear by linearity that the mapφ : =φ(a ⊗ bc).
We can naturally view C as an A-bimodule with both actions given by the counit. Then the coboundary of a functional ω : stated for group algebras in [12,Lemma5.6], but holding more generally for unital * -algebras with a character, as shown in [5] (recall that K 1 ⊗ A K 1 denotes the tensor product of Amodules over A). Earlier remarks and simple observations imply that a functional L : A → C for which η yields the coboundary exists if and only if ϕ vanishes on the kernel of the multiplication map from K 1 ⊗ A K 1 → K 1 . The exactness of the displayed sequence means that one can interpret this in terms of H 2 (A, C). Furthermore L is determined by ϕ up to a linear functional on H 1 (A, C).
Finally note that given a cocycle η : A → D the mapφ :

Main result
As mentioned in the introduction, in the article [10] Kyed, following the unpublished notes of Vergnioux, showed that Question 1.1 has a positive answer if the cocycle η is real, i.e. when it satisfies a certain symmetry relation with respect to the antipode (see Definition 4.1 in [10], but note a difference resulting from another convention for scalar products). In this main section we extend this result, considering an α-twisted reality condition (see Theorem 2.8). Throughout the Sect. we fix a Hopf * -algebra A and an admissible bijection α : A → A and write γ : The first lemma generalizes Lemma 4.8 in [10] (due to Vergnioux).

Definition 2.2
We say that a generating functional L : The next lemma establishes the algebraic property of the cocycle associated to an S αinvariant generating functional (for α = id it is the reality condition of Kyed, mentioned above).
This motivates the following definition.
In fact the equality of the two formulas appearing above is a general fact.

Theorem 2.7 Let
A be a Hopf * -algebra, α : A → A be an admissible bijection and let η be an α-real cocycle on A. Then the formula (2.2) defines an S α -invariant generating functional L such that η yields the coboundary of L.
Proof Note first that both expressions on the right hand side of (2.2) coincide due to Lemma 2.6. We divide the proof into several parts. First we show that L is hermitian. To that end fix a in A and put b = γ −1 (a). Then a * = γ (b) * . This means in particular that α(c (1) ) * = b (1) and c * (2) = α(b (2) ). Thus where we first used the second equality in (2.2), then Proposition 1.4 (v), then the fact that η is α-real and finally the first equality in (2.2).
The following theorem explains the title of the paper.

Theorem 2.8 Let A be a Hopf * -algebra and let α : A → A be an admissible bijection.
There exists a one-to-one correspondence, up to a unitary equivalence on the cocycle part, between α-real cocycles η on A and S α -invariant generating functionals L on A, so that given an S α -invariant L the corresponding α-real cocycle η yields its coboundary.
Proof This is a straightforward consequence of Theorem 2.7, Proposition 1.8 and comments before it and Lemma 2.3.
We list here an immediate corollary, modelled on Corollary 4.9 in [2]. It shows that from our point of view among the admissible bijections given by the scaling automorphism group of a compact quantum group τ i Corollary 2.9 Let G be a compact quantum group and let t ∈ R\{ 1 2 }. Suppose that a cocycle η : Pol(G) → D is τ it -real. Then it is τ is -real for any s ∈ R.
Proof Assume that the cocycle η is as above. Then its associated (via Theorem 2.7) generating functional L satisfies the formula Applying this formula twice yields L = L • τ 2it−i . Then the same argument as in Corollary 4.9 in [2] (see also the proofs of Lemma 2.9 (2) in [17] and Proposition 3.5 in [7]) imply that in fact L = L • S • τ z for any z ∈ C. Fixing s ∈ R and applying Theorem 2.8 for η, L and α = τ is ends the proof (recall again that our convention for the scaling group is that of [3], not of [19]).
In particular the above corollary reveals that if a cocycle is τ it -real for t = 1 2 , then it is real in the sense of Vergnioux and Kyed. Example 11.5 of [2] shows that the assumption t = 1 2 is indeed necessary.

Applications
In this section we discuss the applications of the main results of Sect. 2. Both concern quantum groups: the first is related to decomposing quantum Lévy processes on a compact quantum group, whereas the second treats a generalization of a theorem from [3] characterising the Haagerup property for a discrete quantum group via the existence of a proper real cocycle on its dual.
Throughout this Sect. we fix a compact quantum group G and an admissible bijection α : Pol(G) → Pol(G). As explained earlier, for A = Pol(G) we can view all representations of A as bounded operator valued, so that we will also speak of Hilbert (rather than pre-Hilbert) space valued cocycles. Given G we will write K 2 := Lin{ab : a, b ∈ K 1 }.

Extracting maximal Gaussian parts of quantum Lévy processes
We need to introduce a few more notations and concepts. A quantum Lévy process on G is a counterpart of a classical concept of a Lévy process on a compact group; we refer for specific definitions to [14] and here only stress the fact that there is a natural one-to-one correspondence between (stochastic equivalence classes of) quantum Lévy processes on G and generating functionals on Pol(G). A generating functional L (and, by extension, its associated quantum Lévy process) is called Gaussian if L(a * a) = 0 for all a ∈ K 2 . This is equivalent to the fact that the cocycle η associated to such L via Proposition 1.8 is a cocycle with respect to the trivial representation of Pol(G): η(a) (b), a, b ∈ Pol(G).  (π(a)− (a)I H ). Then Chapter 5 of [14] (see also [13]) shows that the following facts hold: both subspaces R and G are left invariant by operators in π(Pol(G)), H = R ⊕ G (in the Hilbert space sense -so R ⊥ G), if we denote by P R and P G the respective orthogonal projections then η R := P R • η is a cocycle on Pol(G) and η G = P G • η is a Gaussian cocycle on Pol(G) (both with respect to the respective restrictions of π). We say that η G is a maximal Gaussian part of η. If G = {0} we say that η is purely non-Gaussian. In particular it is easy to see that η R is purely non-Gaussian. Definition 3. 1 We say that a quantum Lévy process admits a decomposition into a maximal Gaussian part and a purely non-Gaussian part if its generating functional L : Pol(G) → C decomposes as L = L G + L R , where L G , L R : Pol(G) → C are generating functionals such that the associated (via Proposition 1.8) cocycles are respectively Gaussian and purely non-Gaussian.
For motivations behind this terminology, relations to the classical Lévy-Khintchine decomposition and the (non)-uniqueness of a possible decomposition described above we refer to [14]. Here we only remark that if the answer to Question 1.1 were always positive (which we know is not true) then the decomposition defined above would always exist. The decomposition exists for all quantum Lévy processes on classical groups and for SU q (2) ( [15]) or, more generally SU q (N ) for arbitrary N ∈ N ( [6]). For the non-existence examples we refer to the forthcoming work [5]; here we will prove, using the results of Sect. 2, that the decomposition exists in presence of α-symmetry.
We begin with two lemmas, in which we use several times the notion of an adjoint for a densely defined conjugate linear Hilbert space operator. Proof To verify that T is well defined we need to check that η(a) = 0 implies T (η(a)) = η S α (a) * = 0 for any a ∈ Pol(G). It is in fact sufficient to do this for a ∈ K 1 (as S α is unital and -preserving and η(1) = 0). Let L be the unique S α -invariant generating functional associated to η via Theorem 2.7. Then the condition η(a) = 0 implies that for all b ∈ K 1 , which by non-degeneracy of η and the fact that S α is bijective is equivalent to η S α (a) * = 0. The proof for T is identical. The fact that both T and T are involutive follows from Proposition 1.4 (v).
Further since η : A → H is α-real for a, b ∈ Pol(G). This means that T = T * | D , T = (T ) * | D and implies closability of both operators. Finally since S α as an -preserving anti-homomorphism leaves K 2 invariant, T and T map η(K 2 ) to itself and the last statement follows easily.
In view of the above we will write in what follows T † instead of T .

Lemma 3.3 Let η : Pol(G)
→ H be an α-real cocycle. Then each of the cocycles η R = P R •η and η G = P G • η is also α-real.
Proof We use the same notation as in the last lemma. Begin by denoting the closure of T by T , so that we have T = (T † ) * , and similarly let T R denote the closure of T R , so that T R = (T † R ) * . Note that we have of course T R * = T * R and as (T † R ) 2 = id η(K 2 ) , we also have (T * R ) 2 = id DomT * R . Take ζ ∈ D := η(Pol(G)) and ξ ∈ η(K 2 ) and compute which proves P R (D) ⊂ Dom(T R ), T R P R | D = P R T , with the latter equality understood as one for linear operators acting between D and R. Similarly we show P R (D) ⊂ Dom(T * R ) and T * R P R | D = P R T † . We will need another of these relations, namely T * To establish it we pick again ζ ∈ D and ξ ∈ Dom(T R ) = η(K 2 ) and write which shows the desired equalities.
We are now ready for the algebraic computation. For all a, b ∈ Pol(G) which proves that η R is α-real. The proof for the Gaussian part η G follows now from the (orthogonal) decomposition η = η R + η G .
We now formulate the main theorem of this subsection.
Theorem 3.4 Let G be a compact quantum group, let α : Pol(G) → Pol(G) be an admissible bijection. Then every quantum Lévy process on G whose generating functional is S α -invariant allows the decomposition into a maximal Gaussian part and a purely non-Gaussian part.

Haagerup property for quantum groups via arbitrary proper cocycles
The concept of the Haagerup property for locally compact quantum groups was developed in [3] (we refer to that paper for motivations and history behind this notion). It was shown there that a discrete quantum groupĜ has Haagerup property if its dual compact quantum group admits a proper real cocycle. We will show below that the same fact is true if we delete the adjective 'real'. We first introduce some definitions. Let be a discrete quantum group with the compact quantum group dual G. Recall the notations related to irreducible representations of G introduced in Sect. 1. Each functional ω : Pol(G) → C can be identified with a family of matrices (ω β ) β∈Irr G , with ω β ∈ M n β defined as ω β = (id M n β ⊗ ω)(U β ); all of these matrices are self-adjoint if and only if ω is Sinvariant. Similarly each cocycle η : Pol(G) → H can be viewed as a family of Hilbert space valued matrices (η β ) β∈Irr G . Note that we can view each η β as an operator in B(C n β ; C n β ⊗H). In particular we can consider matrices (η β ) * η β ∈ B(C n β ; C n β ) ≈ M n β . The following two definitions were introduced in [3] (Definition 7.16 and 7.20). A warning is in place: an opposite sign in the inequality for L in comparison to the one appearing in Definition 7.16 of [3] is due to the fact that in that paper a different convention, motivated by classical geometric group theory, was used for generating functionals -there the authors worked with counterparts of conditionally negative definite functions, whereas here we use the quantum stochastics community convention and treat conditionally positive definite objects.
The following result arises as a combination of Theorem 2.7 and methods introduced in [2,3]. Proof Theorem 7.23 of [3] says that has the Haagerup property if and only if Pol(G) admits a proper real cocycle. Assume then that η : Pol(G) → H is a proper cocycle (not necessarily real). In the first step we use the procedure described in Theorem 5.4 of [2] to symmetrize η. To that end we consider the opposite representation of Pol(G) on the conjugate Hilbert spacē H and the cocycle η : Pol(G) →H given by the formula η(a) = ι • η(R(a * )) (a ∈ Pol(G)) where ι : H → H is the canonical isomorphism. Recall that the opposite representation is defined by the formula π op (a)(ι(v)) = ι((π ⊗ R)(a * )v) for a ∈ Pol(G), v ∈ H.
Thus without loss of generality we can assume that η : Pol(G) → H is a proper τ i 2 -real cocycle. Let L be the generating functional associated to η via Theorem 2.7. The defining formula (2.2) (the first equality) shows that for all β ∈ Irr(G), i, j = 1, . . . , n β we have q k (β) q i (β) 1 2 q j (β) q k (β) 1 2 η(u ki ), η(u k j ) = − q j (β) q i (β) 1 2 n β k=1 η(u ki ), η(u k j ) , which can be rephrased as a matrix equality In the next step we employ the averaging procedure introduced in the proof of Proposition 7.17 in [3]. Let M : L ∞ (R) → C be any invariant mean (in other words, a Banach limit on R). Define a new functional L : Pol(G) → C by the formula L(a) = M (t → L • τ t (a)) , a ∈ Pol(G).
Positivity and invariance of M, and the facts that each τ t preserves the counit and commutes with the unitary antipode imply that L is a generating functional which is both R invariant and τ t -invariant for any t ∈ R, and hence also S-invariant. It remains to see what the averaging procedure looks like in the matrix level. Fix β ∈ Irr G and note that for each i, j = 1, . . . , n β we have τ t u But the action of any invariant mean on continuous periodic functions is known to yield the average over the period, so we get The last formula can be phrased on the matrix level: let P 1 , . . . , P k denote all the spectral projections of Q β , with the corresponding eigenvalues q 1 , . . . , q k (of course k, the individual projections and the respective eigenvalues depend on β, we do not reflect it in the notation to avoid the clutter). Then the last displayed formula can be written as It remains to multiply both sides of (3.2) by individual P m and sum the equalities: Finally let M > 0 and choose a finite set F ⊂ Irr G such that for any β ∈ Irr G \F we have (η β ) * η β ≥ 2M I C n β (which we can do as η is proper). Multiplying both sides of the last inequality with P m on both sides and summing shows that also k m=1 P m (η β ) * η β P m ≥ 2M m k=1 P m = 2M I C n β , which together with the last displayed formula shows that L is an S-invariant proper generating functional. Thus Theorem 7.18 of [3] shows that has the Haagerup property.