The K-theory of free quantum groups

TL;DR

This paper computes the K-theory of free quantum groups, demonstrating their K-amenability and establishing an analogue of the Pimsner-Voiculescu sequence, thus advancing understanding of their algebraic and topological properties.

Contribution

It introduces a method to compute K-theory for free quantum groups, showing they are K-amenable and establishing a Baum-Connes type framework for these quantum structures.

Findings

Free quantum groups are K-amenable.

Explicit K-theory computations for free quantum groups.

Existence of a gamma element equal to 1 for these quantum groups.

Abstract

In this paper we study the $ K $-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 $ K $-amenable and establish an analogue of the Pimsner-Voiculescu exact sequence. As a consequence, we obtain in particular an explicit computation of the $ K $-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 $ \gamma $-element and that $ \gamma = 1 $. 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.