Free actions of compact quantum groups on unital \(C^\ast\)-algebras
type: Item
instance of: scholarly article
title: Free actions of compact quantum groups on unital \(C^\ast\)-algebras
zbMATH Open document ID: 1386.46055
author: Paul Baum
author: Kenny De Commer
author: Piotr M. Hajac
published in: Documenta Mathematica
publication date: 2017-11-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/1304.2812
review text: The theorem of this paper is stated as follows. Let \(A\) be a unital \(C^*\)-algebra with an action of a compact quantum group \(H_q\) with co-multiplication \(\Delta: H_q\rightarrow H_q \otimes H_q\), with the coaction \(\delta\) as an injective unital \(\ast\)-homomorphism from \(A\) to \(A \otimes H_q\). Then there are equivalences among: (1) the action of \(H_q\) on \(A\) is free; (2) the action of \(H_q\) on \(A\) satisfies the Peter-Weyl-Galois (PWG) condition; (3) the action of \(H_q\) on \(A\) is strongly monoidal. Also provided by the theorem above is the following characterization. Let \(G\) be a compact Hausdorff group acting continuously on a compact Hausdorff space \(X\). Then the action of \(G\) on \(X\) is free if and only if the canonical map, defined below, is an isomorphism. Recall several definitions concerning the first statement as follows. By definition, the coaction \(\delta\) satisfies both the co-associativity related to \(\Delta\) and the co-unitality (or density) in \(A\otimes H_q\) related to \(A\) and \(H_q\). By definition, the coaction is free if the density in \(A\otimes H_q\) related to only \(A\) holds. Moreover, for a compact quantum group \(H_q\), there is its dense Hopf \(\ast\)-subalgebra \(H_f\) spanned by the matrix coefficients of its irreducible unitary representations. Then the Peter-Weyl subalgebra \(PW_{H_q}(A)\) of \(A\) is defined as the inverse image of \(\delta\) in \(A\otimes H_f\). By definition, the coaction satisfies the PWG condition if the canonical map from \(PW_{H_q}(A)\otimes_B PW_{H_q}(A)\) to \(PW_{H_q}(A) \otimes H_f\) involving \(\delta\) is bijective, where \(B\) is the unital (fixed point) \(C^*\)-subalgebra of \(A\) of coaction invariants \(a\in A\) so that \(\delta(a)= a\otimes 1\). By definition, the coaction \(\delta\) is strongly monoidal if the map extended from the canonical map above by involving co-tensor products with any left \(H_f\)-comodules \(V\) and \(W\) as well as \(V \otimes W\), resp…
reviewed by: Takahiro Sudo
Mathematics Subject Classification ID: 46L55
Mathematics Subject Classification ID: 46L05
Mathematics Subject Classification ID: 37B05
Mathematics Subject Classification ID: 16T05
Mathematics Subject Classification ID: 16T20
Mathematics Subject Classification ID: 81R50
zbMATH DE Number: 6810396
zbMATH Keywords: \(C^\ast\)-algebra
zbMATH Keywords: quantum group
zbMATH Keywords: free action
zbMATH Keywords: Hopf algebra
MaRDI profile type: Publication
arXiv ID: 1304.2812
cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
cites work: Riemann-Roch theorems for differentiable manifolds
cites work: Q3844098
cites work: Local proof of algebraic characterization of free actions
cites work: An explicit formula for a strong connection.
cites work: The Chern-Galois character.
cites work: Coalgebra extensions and algebra coextensions of galois type
cites work: Q4310044
cites work: A construction of finite index \(C^*\)-algebra inclusions from free actions of compact quantum groups
cites work: Q5602064
cites work: Q3320942
cites work: A new characterisation of principal actions
cites work: Strong connections on quantum principal bundles
cites work: Piecewise principal comodule algebras.
cites work: Chern numbers for two families of noncommutative Hopf fibrations
cites work: Equivariant KK-theory and the Novikov conjecture
cites work: Q4328332
cites work: Q4526419
cites work: Symmetries of quantum spaces. Subgroups and quotient spaces of quantum \(SU(2)\) and \(SO(3)\) groups
cites work: Continuous fields of \(C^*\)-algebras coming from group cocycles and actions
cites work: Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules
cites work: Q4663645
cites work: On generalized Hopf Galois extensions.
cites work: Principal homogeneous spaces for arbitrary Hopf algebras
cites work: On actions of compact quantum groups
cites work: Vector Bundles and Projective Modules
cites work: Fibre functors of finite dimensional comodules
cites work: Compact matrix pseudogroups
cites work: Q4251409
DOI: 10.25537/DM.2017V22.825-849
description: scientific article