Abstract
We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on C⁎-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups. Two key ingredients in our approach are the concept of sequentially split ⁎-homomorphisms, and the use of braided tensor products instead of ordinary tensor products.We show that various structure results carry over from the classical theory to this more general setting. In particular, we show that a number of C⁎-algebraic properties relevant to the classification program pass from the underlying C⁎-algebra of a Rokhlin action to both the crossed product and the fixed point algebra. Towards establishing a classification theory, we show that Rokhlin actions exhibit a rigidity property with respect to approximate unitary equivalence. Regarding duality theory, we introduce the notion of spatial approximate representability for actions of discrete quantum groups. The spatial Rokhlin property for actions of a coexact compact quantum group is shown to be dual to spatial approximate representability for actions of its dual discrete quantum group, and vice versa.
Highlights
Terms of use This work is brought to you by the University of Southern Denmark
We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on C∗-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups
We show that a number of C∗-algebraic properties relevant to the classification program pass from the underlying C∗-algebra of a Rokhlin action to both the crossed product and the fixed point algebra
Summary
In this preliminary section we collect some definitions and results from the theory of quantum groups and fix our notation. We will mainly follow the conventions in [26] as far as general quantum group theory is concerned. Y are elements of a Banach space and ε > 0 we write x =ε y if x − y < ε. If A and B are C∗-algebras the flip map A ⊗ B → B ⊗ A is denoted by σ. If H is a Hilbert space we write Σ ∈ L(H ⊗ H) for the flip map Σ(ξ ⊗ η) = η ⊗ ξ. For operators on multiple tensor products we use the leg numbering notation. If B is a C∗-algebra we write Bfor the smallest unitarization of B
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have