Towards the Baum-Connes' Analytical Assembly Map for the Actions of Discrete Quantum Groups

Given an action of a discrete quantum group (in the sense of Van Daele, Kustermans and Effros-Ruan) $\mathcal{A}$ on a $C^{\ast }$-algebra $\mathcal{C}$, satisfying some regularity assumptions resembling the proper $\mathrm{\Gamma }$-compact action for a classical discrete group $\mathrm{\Gamma }$ on some space, we are able to construct canonical maps ${\mu }_r^i$ ($\mu_i$respectively)($i=0,1$)fromthe${\cal A}$-equivariant K-homology groups $K{K}_i^{\mathcal{A}}(\mathcal{C},C\mathrm{\mid })$ to the K-theory groups $K_i(\widehat{{\mathcal{A}}_r})$ ($K_i(\widehat{\mathcal{A}})$ respectively), where $\hat{{\cal A}_r}$and$\hat{{\cal A}}$ stand for the quantum analogues of the reduced and full group $C^{\ast }$-algebras (c.f. [11],[6]). We follow the steps of the construction of the classical Baum-Connes map, although in the context of quantum group the nontrivial modular property of the invariant weights (and the related fact that the square of the antipode is not identity) has to be taken into serious consideration, making it somewhat tricky to guess and prove the correct definitions of relevant Hilbert module structures.