---
abstract: 'We show that a natural notion of irreducibility implies connectedness in the Compact Quantum Group setting. We also investigate the converse implication and show it is related to Kaplansky’s conjectures on group algebras.'
address:
- |
    Dipartimento di Matematica “Guido Castelnuovo”, Sapienza Università di Roma\
    P.le Aldo Moro 5, 00185 Roma, Italy
- |
    Dipartimento di Matematica “Guido Castelnuovo”, Sapienza Università di Roma\
    P.le Aldo Moro 5, 00185 Roma, Italy
- 'Dipartimento di Matematica, Università di Roma Tor Vergata, Via della Ricerca Scientifica 1, 00133 Roma, Italy'
author:
- 'Alessandro D’Andrea'
- Claudia Pinzari
- Stefano Rossi
title: |
    Connectedness and irreducibility\
    of compact quantum groups
---

Introduction
============

Among locally compact quantum groups, whose general theory is admittedly far from complete, compact quantum groups provide a felicitous class of examples for which a satisfactory theory does exist. This is particularly so when their representations are looked at. Indeed, the category of finite-dimensional representations of a given compact quantum group, already at the classical level, displays so rich a structure as to embody virtually any information on the group itself. To name but few important topological aspects, connectedness [@Wang], local disconnectedness [@CDPR], and topological dimension [@DPR] are all properties that the representation category keeps track of very precisely. Algebraic properties of the group may also be recast in terms of the corresponding category. Notably, the notion of subgroup and its normality, as well as homomorphic images are a case in point.

Analogies between classical and quantum compact groups, however, are far too many to be mentioned at all. Even so, cocommutative quantum groups lend themselves to a more immediate grasp. For instance, as (classical) Abelian compact groups only feature irreducible representations of dimension one, so the irreducible representations of a cocommutative compact quantum group are all still one-dimensional. Furthermore, the tensor structure of the category corresponds to the group structure of the dual group, and the conjugate of an irreducible representation is but its inverse. Many of the above topological properties may then be translated into the algebraic language of discrete groups, thought of as dual objects, thus leading back to important yet difficult long-standing conjectures that have risen from group theory over the years, as we shall see in the subsequent sections. Gromov’s characterization of groups of polynomial growth, counterexamples to the Burnside problem, Kaplansky’s conjectures on group algebras, and the search for a description of groups having Noetherian group algebras may all be interpreted as special cases of geometric and topological issues in compact quantum group theory.\
In this respect, this paper aims to shed some light on the relation between irreducibility, understood in its algebraic geometrical sense, and connectedness for compact quantum groups. We show that irreducibility always implies connectedness, whereas the inverse implication is at least as hard as tackling Kaplansky’s conjecture on the absence of zero divisors in group algebras of torsionless groups. Needless to say, in the classical case connectedness and irreducibility are equivalent notions, due to the one-to-one correspondence between compact Lie groups and their complexification into reductive groups. Notice that Hopf algebras which are domains [@domain], or more generally prime rings [@prime], are commonly considered for classification purposes.

Compact quantum groups
======================

The notion of compact quantum group (CQG) in the $C^*$-algebra formalism has been developed by Woronowicz [@WoroCMP], see also [@MaesVanDaele; @NTbook] for a thorough account of the subject. A [*compact quantum group*]{} is a pair $G=(Q, \Delta)$ where $Q$ is a unital $C^*$-algebra, whose unit is denoted by $1$, and $\Delta$ is a coassociative unital $^*$-homomorphism $$\Delta: Q\to Q\otimes Q$$ such that the products $(1\otimes Q)\Delta(Q)$ and $(Q\otimes 1)\Delta(Q)$ are dense in the minimal tensor product $Q\otimes Q$, where $1\otimes Q:=\{1\otimes x: x\in Q\}$ and $Q\otimes 1:=\{x\otimes 1: x\in Q\}$.

The basic and motivating example is given by the algebra $C(G)$ of continuous functions on a compact topological group $G$. In this case the tensor product $C(G)\otimes C(G)$ is isomorphic with $C(G\times G)$ and the natural coproduct is induced by the group operation itself, i.e., $\Delta(f)(g,h)\doteq f(gh)$, for every $f\in C(G) $ and $(g,h)\in G\times G$. More importantly, every commutative example is of this form. Notice that the structure of $Q$ is thought of as dual to that of $G=(Q, \Delta)$, which is the main object of investigation. One will typically describe properties of $Q$ in terms of a language which is better suited to the structure of $G$. For instance, when $Q$ is commutative, we will say that $G$ is [*classical*]{}.

