The \(K\)-theory of free quantum groups (Q368625): Difference between revisions

Any discrete quantum group can be obtained as a quotient of a free quantum group. A free quantum group can be represented in form of a free product \[ G=\mathbb FU(P_1) * \dots *\mathbb FU(P_k) * \mathbb FO(Q_1) * \dots * \mathbb FO(Q_l) \] for matrices \(P_i \in GL_{m_i}(\mathbb C)\) and \(Q_j \in GL_{n_j}(\mathbb C)\) such that \(\bar{Q}_j \*Q_j = \pm 1\), where \(\mathbb FU(P_i)\) are the free unitary quantum groups, and \( \mathbb FO(Q_j)\) are the free orthogonal quantum groups in the sense of \textit{S.-Z. Wang} [Commun. Math. Phys. 167, No. 3, 671--692 (1995; Zbl 0838.46057)] and \textit{A. Van Daele} and \textit{S.-Z. Wang} [Int. J. Math. 7, No. 2, 255--263 (1996; Zbl 0870.17011)]. The full \(C^*\)-algebra \(C_f^*(\mathbb FU(Q))\) is the universal \(C^*\)-algebra generated by the matrix entries of a matrix \(u\) such that \(u\) and \(Q\bar{u}Q^{-1}\) are unitary. The full \(C^*\)-algebra \(C_f^*(\mathbb FO(Q))\) is the quotient of \(C_f^*(\mathbb FU(Q))\) by the relation \(u=Q\bar{u}Q^{-1}.\) In this paper, the authors show that these free quantum groups are \(K\)-amenable, establish an analogue of the Pimsner-Voiculescu exact sequence (Theorem 7.1) and then compute the \(K\)-groups (Theorem 7.3) \[ K_0(C^*(G)) = \mathbb Z, \quad K_1(C^*(G)) = \mathbb Z^{2k} \oplus \mathbb Z^l. \] The method which they use is a generalization of the methods from the categorical Baum-Connes conjecture.