A complete formulation of the Baum-Connes conjecture for the action of discrete quantum groups (Q1826480)

Replacing locally compact groups by discrete quantum groups, the authors formulate a Baum-Connes conjecture (without coefficients) for discrete quantum groups. If \(G\) is a discrete group, the authors' conjecture for \(C_{0} (G)\) agrees with the usual Baum-Connes conjecture for \(G\). The authors' approach runs parallel to the development of the standard Baum-Connes conjecture: they extend to their context the notions of analytic assembly map and classifying space for proper actions. In particular, for a discrete quantum group \(A\), the domain of the Baum-Connes map is a limit of \(A\)-equivariant \(K\)-homology groups of \(C^{*}\)-algebras modeled on those defined by \textit{J. Cuntz} [Geom. Funct. Anal. 12, 307--329 (2002; Zbl 1037.46060)]. [The \(A\)-equivariant \(K\)-homology groups are those defined by \textit{S. Baaj} and \textit{G. Skandalis}, \(K\)-Theory 2, 683--721 (1989; Zbl 0683.46048).] The authors discuss examples and show that their Baum-Connes conjecture is true for finite-dimensional quantum groups.