A finite-dimensional (unitary) [*representation*]{} of $G$ is defined as a unitary element $u\in{{{\mathcal B}}}(H)\otimes Q$, where $H$ is a finite dimensional Hilbert space, satisfying $\Delta(u_{\xi, \eta})=\sum_r u_{\xi, e_r}\otimes u_{e_r,\eta}$. Here $u_{\xi, \eta}=(\xi^*\otimes 1) u (\eta\otimes 1)$, where $\xi,\eta\in H$ and $(e_r)$ is an orthonormal basis of $H$, are the [*matrix coefficients*]{} of $u$.

As far as representation theory is concerned, an analogue of the Peter-Weyl theorem holds for compact quantum groups as well. More precisely, the Woronowicz density theorem states that the subalgebra ${{\mathcal Q}}_G$, which is by definition the subalgebra linearly generated by matrix coefficients of representations of $G$, is dense in $Q$ with respect to its $C^*$-norm. Unlike the classical case, though, the subalgebra ${{\mathcal Q}}_G$ may well fail to bear a (necessarily not complete) unique $C^*$-norm; however, any such norm on ${{\mathcal Q}}_G$ can be shown to be bounded between the so-called reduced and maximal norms. The quantum group $G$ is [*coamenable*]{} when the reduced and maximal norm coincide. Phrased differently, the quantum group $G=(Q, \Delta)$ is coamenable when $Q$ is the only $C^*$-completion of ${{\mathcal Q}}_G$. All classical compact quantum groups are coamenable.

Cosemisimplicity
----------------

Representations of a compact quantum group $G$ can be made into a $C^*$-tensor category with conjugates in the sense of, e.g., [@NTbook]. Subrepresentations, quotients, conjugates, direct sums, tensor products of representations as well as irreducible representations and intertwiners are defined in the obvious way. Every representations can be decomposed as a direct sum of irreducible representations, in a unique way up to equivalence. Every irreducible representation is finite dimensional. We denote by $\operatorname{\mathrm{Rep}}G$ the corresponding Grothendieck (fusion) ring: this is a ${{\mathbb Z}}$-algebra endowed with an involution $*$ induced by taking dual of representations.

We have seen above that the linear span ${{\mathcal Q}}_G$ of matrix coefficients of representations is a canonical dense $^*$-subalgebra of $Q$. Furthermore, it has the structure of an honest Hopf $^*$-algebra [@WoroCMP; @cqg], which is [*cosemisimple*]{} by the abovementioned complete reducibility; representations of $G$ are the same as ${{\mathcal Q}}_G$-comodules.

Due to cosemisimplicity, ${{\mathcal Q}}_G$ has a unique [*Haar state*]{} $h$, which means that $h$ is a state satisfying the invariance condition $(h\otimes {\mbox{id}})(\Delta(a))=h(a)1=({\mbox{id}}\otimes h)(\Delta(a))$ for all $a\in Q$. It is uniquely determined by demanding that $h(1) = 1$ and that it annihilates all coefficients of non-trivial irreducible representations. The Haar state is always [*positive*]{} in the compact quantum group setting, which means that $h(a^* a) > 0$ for all $0 \neq a \in {{\mathcal Q}}_G$. Quite remarkably, the Haar state is uniquely determined at the $C^*$-algebraic level of $Q$ too [@WoroCMP], by only requiring that it satisfies the invariance condition.

Character theory
----------------

In the classical theory, with any finite-dimensional representation $\pi$ of a compact group $G$ one may associate its character $\chi^\pi$, which is the continuous function $\chi^\pi(g)\doteq {\rm Tr}(\pi(g))$, $g\in G$. If now $\{\pi^i, i\in I\}$ is a complete family of inequivalent irreducible representations of $G$, the set of corresponding characters $\{\chi^i, i\in I\}$ is an orthonormal system in the Hilbert space $L^2(G, {\rm m})$, where ${\rm m}$ is the Haar measure of $G$. Unless $G$ is Abelian, however, the functions thus obtained will fail to be an orthonormal basis of $L^2(G, {\rm m})$. In fact, they are a basis for the Hilbert subspace $ZL^2(G, {\rm m})\subset L^2(G, {\rm m})$, which is the closure in $L^2(G, {\rm m})$ of the Banach space $ZC(G):=\{f\in C(G):\, f(gh)=f(hg), \,\textrm{for every}\, g,h\in G\}$ of [*central functions*]{}.

