The Baum-Connes property for a quantum (semi-)direct product (Q2180244)

The Baum-Connes conjecture is a fundamental question about the $K$-theory of reduced group \(C*\)-algebras. More generally, the version with coefficients deals with the $K$-theory of reduced crossed products for group actions. It has a version for discrete quantum groups instead of groups as well -- at least if they are ``torsion-free'' in a suitable sense. At the moment, such extra assumptions are needed to build an analogue of the Baum-Connes assembly map for a discrete quantum group. The conjecture is only known for a few discrete quantum groups so far. This article extends an important permanence property of the Baum-Connes conjecture with coefficients from groups to quantum groups. Namely, consider a semidirect product group \(N\rtimes G\) and an action of it on a \(C*\)-algebra \(A\). Assume \(N\rtimes G\) to be torsion-free for simplicity. Then the Baum-Connes assembly map for \(N\rtimes G\) with coefficients in \(A\) is an isomorphism provided the Baum-Connes assembly map for \(N\) with coefficients in \(A\) and the Baum-Connes assembly map for \(G\) with coefficients in \(A\rtimes_r N\) are isomorphisms. This article proves an analogous result for the semidirect product defined by an action of a discrete group on a quantum group. For direct products, both factors are allowed to be discrete quantum groups. Some related results are shown along the way. First, the semidirect product quantum group is torsion-free in the appropriate sense if the two factors are torsion-free. For a ``strong'' version of torsion-freeness, a direct product of discrete quantum groups is strongly torsion-free if and only if the factors are strongly torsion-free. Secondly, a semidirect product or direct product as above is $K$-amenable if and only if the two factors are $K$-amenable. The proofs rely on the approach to the Baum-Connes assembly map through localisation of categories. The article includes many details, including some basic results about compact and discrete quantum groups, the concepts of torsion-freeness and strong torsion-freeness, crossed products, equivariant \(KK\)-theory and $K$-amenability. In the definition of a quantum group semidirect product, one factor is assumed to be a group. The article discusses bicrossed products as a possible generalisation where both factors are allowed to be quantum groups, but without making much progress. Another promising way to generalise semidirect products to quantum groups are quantum groups with projections (see [\textit{R. Meyer} et al., Commun. Math. Phys. 351, No. 1, 249--282 (2017; Zbl 1362.16037)]). In the Hopf algebra literature, these semidirect products are called bosonisations. A new feature is that one of the factors is not a quantum group in the usual sense, but a ``braided'' quantum group, meaning that the comultiplication takes values in a twisted tensor product where the two factors do not commute.