Model theory and Rokhlin dimension for compact quantum group actions

Abstract

We show that, for a given compact or discrete quantum group G, the class of actions of G on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for G-C*-algebra, introduced by Barlak, Szabó, and Voigt in the case when G is second countable and coexact, to an arbitrary compact quantum group G. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szabó, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension.

Equivariant dimensions of graph C*-algebras

“…Every unital C ˚-algebra is a unital pro-C ˚-algebra. In this case, our definition can be compared with the notion of the local-triviality dimension (compare with [16]): Definition 4.4 Let G be a compact Hausdorff group acting on a unital C ˚-algebra A. We say that the local-triviality dimension of the G-C ˚-algebra A equals n P Z ě0 , denoted dim G LT pAq " n, if n is the smallest number such that there exist G-equivariant ˚-homomorphisms ρ n : CpconepGqq Ñ A such that ř n i"0 ρ n ptq " 1.…”

“…In the non-commutative case there is no guarantee that free actions of compact matrix quantum groups give rise to locally trivial non-commutative principal bundles. In fact, [5] shows that while the usual U p1q-action on the Cuntz algebra O 2 [7] is free, it cannot define a locally trivial principal bundle in the sense of [16] and [44]. Therefore, the work of Ðurđević does not generalize the notion of a locally trivial principal bundle, but a condition that is strictly stronger.…”

“…[39] for actions of finite groups). An analog of a numerable principal G-bundle in this context was introduced by the second author in [44], generalizing the notion of the local-triviality dimension [16] (with a topological structure group).…”