The K-theory of free quantum groups

In this paper we study the -theory of free quantum groups in the sense of Wang and Van Daele, more precisely, of free products of free unitary and free orthogonal quantum groups. We show that these quantum groups are -amenable and establish an analogue of the Pimsner-Voiculescu exact sequence. As a consequence, we obtain in particular an explicit computation of the -theory of free quantum groups. Our approach relies on a generalization of methods from the Baum-Connes conjecture to the framework of discrete quantum groups. This is based on the categorical reformulation of the Baum-Connes conjecture developed by Meyer and Nest. As a main result we show that free quantum groups have a -element and that . As an important ingredient in the proof we adapt the Dirac-dual Dirac method for groups acting on trees to the quantum case. We use this to extend some permanence properties of the Baum-Connes conjecture to our setting.