No Arabic abstract
We define and study an analogue of the Baum-Connes assembly map for complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups. Our starting point is the deformation picture of the Baum-Connes assembly map for a complex semisimple Lie group $ G $, which allows one to express the $ K $-theory of the reduced group $ C^* $-algebra of $ G $ in terms of the $ K $-theory of its associated Cartan motion group. The latter can be identified with the semidirect product of the maximal compact subgroup $ K $ acting on $ mathfrak{k}^* $ via the coadjoint action. In the quantum case the role of the Cartan motion group is played by the Drinfeld double of the classical group $ K $, whose associated group $ C^* $-algebra is the crossed product of $ C(K) $ with respect to the adjoint action of $ K $. Our quantum assembly map is obtained by varying the deformation parameter in the Drinfeld double construction applied to the standard deformation $ K_q $ of $ K $. We prove that the quantum assembly map is an isomorphism, thus providing a description of the $ K $-theory of complex quantum groups in terms of classical topology. Moreover, we show that there is a continuous field of $ C^* $-algebras which encodes both the quantum and classical assembly maps as well as a natural deformation between them. It follows in particular that the quantum assembly map contains the classical Baum-Connes assembly map as a direct summand.
We introduce a new method for studying the Baum-Connes conjecture, which we call the direct splitting method. The method can simplify and clarify proofs of some of the known cases of the conjecture. In a separate paper, with J. Brodzki, E. Guentner and N. Higson, a similar idea will be used to give a finite-dimensional proof of the Baum-Connes conjecture for groups which act properly and co-compactly on a finite-dimensional CAT(0)-cubical space.
We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that quasidiagonality of a reduced C*-algebra of a countable discrete quantum group $Gamma$ implies that $Gamma$ is amenable, and deduce from the work of Tikuisis, White and Winter, and the results in the first part of the paper, the converse (i.e. the quantum Rosenberg Conjecture) for a large class of countable discrete unimodular quantum groups. We also note that the unimodularity is a necessary condition.
We show that complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups, satisfy a categorical version of the Baum-Connes conjecture with trivial coefficients. This approach, based on homological algebra in triangulated categories, is compatible with the previously studied deformation picture of the assembly map, and allows us to define an assembly map with arbitrary coefficients for these quantum groups.
We compute the Chern-Connes character (a map from the $K$-theory of a C$^*$-algebra under the action of a Lie group to the cohomology of its Lie algebra) for the $L^2$-norm closure of the algebra of all classical zero-order pseudodifferential operators on the sphere under the canonical action of ${rm SO}(3)$. We show that its image is $mathbb{R}$ if the trace is the integral of the principal symbol.
We introduce the notion of proper Kasparov cycles for Kasparovs G-equivariant KK-theory for a general locally compact, second countable topological group G. We show that for any proper Kasparov cycle, its induced map on K-theory factors through the left-hand side of the Baum-Connes conjecture. This allows us to upgrade the direct splitting method, a recent new approach to the Baum-Connes conjecture which, in contrast to the standard gamma element method (the Dirac dual-Dirac method), avoids the need of constructing proper algebras and the Dirac and the dual-Dirac elements. We introduce the notion of Kasparov cycles with Property (gamma) removing the G-compact assumption on the universal space EG in the previous paper Direct Splitting Method for the Baum-Connes Conjecture. We show that the existence of a cycle with Property (gamma) implies the split-injectivity of the Baum-Connes assembly map for all coefficients. We also obtain results concerning the surjectivity of the assembly map.