One of the features of compact quantum groups is that most of the usual character theory outlined above extends to the quantum setting. If a finite-dimensional representation is described by the unitary element $u \in{{{\mathcal B}}}(H)\otimes Q$, the corresponding character can be still defined as $\chi(u) = ({\mbox{Tr}}\otimes {\mbox{id}})(u) \in {{\mathcal Q}}_G$. Associating with each finite-dimensional representation of $G$ its character sets up a ring homomorphism $\chi: \operatorname{\mathrm{Rep}}G \to {{\mathcal Q}}_G$ which commutes with the corresponding $*$-involutions. Characters $\{\chi^i, i \in I\}$ corresponding to a complete family of pairwise non-isomorphic irreducible representations of $G$ continue to satisfy the usual orthonormality relations $h(\chi^i (\chi^j)^*) = \delta^{ij}$, showing that $\chi: \operatorname{\mathrm{Rep}}G \to {{\mathcal Q}}_G$ is indeed injective, thus providing an embedding of $\operatorname{\mathrm{Rep}}G$ inside ${{\mathcal Q}}_G$. To the best of our knowledge, in a general quantum framework the subspace $\operatorname{\mathrm{Span}}_{{\mathbb C}}\langle\chi^i, i\in I\rangle$ is no longer known to be dense in $Z{{\mathcal Q}}:=\{x\in {{\mathcal Q}}\,|\, \Delta(x)=\theta(\Delta(x))\}$, where $\theta$ is the $^*$-isomorphism of ${{\mathcal Q}}\otimes {{\mathcal Q}}$ given by $\theta(x\otimes y)=y\otimes x$, $x,y\in{{\mathcal Q}}$, although this is certainly the case for Abelian compact quantum groups.

Finite quantum groups and connectedness
---------------------------------------

Wang extended in [@Wang] the notion of connectedness to the compact quantum setting: a compact quantum group $G = (Q, \Delta)$ is [*connected*]{} if the only finite-dimensional unital Hopf $\,^*$-subalgebra of $Q$ is the base field ${{\mathbb C}}$; using the dual group language, the only quotient quantum groups of $G$ are [*finite*]{}. One may reformulate this notion in terms of representation theory, and one of the results from [@CDPR] shows that $G$ is connected precisely when each nontrivial irreducible representation $u$ of $G$ requires infinitely many pairwise non-isomorphic irreducible summands to decompose all tensor powers of $u \oplus u^*$; in other words, the only [*torsion*]{} irreducible representation is the trivial one.

In the classical setting, if a compact topological group $G$ is not connected, then the corresponding group of connected components $G/G^\circ$ is totally disconnected and thus has nontrivial finite quotients; then each nontrivial irreducible representation of such quotients lifts to a torsion representation of $G$; the viceversa clearly holds by standard Lie representation theory.

Finite quantum groups and semisimplicity
----------------------------------------

When ${{\mathcal Q}}_G$ is finite dimensional, i.e., when $G$ is [*finite*]{}, then ${{\mathcal Q}}_G$ coincides with its completion $Q$, which is a finite-dimensional $C^*$-algebra. It is well known [@Takesaki] that finite-dimensional $C^*$-algebras are semisimple. A complex semisimple algebra is always a direct sum of complex matrix algebras; as the counit $\epsilon: {{\mathcal Q}}_G \to {{\mathbb C}}$ is a surjective ring homomorphism, one of this direct summand is isomorphic to ${{\mathbb C}}$.

Summing up, if $G$ is a finite quantum group, then ${{\mathcal Q}}_G$, viewed as a $*$-algebra, is isomorphic to a finite sum of complex matrix algebras, at least one of the summands being isomorphic to ${{\mathbb C}}$.

Connectedness and irreducibility of complex algebraic groups
------------------------------------------------------------

If $P_0 \neq P_1$ are points in a compact Hausdorff space $X$, choose disjoint open neighbourhoods $U_{i}\ni P_i$. By Urysohn’s Lemma, one finds continuous functions $f_i: X \to {{\mathbb R}}$ whose value is $1$ on $P_i$ and vanish on the complement of $U_{i}$. Then $f_0 \cdot f_1 = 0$, yet neither factor is the constant zero function, thus showing that the $C^*$-algebra $C(X)$ is never a domain.

