CQG algebras: A direct algebraic approach to compact quantum groups (Q1343119)

In this nice article, it is explained what algebraic data are necessary to construct a compact quantum group. The main ideas are in the spirit of previous papers [\textit{S. L. Woronowicz}, Invent. Math. 93, 35-76 (1988; Zbl 0644.58044); \textit{M. Rosso}, Duke Math. J. 61, No. 1, 11-40 (1990; Zbl 0721.17013), \textit{N. Andruskiewitsch}, Bull. Soc. Math. Fr. 120, No. 3, 297-325 (1992; Zbl 0763.17008)]. However there is a key step in passing to the \(C^*\)-algebra setting which was implicit in those previous papers and is proved here in detail. (Independently, an analogous proof was communicated by the reviewer to \textit{A. Guichardet} and appeared in his [Groupes quantiques, Inter Éditions/CNRS Editions (1995; Zbl 0838.17007)]). Similar presentations are also given in [\textit{Shuzhou Wang}, Dissertation, Berkeley (1993), \textit{E. G. Effros} and \textit{Z.-J. Ruan}, Int. J. Math. 5, No. 5, 681-723 (1994; Zbl 0824.17020)] -- as noted by the authors.