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

- 769 Downloads
- 2 Citations

## Abstract

We prove that under a symmetry assumption all cocycles on Hopf \(^*\)-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 46L65The correspondence between (real) conditionally positive definite functions on a discrete group \(\Gamma \) and cocycles for orthogonal representations of \(\Gamma \) 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 \({\text {Pol}}(\mathbb {G})\), where \(\mathbb {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 \({\text {Pol}}(\mathbb {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 \({\text {Pol}}(\mathbb {G})\). We show that in fact for any Hopf \(^*\)-algebra \(\mathcal {A}\) and an admissible bijection \(\alpha :\mathcal {A}\rightarrow \mathcal {A}\) there is a one-to-one correspondence between \(\alpha \)-*real* cocycles on \(\mathcal {A}\) and \(S \circ \alpha \)-invariant generating functionals on \(\mathcal {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\circ \alpha \)-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.

## 1 Notations and preliminaries

*S*, and very often employ

*Sweedler’s notation*: if \(a \in \mathcal {A}\) then

*algebra of continuous functions*, a unital \(C^*\)-algebra \(\text {C}(\mathbb {G})\), equipped with a coproduct \(\Delta : \text {C}(\mathbb {G}) \rightarrow \text {C}(\mathbb {G}) \otimes ^{\text {sp}} \text {C}(\mathbb {G})\), where \(\otimes ^{\text {sp}}\) denotes the spatial tensor product of \(C^*\)-algebras. A unitary matrix \(U=(u_{ij})_{i,j=1}^n \in M_n (\text {C}(\mathbb {G}))\) is called a (finite-dimensional)

*unitary representation*of \(\mathbb {G}\) if \(\Delta (u_{ij})= \sum _{k=1}^n u_{ik} \otimes u_{kj}\), \(i,j=1,\ldots ,n\); each of the elements \(u_{ij}\) is called a

*coefficient*of

*U*. The linear span of all coefficients of finite dimensional unitary representations of \(\mathbb {G}\) is a dense unital \(^*\)-subalgebra of \(\text {C}(\mathbb {G})\), which turns out to have the structure of a Hopf \(^*\)-algebra with the coproduct inherited from \(\text {C}(\mathbb {G})\). There are natural notions of irreducibility and unitary equivalence for unitary representations of \(\mathbb {G}\); if we denote by \(\text {Irr}(\mathbb {G})\) the set of all equivalence classes of irreducible representations of \(\mathbb {G}\) and for each \(\beta \in \text {Irr}(\mathbb {G})\) choose a representative \(U^{\beta } \in M_{n_{\beta }}({\text {Pol}}(\mathbb {G}))\) then \(\{u^{\beta }_{ij}:\beta \in \text {Irr}(\mathbb {G}), i,j=1, \ldots , n_{\beta }\}\) forms a linear basis of \({\text {Pol}}(\mathbb {G})\). The Hopf \(^*\)-algebra \({\text {Pol}}(\mathbb {G})\) admits a

*scaling automorphism group*, i.e. a one-parameter group of automorphisms \((\tau _t)_{t \in \mathbb {R}}\) which is ‘locally implemented’, i.e. for each \(\beta \in \text {Irr}(\mathbb {G})\) there exists a positive invertible matrix \(Q^{\beta } \in M_{n_{\beta }}\) such that we have

*Woronowicz characters*) implies that we can in fact replace

*t*above by any number \(z\in \mathbb {C}\) and still obtain a bijective homomorphism \(\tau _z:{\text {Pol}}(\mathbb {G})\rightarrow {\text {Pol}}(\mathbb {G})\), such that \(\tau _z(a^*) = (\tau _{\bar{z}}(a))^*\) for all \(a \in {\text {Pol}}(\mathbb {G})\). Each \(\tau _z\) commutes with the antipode and also intertwines the coproduct: \((\tau _z \otimes \tau _z) \circ \Delta = \Delta \circ \tau _z\); moreover \(\tau _z \circ \tau _w = \tau _{z+w}\) for all \(z, w \in \mathbb {C}\).

*unitary antipode*

*R*of \(\mathbb {G}\) is a \(^*\)-preserving involutive anti-automorphism of \({\text {Pol}}(\mathbb {G})\) defined as \(R=S\circ \tau _{\frac{i}{2}}\); in the basis chosen above one obtains thus

*Kac type*, that is if the Haar state of \(\mathbb {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 \({\text {Pol}}(\mathbb {G})\) for a certain compact quantum group \(\mathbb {G}\) have intrinsic characterization, as *CQG-algebras* [4].

### 1.1 Admissible bijections

The following definition plays a crucial role in this article.

### **Definition 1.1**

- (i)
\(\alpha \) is a homomorphism;

- (ii)
\(\alpha \circ ^* \circ \alpha \circ ^* = {\text {id}}\);

- (iii)
\((\alpha \otimes \alpha )\circ \Delta = \Delta \circ \alpha \);

- (iv)
the linear map \(({\text {id}}+ \alpha ): \mathcal {A}\rightarrow \mathcal {A}\) is a bijection;

- (v)
the linear map \(({\text {id}}\otimes {\text {id}}+ \alpha \otimes \alpha ): \mathcal {A}\otimes \mathcal {A}\rightarrow \mathcal {A}\otimes \mathcal {A}\) is a bijection.

It is not difficult to see that if an admissible bijection is \(^*\)-preserving (in other words it is an automorphism of the Hopf \(^*\)-algebra \(\mathcal {A}\)), it must be an identity map—indeed, if \(\alpha \) is \(^*\)-preserving then (ii) above implies that it is an order two automorphism, so \(\mathcal {A}\) decomposes into eigenspaces of \(\alpha \) corresponding respectively to eigenvalues 1 and \(-\)1. If the second of these is non-trivial, then condition (iv) cannot hold.

*-twisted antipode*\(S_{\alpha }\) via the formula

### **Proposition 1.2**

Let \(\mathbb {G}\) be a compact quantum group, \(t\in \mathbb {R}\). Then the map \(\tau _{it}: {\text {Pol}}(\mathbb {G}) \rightarrow {\text {Pol}}(\mathbb {G})\) is an admissible bijection. In particular the unitary antipode \(R=S \circ \tau _{\frac{i}{2}}\) is an \(\alpha \)-twisted antipode for \(\alpha = \tau _{\frac{i}{2}}\).

### *Proof*

### *Remark 1.3*

*U*(

*N*) with \((U_{ij})_{i,j=1}^N\) denoting the standard generators of \({\text {Pol}}(U(N))\). Further consider a tuple \((q_1,\ldots ,q_N)\) of strictly positive real numbers. An identification of \(\mathcal {A}:={\text {Pol}}(U(N))\) as the universal commutative algebra generated by \(2N^2\) variables \(\{U_{ij}, U_{kl}^*:i,j,k,l=1, \ldots N\}\) satisfying the unitarity relations \(\sum _{k=1}^n U_{ik} U_{jk}^* = \sum _{k=1}^n U_{ki} U_{kj}^*=\delta _{ij} I\) for each \(i,j=1,\ldots ,n\) allows us to define a bijective homomorphism \(\alpha \) on \(\mathcal {A}\) via the homomorphic extension of the formulas

We will now collect some basic properties of admissible bijections and related twisted antipodes.

### **Proposition 1.4**

- (i)
\(\alpha \) is a bijection, \(\alpha ^{-1} = ^* \circ \alpha \circ ^*\) is an admissible bijection;

- (ii)
\(\alpha (1) =1\) (so also \(S_{\alpha }(1) = 1\));

- (iii)
\(\epsilon \circ \alpha =\epsilon \) (so also \(\epsilon \circ S_{\alpha } = \epsilon \));

- (iv)
\(\alpha \circ S = S \circ \alpha \) (so that \(S_{\alpha } = \alpha \circ S \));

- (v)
\(S_\alpha \circ ^* \circ S_\alpha \circ ^* = {\text {id}}\) and \(S_{\alpha }\) is an anti-homomorphism;

- (vi)
\((S_\alpha \otimes S_\alpha ) \circ \Sigma \circ \Delta = \Delta \circ S_{\alpha }\);

- (vii)the twisted antipode relation holds:$$\begin{aligned} S_{\alpha }(a_{(1)}) \alpha (a_{(2)}) = \epsilon (a) 1= \alpha (a_{(1)}) S_{\alpha }(a_{(2)}), \quad a \in \mathcal {A}. \end{aligned}$$(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 \(\alpha \) 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 \(\alpha \) is a homomorphic bijection, property (ii) and the uniqueness of an antipode on a Hopf algebra. To obtain (vii) we apply the homomorphism \(\alpha \) to the defining antipode relation and use the fact that as \(\alpha \) ‘commutes’ with the coproduct we have in Sweedler’s notation \(\alpha (a_{(1)}) = \alpha (a)_{(1)}\) and \(\alpha (a_{(2)}) = \alpha (a)_{(2)}\). \(\square \)

### 1.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**

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 \(\mathcal {A}\) on *D* we will always mean a unital \(^*\)-homomorphism from \(\mathcal {A}\) to \(\mathcal {L^{\dagger }}(D)\), the \(^*\)-algebra of operators on *D* which admit (pre-)adjoints defined on *D* and leaving *D* invariant. Note that if \(\mathcal {A}\) is a CQG algebra each such representation is bounded operator valued, and hence extends automatically to a unital \(^*\)-homomorphism from \(\mathcal {A}\) to \(B(\mathsf {H})\), where \(\mathsf {H}\) is the Hilbert space completion of *D*.

### **Definition 1.6**

*D*be a pre-Hilbert space. A linear map \(\eta :\mathcal {A}\rightarrow D\) is said to be a (nondegenerate) cocycle (for a representation \(\pi \) of \(\mathcal {A}\) on

*D*) if it satisfies the equation:

*D*.

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 \(\eta \) can be always viewed as a non-degenerate one by restricting the representation \(\pi \) to the invariant subspace \(\eta (\mathcal {A})\)). Note also that as for each cocycle \(\eta (1)=0\), we have \(\eta (\mathcal {A})= \eta (K_1)\).

### **Definition 1.7**

*L*if

We say that two cocycles \(\eta _1:\mathcal {A}\rightarrow D_1\), \(\eta _2:\mathcal {A}\rightarrow D_2\) are *unitarily equivalent* if there exists a unitary operator \(U:\mathsf {H}_1 \rightarrow \mathsf {H}_2\), where \(\mathsf {H}_1, \mathsf {H}_2\) denote the respective Hilbert space completions, such that for all \(a \in \mathcal {A}\) we have \(\eta _2(a) = U \eta _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 \(\eta : \mathcal {A}\rightarrow D\) is a cocycle and \(L:\mathcal {A}\rightarrow \mathbb {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.

### **Proposition 1.8**

([14]) Let \(L:\mathcal {A}\rightarrow \mathbb {C}\) be a generating functional. Then there exists a cocycle \(\eta :\mathcal {A}\rightarrow D\) which yields the coboundary of *L*.

Thus it is natural to ask the following question, which goes back to [13].

### **Question 1.1**

Given a cocycle \(\eta \) 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 *CQG*-algebra. The answer to Question 1.1 is positive for all cocycles on \(\mathbb {C}[\mathbb {F}_n]\), where \(\mathbb {F}_n\) is the free group on *n* generators, and on the so-called Brown–Glockner–von Waldenfels \(^*\)-bialgebra \(\mathcal {U}\langle n\rangle \) [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**

### *Proof*

*L*is determined by \(\varphi \) up to a linear functional on \(H_1(\mathcal {A},\mathbb {C})\).

## 2 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 \(\eta \) 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 \(\alpha \)-twisted reality condition (see Theorem 2.8). Throughout the Sect. **we fix a Hopf** \(^*\)-**algebra** \(\mathcal {A}\) **and an admissible bijection** \(\alpha :\mathcal {A}\rightarrow \mathcal {A}\) **and write** \(\gamma :=(\mathbf{id} + \alpha ):\mathcal {A}\rightarrow \mathcal {A}\).

The first lemma generalizes Lemma 4.8 in [10] (due to Vergnioux).

### **Lemma 2.1**

- (i)
\(\eta (S_\alpha (a)) = - \pi (S_{\alpha }(a_{(1)})) \eta (\alpha (a_{(2)})),\)

- (ii)
\( \eta (\alpha (a)) = - \pi (\alpha (a_{(1)})) \eta (S_\alpha (a_{(2)})),\)

- (iii)
\(\eta (S_\alpha (a)^*) = - \pi (S_{\alpha }(a_{(2)}))^* \eta (\alpha (a_{(1)})^*),\)

- (iv)
\( \eta (\alpha (a)^*) = - \pi (\alpha (a_{(2)}))^* \eta (S_\alpha (a_{(1)})^*),\)

### *Proof*

It suffices to apply \(\eta \) (or \(\eta \circ ^*\)) to the twisted antipode relations (1.2) and use the fact that \(\eta (1)=0\) together with the counit relation. \(\square \)

### **Definition 2.2**

We say that a generating functional \(L:\mathcal {A}\rightarrow \mathbb {C}\) is \(S_{\alpha }\)-invariant if \(L\circ S_{\alpha } = L\).

The next lemma establishes the algebraic property of the cocycle associated to an \(S_{\alpha }\)-invariant generating functional (for \(\alpha ={\text {id}}\) it is the reality condition of Kyed, mentioned above).

### **Lemma 2.3**

*L*. Then for any \(a, b \in \mathcal {A}\)

### *Proof*

This motivates the following definition.

### **Definition 2.4**

In particular when \(\alpha ={\text {id}}\) we recover the notion of a real cocycle introduced by Vergnioux and Kyed.

### **Lemma 2.5**

*L*. Then for any \(a \in \mathcal {A}\)

### *Proof*

*L*to the twisted antipode relation (1.2). This yields

*L*and \(\epsilon \) are invariant under \(S_\alpha \) yields

In fact the equality of the two formulas appearing above is a general fact.

### **Lemma 2.6**

### *Proof*

### **Theorem 2.7**

Let \(\mathcal {A}\) be a Hopf \(\,^*\)-algebra, \(\alpha :\mathcal {A}\rightarrow \mathcal {A}\) be an admissible bijection and let \(\eta \) be an \(\alpha \)-real cocycle on \(\mathcal {A}\). Then the formula (2.2) defines an \(S_{\alpha }\)-invariant generating functional *L* such that \(\eta \) 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.

*L*is hermitian. To that end fix

*a*in \(\mathcal {A}\) and put \(b= \gamma ^{-1}(a)\). Then \(a^* = \gamma (b)^* = b^* + \alpha (b)^* = \gamma (c)\), where \(c = \alpha (b)^* = \alpha ^{-1}(b^*)\). This means in particular that \(\alpha (c_{(1)})^*= b_{(1)}\) and \(c_{(2)}^* = \alpha (b_{(2)})\). Thus

*L*. Consider first an auxiliary functional \(L'=L\circ \gamma \). Let \(a, b \in \mathcal {A}\). Then applying the second equality in (2.2) and the fact that \(\alpha \) is a homomorphism we obtain

*L*. As explained after Definition 1.7 together with the fact that

*L*is hermitian it implies that

*L*is a generating functional.

*L*is \(S_{\alpha }\) invariant. Once again fix

*a*in \(\mathcal {A}\) and put \(b= \gamma ^{-1}(a)\). Then \(S_{\alpha }(a) = \gamma (S_{\alpha }(b))\) as \(\alpha \) commutes with \(S_{\alpha }\) and

*L*given by (2.2) in the case of \(\alpha ={\text {id}}\) is Proposition 7.22 of [3]. \(\square \)

The following theorem explains the title of the paper.

### **Theorem 2.8**

Let \(\mathcal {A}\) be a Hopf \(^*\)-algebra and let \(\alpha :\mathcal {A}\rightarrow \mathcal {A}\) be an admissible bijection. There exists a one-to-one correspondence, up to a unitary equivalence on the cocycle part, between \(\alpha \)-real cocycles \(\eta \) on \(\mathcal {A}\) and \(S_{\alpha }\)-invariant generating functionals *L* on \(\mathcal {A}\), so that given an \(S_{\alpha }\)-invariant *L* the corresponding \(\alpha \)-real cocycle \(\eta \) yields its coboundary.

### *Proof*

This is a straightforward consequence of Theorem 2.7, Proposition 1.8 and comments before it and Lemma 2.3. \(\square \)

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 \(\tau _{\frac{i}{2}}\), the one leading to the symmetry under the unitary antipode plays a distinguished role.

### **Corollary 2.9**

Let \(\mathbb {G}\) be a compact quantum group and let \(t\in \mathbb {R}{\setminus } \{\frac{1}{2}\}\). Suppose that a cocycle \(\eta :{\text {Pol}}(\mathbb {G})\rightarrow D\) is \(\tau _{it}\)-real. Then it is \(\tau _{is}\)-real for any \(s \in \mathbb {R}\).

### *Proof*

*L*satisfies the formula

*L*and \(\alpha = \tau _{is}\) ends the proof (recall again that our convention for the scaling group is that of [3], not of [19]). \(\square \)

In particular the above corollary reveals that if a cocycle is \(\tau _{it}\)-real for \(t\ne \frac{1}{2}\), then it is real in the sense of Vergnioux and Kyed. Example 11.5 of [2] shows that the assumption \(t \ne \frac{1}{2}\) is indeed necessary.

## 3 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** \(\mathbb {G}\) **and an admissible bijection** \(\alpha :{\text {Pol}}(\mathbb {G})\rightarrow {\text {Pol}}(\mathbb {G})\). As explained earlier, for \(\mathcal {A}={\text {Pol}}(\mathbb {G})\) we can view all representations of \(\mathcal {A}\) as bounded operator valued, so that we will also speak of Hilbert (rather than pre-Hilbert) space valued cocycles. Given \(\mathbb {G}\) we will write \(K_2:=\text {Lin} \{ab: a, b \in K_1\}\).

### 3.1 Extracting maximal Gaussian parts of quantum Lévy processes

*quantum Lévy process*on \(\mathbb {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 \(\mathbb {G}\) and generating functionals on \({\text {Pol}}(\mathbb {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 \in K_2\). This is equivalent to the fact that the cocycle \(\eta \) associated to such

*L*via Proposition 1.8 is a cocycle with respect to the trivial representation of \({\text {Pol}}(\mathbb {G})\):

*Gaussian cocycle*.

Consider now any cocycle \(\eta :{\text {Pol}}(\mathbb {G}) \rightarrow \mathsf {H}\) with an associated representation \(\pi : {\text {Pol}}(\mathbb {G})\rightarrow B(\mathsf {H})\). Define \(\mathsf {R}= \overline{\eta (K_2)}\) and \(\mathsf {G}=\bigcap _{a\in {\text {Pol}}(\mathbb {G})}\, \text {Ker}(\pi (a) - \epsilon (a) I_{\mathsf {H}})\). Then Chapter 5 of [14] (see also [13]) shows that the following facts hold: both subspaces \(\mathsf {R}\) and \(\mathsf {G}\) are left invariant by operators in \(\pi ({\text {Pol}}(\mathbb {G}))\), \(\mathsf {H}= \mathsf {R}\oplus \mathsf {G}\) (in the Hilbert space sense – so \(\mathsf {R}\perp \mathsf {G}\)), if we denote by \(P_R\) and \(P_G\) the respective orthogonal projections then \(\eta _R:= P_R \circ \eta \) is a cocycle on \({\text {Pol}}(\mathbb {G})\) and \(\eta _G=P_G \circ \eta \) is a Gaussian cocycle on \({\text {Pol}}(\mathbb {G})\) (both with respect to the respective restrictions of \(\pi \)). We say that \(\eta _G\) is a *maximal Gaussian part* of \(\eta \). If \(\mathsf {G}=\{0\}\) we say that \(\eta \) is *purely non-Gaussian*. In particular it is easy to see that \(\eta _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:{\text {Pol}}(\mathbb {G})\rightarrow \mathbb {C}\) decomposes as \(L=L_G + L_R\), where \(L_G, L_R:{\text {Pol}}(\mathbb {G})\rightarrow \mathbb {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 \in \mathbb {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 \(\alpha \)-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.

### **Lemma 3.2**

*T*and \(T'\) are mutually adjoint on

*D*and therefore closable as densely defined operators on \(\mathsf {H}\). Furthermore each of the maps \(T, T'\) leaves \(\eta (K_2)\) invariant and the corresponding restrictions \(T_R:=T|_{\eta (K_2)}\), \(T'_R = T'|_{\eta (K_2)}\) are densely defined conjugate linear closable operators on the Hilbert space \(\mathsf {R}:=\overline{\eta (K_2)}\).

### *Proof*

*T*is well defined we need to check that \(\eta (a)=0\) implies \(T(\eta (a))=\eta \big (S_{\alpha }(a)^*\big )=0\) for any \(a \in {\text {Pol}}(\mathbb {G})\). It is in fact sufficient to do this for \(a\in K_1\) (as \(S_{\alpha }\) is unital and \(\epsilon \)-preserving and \(\eta (1)=0\)). Let

*L*be the unique \(S_{\alpha }\)-invariant generating functional associated to \(\eta \) via Theorem 2.7. Then the condition \(\eta (a)=0\) implies that \(L(ba) = \langle \eta (b^*), \eta (a) \rangle = 0\) for all \(b\in K_1\). Since

*L*is \(S_{\alpha }\)-invariant,

*T*and \(T'\) are involutive follows from Proposition 1.4 (v).

Finally since \(S_{\alpha }\) as an \(\epsilon \)-preserving anti-homomorphism leaves \(K_2\) invariant, *T* and \(T'\) map \(\eta (K_2)\) to itself and the last statement follows easily. \(\square \)

In view of the above we will write in what follows \(T^{\dagger }\) instead of \(T'\).

### **Lemma 3.3**

Let \(\eta :{\text {Pol}}(\mathbb {G})\rightarrow \mathsf {H}\) be an \(\alpha \)-real cocycle. Then each of the cocycles \(\eta _R = P_R\circ \eta \) and \( \eta _G = P_G\circ \eta \) is also \(\alpha \)-real.

### *Proof*

We use the same notation as in the last lemma. Begin by denoting the closure of *T* by \(\overline{T}\), so that we have \(\overline{T}=(T^{\dagger })^*\), and similarly let \(\overline{T_R}\) denote the closure of \(T_R\), so that \(\overline{T_R}=(T^{\dagger }_R)^*\). Note that we have of course \(\overline{T_R}^* = T_R^*\) and as \((T_R^{\dagger })^2= {\text {id}}_{\eta (K_2)}\), we also have \((T_R^*)^2= {\text {id}}_{\text {Dom} T_R^*}\).

*D*and \(\mathsf {R}\). Similarly we show \(P_R (D) \subset \text {Dom} (T_R^*)\) and \(T_R^*P_R|_D = P_R T^{\dagger }\). We will need another of these relations, namely \(T_R^* (P_R(D))\subset \text {Dom} (T_R^*)\) and \((T_R^*)^2 P_R|_D = P_R|_D\). To establish it we pick again \(\zeta \in D\) and \(\xi \in \text {Dom} (T_R)=\eta (K_2)\) and write

We now formulate the main theorem of this subsection.

### **Theorem 3.4**

Let \(\mathbb {G}\) be a compact quantum group, let \(\alpha :{\text {Pol}}(\mathbb {G}) \rightarrow {\text {Pol}}(\mathbb {G})\) be an admissible bijection. Then every quantum Lévy process on \(\mathbb {G}\) whose generating functional is \(S_{\alpha }\)-invariant allows the decomposition into a maximal Gaussian part and a purely non-Gaussian part.

### *Proof*

### 3.2 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 \(\hat{\mathbb {G}}\) 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 \(\Gamma \) be a discrete quantum group with the compact quantum group dual \(\mathbb {G}\). Recall the notations related to irreducible representations of \(\mathbb {G}\) introduced in Sect. 1. Each functional \(\omega : {\text {Pol}}(\mathbb {G})\rightarrow \mathbb {C}\) can be identified with a family of matrices \((\omega ^{\beta })_{\beta \in \text {Irr}_\mathbb {G}}\), with \(\omega ^\beta \in M_{n_{\beta }}\) defined as \(\omega ^\beta = ({\text {id}}_{M_{n_{\beta }}} \otimes \omega )(U^{\beta })\); all of these matrices are self-adjoint if and only if \(\omega \) is *S*-invariant. Similarly each cocycle \(\eta : {\text {Pol}}(\mathbb {G})\rightarrow \mathsf {H}\) can be viewed as a family of Hilbert space valued matrices \((\eta ^{\beta })_{\beta \in \text {Irr}_\mathbb {G}}\). Note that we can view each \(\eta ^{\beta }\) as an operator in \(B(\mathbb {C}^{n_{\beta }};\mathbb {C}^{n_{\beta }} \otimes \mathsf {H})\). In particular we can consider matrices \((\eta ^{\beta })^* \eta ^{\beta } \in B(\mathbb {C}^{n_{\beta }};\mathbb {C}^{n_{\beta }})\approx M_{n_{\beta }}\). The following two definitions were introduced in [3] (Definition 7.16 and 7.20).

### **Definition 3.5**

A cocycle \(\eta : {\text {Pol}}(\mathbb {G})\rightarrow \mathsf {H}\) is called proper if for any \(M >0\) there exists a finite set \(F \subset \text {Irr}_\mathbb {G}\) such that for any \(\beta \in \text {Irr}_{\mathbb {G}}{\setminus }F\) we have \((\eta ^{\beta })^* \eta ^{\beta } \ge M I_{\mathbb {C}^{n_{\beta }}}\). Further an *S*-invariant generating functional \(L: {\text {Pol}}(\mathbb {G})\rightarrow \mathsf {H}\) is called proper if for any \(M >0\) there exists a finite set \(F \subset \text {Irr}_\mathbb {G}\) such that for any \(\beta \in \text {Irr}_{\mathbb {G}}{\setminus }F\) we have \(L^{\beta } \le - M I_{\mathbb {C}^{n_{\beta }}}\).

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].

### **Theorem 3.6**

A discrete quantum group \(\Gamma \) has the Haagerup property if and only if \({\text {Pol}}(\mathbb {G})\) (where \(\mathbb {G}\) is the compact quantum group dual of \(\Gamma \)) admits a proper cocycle.

### *Proof*

Theorem 7.23 of [3] says that \(\Gamma \) has the Haagerup property if and only if \({\text {Pol}}(\mathbb {G})\) admits a proper real cocycle. Assume then that \(\eta :{\text {Pol}}(\mathbb {G})\rightarrow \mathsf {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 \(\eta \). To that end we consider the opposite representation of \({\text {Pol}}(\mathbb {G})\) on the conjugate Hilbert space \(\bar{\mathsf {H}}\) and the cocycle \(\overline{\eta }:{\text {Pol}}(\mathbb {G})\rightarrow \bar{\mathsf {H}}\) given by the formula \(\overline{\eta } (a) = \iota \circ \eta (R(a^*))\) (\(a \in {\text {Pol}}(\mathbb {G})\)) where \(\iota : \mathsf {H}\rightarrow \overline{\mathsf {H}}\) is the canonical isomorphism. Recall that the opposite representation is defined by the formula \(\pi ^{\text {op}}(a)(\iota (v))= \iota ((\pi \otimes R)(a^*)v)\) for \(a \in {\text {Pol}}(\mathbb {G})\), \(v \in \mathsf {H}\).

*KMS real*(i.e. \(\tau _{\frac{i}{2}}\)-real in the terminology used in our article). It is easy to see that \(\eta + \bar{\eta }\) is a proper cocycle, as by the orthogonality of the Hilbert space decomposition for each \(\beta \in \text {Irr}_{\mathbb {G}}\) we have

*L*be the generating functional associated to \(\eta \) via Theorem 2.7. The defining formula (2.2) (the first equality) shows that for all \(\beta \in \text {Irr}(\mathbb {G}), i,j=1, \ldots , n_{\beta }\) we have

*R*invariant and \(\tau _t\)-invariant for any \(t \in \mathbb {R}\), and hence also

*S*-invariant. It remains to see what the averaging procedure looks like in the matrix level. Fix \(\beta \in \text {Irr}_{\mathbb {G}}\) and note that for each \(i,j=1,\ldots ,n_{\beta }\) we have \(\tau _t\left( u_{ij}^{\beta }\right) = \left( \frac{q_i(\beta )}{q_j(\beta )} \right) ^{it} u_{ij}^{\beta }\), so that

*k*, the individual projections and the respective eigenvalues depend on \(\beta \), we do not reflect it in the notation to avoid the clutter). Then the last displayed formula can be written as

*S*-invariant proper generating functional. Thus Theorem 7.18 of [3] shows that \(\Gamma \) has the Haagerup property. \(\square \)

## Notes

### Acknowledgments

UF wants to thank the Alfried Krupp Wissenschaftskolleg in Greifswald, where he spent the summer term 2014 as research fellow, and where part of this research of carried out. AS is grateful to CNRS and the Département de mathématiques de Besançon for the hospitality in autumn 2014. We all thank Michael Schürmann for several useful discussions. Finally we are very grateful to the anonymous referee for a very careful reading of our manuscript and several useful remarks.

## References

- 1.Bekka, B., de la Harpe, P., Valette, A.: “Kazhdan’s property (T)” New Mathematical Monographs, vol. 11. Cambridge University Press, Cambridge (2008)Google Scholar
- 2.Cipriani, F., Franz, U., Kula, A.: Symmetries of Lévy processes on compact quantum groups, their Markov semigroups and potential theory. J. Funct. Anal.
**266**(5), 2789–2844 (2014)zbMATHMathSciNetCrossRefGoogle Scholar - 3.Daws, M., Fima, P., Skalski, A., White, S.: The Haagerup property for locally compact quantum groups. J. Reine Angew. Math. (Crelle). arXiv:1303.3261
- 4.Dijkhuizen, M., Koornwinder, T.: CQG algebras—a direct algebraic approach to compact quantum groups. Lett. Math. Phys.
**32**(4), 315–330 (1994)zbMATHMathSciNetCrossRefGoogle Scholar - 5.Franz, U., Gerhold, M., Thom, A.: On the Lévy–Khintchin decomposition of generating functionals. (in preparation)Google Scholar
- 6.Franz, U., Kula, A., Lindsay, J.M., Skeide, M.: Hunt’s formula for \(SU_q(N)\). (in preparation)Google Scholar
- 7.Franz, U., Skalski, A., Tomatsu, R.: Idempotent states on compact quantum groups and their classification on \(U_q(2)\), \(SU_q(2)\), and \(SO_q(3)\). J. Noncommun. Geom.
**7**(1), 221–254 (2013)zbMATHMathSciNetCrossRefGoogle Scholar - 8.Klimyk, A., Schmüdgen, K.: Quantum Groups and Their Representations. Texts and Monographs in Physics. Springer, Berlin (1997)CrossRefGoogle Scholar
- 9.Kustermans, J.: Locally compact quantum groups in the universal setting. Intern. J. Math.
**12**(3), 289–338 (2001)zbMATHMathSciNetCrossRefGoogle Scholar - 10.Kyed, D.: A cohomological description of property (T) for quantum groups. J. Funct. Anal.
**261**(6), 1469–1493 (2011)zbMATHMathSciNetCrossRefGoogle Scholar - 11.Lindsay, J.M., Skalski, A.G.: Convolution semigroups of states. Math. Z.
**267**(1-2), 325–339 (2011)zbMATHMathSciNetCrossRefGoogle Scholar - 12.Netzer, T., Thom, A.: Real closed separation theorems and applications to group algebras. Pac. J. Math.
**263**(2), 435–452 (2013)zbMATHMathSciNetCrossRefGoogle Scholar - 13.Schürmann, M.: Gaussian states on bialgebras. In: Quantum Probability and Applications V (Heidelberg, 1988). Lecture Notes in Math.
**1442**, 347–367 (1990)Google Scholar - 14.Schürmann, M.: White Noise on Bialgebras. Lecture Notes in Mathematics, vol. 1544. Springer, Heidelberg (1993)Google Scholar
- 15.Schürmann, M., Skeide, M.: Infinitesimal generators on the quantum group \(SU_q(2)\), infin. Dimens. Anal. Quantum Prob. Relat. Top.
**1**(4), 573–598 (1998)zbMATHCrossRefGoogle Scholar - 16.Skeide, M.: Hunt’s formula on \(SU_q(2)\); a unified view. Inf. Dyn. Open Syst.
**6**, 1–27 (1999)zbMATHMathSciNetCrossRefGoogle Scholar - 17.Tomatsu, R.: A characterization of right coideals of quotient type and its application to classification of Poisson boundaries. Commun. Math. Phys.
**275**(1), 271–296 (2007)zbMATHMathSciNetCrossRefGoogle Scholar - 18.Woronowicz, S.L.: Compact matrix pseudogroups. Commun. Math. Phys.
**111**(4), 613–665 (1987)zbMATHMathSciNetCrossRefGoogle Scholar - 19.Woronowicz, S.L.: Compact quantum groups. In: Connes, A., Gawedzki, K., Zinn-Justin, J. (eds.) Symétries Quantiques, Proceedings, Les Houches 1995, pp. 845–884. Amsterdam, North-Holland (1998)Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.