As a consequence, if $G\neq \{1\}$ is a compact Lie group, then $Q = C(G)$ has zero divisors. However, as soon as $G$ is connected, then ${{\mathcal Q}}_G$ is an integral domain. Indeed, ${{\mathcal Q}}_G$ can be understood as the coordinate ring of the affine complex algebraic group ${G_{{{\mathbb C}}}}= \operatorname{\mathrm{Spec}}({{\mathcal Q}}_G)$ admitting $G$ as a maximal compact subgroup. It is well known that an algebraic group is connected if and only if it is irreducible. Indeed, the intersection of irreducible components is singular, and the singular part of an algebraic group, which is a Zariski closed set, must be empty as it is invariant under all left multiplications. Irreducibility of ${G_{{{\mathbb C}}}}$ then translates into ${{\mathcal Q}}_G$ being an integral domain.

The main goal of the present note is to show that a suitably generalized notion of irreducibility implies connectedness for all (even non-classical) compact quantum groups. More explicitly, we will show in Proposition \[irredimpliesconnected\] below that a compact quantum group $G$ is connected as soon as the corresponding canonical Hopf $*$-algebra ${{\mathcal Q}}_G$ is a (possibly noncommutative) domain.

Discrete groups
===============

Abelian compact quantum groups
------------------------------

An important class of non-classical examples is provided by [*Abelian*]{} compact quantum groups, which correspond to cocommutative instances of $C(G)$. If $\Gamma$ is a discrete (ordinary) group then the group $C^*$–algebra $C^*(\Gamma)$, which is the completion of the group algebra ${\mathbb C}\Gamma$ in the maximal $C^*$–norm, becomes a compact quantum group with coproduct $\Delta(\gamma)=\gamma\otimes\gamma$, $\gamma\in \Gamma$. We may also consider the reduced $C^*$–completion $C^*_{\text{red}}(\Gamma)$ and still obtain a compact quantum group. These are cocommutative examples and every cocommutative compact quantum group can be obtained as the completion of ${\mathbb C}\Gamma$ with respect to some $C^*$–norm, which is bounded between the reduced and the maximal norm. An Abelian compact quantum group $C^*(\Gamma$) is coamenable if and only if $\Gamma$ is amenable as a group.

The correspondence between Abelian CQG and discrete groups provides a bridge associating topological properties of compact quantum groups with structural aspects of discrete groups.

Topology of CQGs and structure of discrete groups
-------------------------------------------------

The notion of topological (Lebesgue) dimension of a compact topological group $G$ is related to the Gelfand-Kirillov dimension of ${{\mathcal Q}}_G$, which has been rephrased in representation theoretic terms in [@DPR]. This can be used to extend the concept of topological dimension to all (possibly non-classical) compact quantum groups. In the special case of an Abelian compact quantum group $G = C^* \Gamma$, the topological dimension of $G$ is only finite when $\Gamma$ is a group of polynomial growth, in which case it equals the growth degree. A celebrated result by Gromov characterizes all finitely generated groups of polynomial growth.

A finitely generated group has polynomial growth if and only if it is virtually nilpotent.

When $G = C^* \Gamma$ is a connected Abelian CQG, irreducible representations of $G$ are in one-to-one correspondence with elements of $\Gamma$; then tensor product of irreducible representations is given by the group multiplication, and the dual by taking the inverse element. We have seen above that connectedness of a CQG can be rephrased in terms of the absence of torsion representations; indeed, $G = C^* \Gamma$ is connected if and only if $\Gamma$ is torsionless. A long-standing conjecture for group algebras of discrete groups is the following:

\[Kaplansky\] Let ${{\mathbf k}}$ be a field. A discrete group $\Gamma$ is torsionless if and only if its group algebra ${{\mathbf k}}\Gamma$ has no zero-divisors.

Kaplansky’s conjecture is known to hold for polycyclic-by-finite groups. As virtually nilpotent groups are of this type, Kaplansky’s conjecture holds for finitely generated groups of polynomial growth. Notice that polycyclic-by-finite groups are the only groups known to yield a Noetherian group algebra.

In a similar—albeit more analytical—fashion, the so-called Kadison-Kaplansky conjecture states that the reduced $C^*$-algebra $C^*_r(\Gamma)$ has no non-trivial projections if $\Gamma$ is a torsion-free discrete group. The conjecture has been proved true for word-hyperbolic groups [@Puschnigg].

