Quantum isometry group of a compact metric space

We give a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove the existence of the universal object in the category of compact quantum groups acting isometrically on a given compact metric space.

[1]  Adam G. Skalski,et al.  Quantum Isometry Groups of 0- Dimensional Manifolds , 2008, 0807.4288.

[2]  Debashish Goswami,et al.  Quantum Group of Orientation preserving Riemannian Isometries , 2008, 0806.3687.

[3]  J. Bichon Algebraic quantum permutation groups , 2007, 0710.1521.

[4]  Debashish Goswami,et al.  Quantum Isometry Groups: Examples and Computations , 2007, 0707.2648.

[5]  Debashish Goswami Quantum Group of Isometries in Classical and Noncommutative Geometry , 2007, 0704.0041.

[6]  P. Sołtan Quantum families of maps and quantum semigroups on finite quantum spaces , 2006, math/0610922.

[7]  T. Banica Quantum automorphism groups of homogeneous graphs , 2003, math/0311402.

[8]  T. Banica Quantum automorphism groups of small metric spaces , 2003, math/0304025.

[9]  J. Kustermans,et al.  Locally compact quantum groups in the von Neumann algebraic setting , 2000, math/0005219.

[10]  Julien Bichon,et al.  Quantum automorphism groups of finite graphs , 1999, math/9902029.

[11]  Shuzhou Wang Structure and Isomorphism Classification of Compact Quantum Groups A_u(Q) and B_u(Q) , 1998, math/9807095.

[12]  Shuzhou Wang,et al.  Quantum Symmetry Groups of Finite Spaces , 1998, math/9807091.

[13]  Ann Maes,et al.  Notes on Compact Quantum Groups , 1998, math/9803122.

[14]  Shuzhou Wang,et al.  Free products of compact quantum groups , 1995 .

[15]  S. Woronowicz,et al.  Compact matrix pseudogroups , 1987 .

[16]  G. Pedersen C-Algebras and Their Automorphism Groups , 1979 .

[17]  E. Davies On the Borel structure ofC*-algebras , 1968 .

[18]  P. Podlés Symmetries of quantum spaces. Subgroups and quotient . . . , 2008 .

[19]  S. Woronowicz Compact quantum groups , 2000 .

[20]  Alain Connes,et al.  Noncommutative geometry , 1994 .