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

DOI10.1023/B:KTHE.0000021930.34846.51MaRDI QIDQ1826480zbMATH OpenOpenAlexWikidataFDO

Authors Debashish Goswami, Aderemi O. Kuku

Publication date 6 August 2004

Published in \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0310470

Baum-Connes conjecture discrete quantum group equivariant \(KK\)-theory

Kasparov theory ((KK)-theory) (19K35) (K)-theory and operator algebras (including cyclic theory) (46L80) Geometry of quantum groups (58B32) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: We formulate a version of Baum-Connes' conjecture for a discrete quantum group, building on our earlier work (cite{GK}). Given such a quantum group

c l a

, we construct a directed family

c l e_{F}

of

C^{*}

-algebras (

F

varying over some suitable index set), borrowing the ideas of cite{cuntz}, such that there is a natural action of

c l a

on each

c l e_{F}

satisfying the assumptions of cite{GK}, which makes it possible to define the "analytical assembly map", say

m u_{i}^{r, F}

,

i = 0, 1,

as in cite{GK}, from the

c l a

-equivariant

K

-homolgy groups of

c l e_{F}

to the

K

-theory groups of the "reduced" dual

h a t c l a_{r}

(c.f. cite{GK} and the references therein for more details). As a result, we can define the Baum-Connes' maps

m u_{i}^{r} : s t a c k r e l m l i m l o n g r i g h t a r r o w K K_{i}^{c} l a (c l e_{F}, I C) a r o K_{i} (h a t c l a_{r}),

and in the classical case, i.e. when

c l a

is

C_{0} (G)

for a discrete group, the isomorphism of the above maps for

i = 0, 1

is equivalent to the Baum-Connes' conjecture. Furthermore, we verify its truth for an arbitrary finite dimensional quantum group and obtain partial results for the dual of

S U_{q} (2) .

Review text

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.

Recommendations

Cited in

(9)

This page was built for publication: A complete formulation of the Baum-Connes conjecture for the action of discrete quantum groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826480)