Irreducibility implies connectedness
====================================

Let $G$ be a compact quantum group. Then

-   $G$ is [*irreducible*]{} iff ${{\mathcal Q}}_G$ is a domain;

-   $G$ is [*weakly irreducible*]{} iff $\operatorname{\mathrm{Rep}}G$ is a domain;

-   $G$ is [*connected*]{} iff it has no nontrivial torsion irreducible representation.

Let $G$ be a semisimple compact Lie group. We have seen above that $G$ can be viewed as maximal compact subgroup of the semisimple complex algebraic group ${G_{{{\mathbb C}}}}= \operatorname{\mathrm{Spec}}{{\mathcal Q}}_G$. Representations of ${G_{{{\mathbb C}}}}$ restrict to representations of $G$, and irreducibility, tensor product, direct sums are preserved.

If we denote by $r$ the rank of ${G_{{{\mathbb C}}}}$ and by $u_1, \dots, u_r$ its irreducible fundamental representations, then mapping $x_i$ to $u_i$ provides an isomorphism ${{\mathbb Z}}[x_1, \dots, x_r] \simeq \operatorname{\mathrm{Rep}}{G_{{{\mathbb C}}}}= \operatorname{\mathrm{Rep}}G$, thus showing that $\operatorname{\mathrm{Rep}}G$ is a commutative domain, hence $G$ is a weakly irreducible CQG.

Connectedness, irreducibility and weak irreducibility are all preserved under taking inverse limits:

\[limit\] Connectedness, irreducibility and weak irreducibility are preserved by inverse limits of CQGs.

If $G$ is the inverse limit of its quotients $G_i$, then ${{\mathcal Q}}_G$ is by definition the direct limit of ${{\mathcal Q}}_{G_i}$. If now each $G_i$ is connected then no finite-dimensional Hopf subalgebra can be contained in any of the Hopf algebras ${{\mathcal Q}}_{G_i}$, hence no finite-dimensional Hopf subalgebra can be contained in ${{\mathcal Q}}_G$ either. The conclusion is now easily reached, for any finite-dimensional Hopf subalgebra of the $C^*$-algebra $Q$ is actually contained in ${{\mathcal Q}}_G$.

As for irreducibility, if all ${{\mathcal Q}}_{G_i}$ are domains, then also ${{\mathcal Q}}_G$ is a domain, as every pair of nonzero elements $x, y\in {{\mathcal Q}}_G$ satisying $xy = 0$ must be contained in ${{\mathcal Q}}_{G_i}$ for some $i \in I$. The same argument holds for $\operatorname{\mathrm{Rep}}G$.

\[domainimpliesdomain\] Let $G$ be a compact quantum group. If ${{\mathcal Q}}_G$ is a domain, then $\operatorname{\mathrm{Rep}}G$ is a domain.

The character function $\chi: \operatorname{\mathrm{Rep}}G \to {{\mathcal Q}}_G$ is an injective ring homomorphism. Then if ${{\mathcal Q}}_G$ is a domain, $\operatorname{\mathrm{Rep}}G \simeq \chi(\operatorname{\mathrm{Rep}}G) \subset {{\mathcal Q}}_G$ must be a domain too.

\[quasiimpliesconnected\] Let $G$ be a compact quantum group. If $\operatorname{\mathrm{Rep}}G$ is a domain, then $G$ is connected.

If $G$ is not connected, then it has a finite (i.e., finite dimensional as a ${{\mathbb C}}$-vector space) quotient $H$. Then the fusion ring $A: = \operatorname{\mathrm{Rep}}H$, which sits inside $R: = \operatorname{\mathrm{Rep}}G$, has finitely many irreducibles and is closed under direct sum, tensor product and subobjects. The ring $A$ is a finitely generated free ${{\mathbb Z}}$-module, as the finitely many irreducible representations of $H$ linearly span it over ${{\mathbb Z}}$, so that each of its elements admits a unique (monic) minimal polynomial in ${{\mathbb Z}}[x]$.

Assume $R$, hence $A$, to be a domain. If $u$ is a nontrivial irreducible representation of $H$, its minimal polynomial $p(x) \in {{\mathbb Z}}[x]$ is irreducible of degree $> 1$, hence it certainly has no roots in ${{\mathbb Z}}$. However, the dimension function $\dim: R \to {{\mathbb Z}}$ is a ring homomorphism, so that $\dim u \in {{\mathbb Z}}$ is a root of $p$, thus yielding a contradiction.

