Free Actions of Compact Quantum Groups on Unital $C^\ast$-Algebras

Paul F. Baum ; Kenny De Commer ; Piotr M. Hajac

Documenta mathematica, Tome 22 (2017), pp. 825-849

Résumé

Let F be a field, Γ a finite group, and Map(Γ,F) the Hopf algebra of all set-theoretic maps Γ→F. If E is a finite field extension of F and Γ is its Galois group, the extension is Galois if and only if the canonical map E⊗F​E→E⊗F​Map(Γ,F) resulting from viewing E as a Map(Γ,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper, we extend this point of view to actions of compact quantum groups on unital C∗-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms. As an application, we show that a field of free actions on unital C∗-algebras yields a global free action.

Détail

DOI : 10.4171/dm/579

Classification : 16T05, 16T20, 37B05, 46L05, 46L55, 81R50
Mots-clés : quantum group, Hopf algebra, C∗-algebra, free action