\[irredimpliesconnected\] Let $G$ be a compact quantum group. If ${{\mathcal Q}}_G$ is a domain, then $G$ is connected.

This follows from Propositions \[domainimpliesdomain\] and \[quasiimpliesconnected\], but we also provide a direct proof of a somewhat different flavour. If $G$ is not connected, then it has a nontrivial finite quotient quantum group $H$. Then ${{\mathcal Q}}_H \subset {{\mathcal Q}}_G$ is a semisimple $C^*$-algebra, which is a direct sum of matrix algebras. However, a nontrivial direct sum of matrix algebras is never a domain.

Notice that when $G$ is a compact topological group which is not connected, then above proofs locates a finite-dimensional $*$-algebra of the commutative algebra $C(G)$, thus yielding a decomposition of $1 \in C(G)$ into a sum of orthogonal central idempotents. This also forces $C(G)$ to decompose into a direct sum of finitely many ideals. This fact is likely not to hold in general, and seems to require $G$ to be either classical or finite. We may summarize Propositions \[domainimpliesdomain\]-\[irredimpliesconnected\] in the following

Let $G$ be a compact quantum group. Then $$G \mbox{ irreducible } \implies G \mbox{ weakly irreducible } \implies G \mbox{ connected}.$$

Does connectedness imply irreducibility?
========================================

It is well known that connectedness is equivalent to irreducibility as soon as $G$ is a compact Lie group, hence for all [*classical*]{} (i.e., commutative) CQGs by Lemma \[limit\]. In the compact Lie case, ${{\mathcal Q}}_G$ is the complex algebra of regular functions of the affine group corresponding to $G$, which is irreducible as soon as $G$ is connected.

In the non-classical case, proving that connectedness implies irreducibility certainly constitutes a difficult problem, already when $G$ is Abelian. Indeed, we have seen that when $G=C^* \Gamma$, then ${{\mathbb C}}\Gamma$ being a domain only forces connectedness of $G$ if Conjecture \[Kaplansky\] holds. The general statement is thus at least as difficult as proving Kaplansky’s conjecture.

However, connectedness and irreducibility are equivalent also when $G$ is a cocommutative compact matrix quantum group $C^* \Gamma$ of finite topological dimension [@DPR], as the polynomial growth requirement forces $\Gamma$ to be virtually nilpotent, whence polycyclic-by-finite, and we have seen above that Kaplansky’s conjecture is known to hold for such groups. As having finite topological dimension commutes with inverse limits, Lemma \[limit\] shows that equivalence of connectedness and irreducibility holds for every Abelian (i.e., cocommutative) compact quantum group of finite topological dimension.

[DLM]{} Brown, K.A., Zhang, J.J.: [Prime regular Hopf algebras of GK-dimension one]{}, Proc. of the LMS **101**, 260–302 (2010).

Cirio, L.S., D’Andrea, A., Pinzari, C., Rossi, S.: [Connected components of compact matrix quantum groups and finiteness conditions]{}, J. Funct. Anal. **267**, 3154–3204 (2014).

D’Andrea, A., Pinzari, C., Rossi, S.: [Polynomial growth of discrete quantum groups, topological dimension of the dual and \*-regularity of the Fourier algebra]{}, Ann. Inst. Fourier **67**, 2003–2027 (2017).

Goodearl, K.R., Zhang, J.J.: [Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two]{}, J. Alg. **324**, 3131–3168 (2010).

Maes, A., Van Daele, A.: [Notes on compact quantum groups]{}, Nieuw Arch. Wisk. **16** (1998) 73–112.

Neshveyev, S., Tuset, L.: [Compact quantum groups and their representation categories]{}, AMS Cours spécialisés **20** (2014).

Puschnigg, M.: [The Kadison-Kaplansky conjecture for word-hyperbolic groups]{}, Invent. Math. **149** 153–194 (2002).

Takesaki, M.: [Theory of Operator Algebras I]{}, Encyclopaedia of Mathematical Sciences **124**, Springer (2001).

Wang, S.: [Simple compact quantum groups I]{}, J. Funct. Anal. **256**, 3313–3341 (2009).

Woronowicz, S.L.: [Compact matrix pseudogroups]{}, Comm. Math. Phys. **111**, 613–665 (1987).

Woronowicz, S.L.: [Compact quantum groups]{}, Symétries quantiques (Les Houches, 1995) **845** (1998).
