Quantum Isometry group of dual of finitely generated discrete groups and quantum groups

Abstract

We study quantum isometry groups, denoted by $\mathbb{Q}(Γ, S)$, of spectral triples on $C^*_r(Γ)$ for a finitely generated discrete group coming from the word-length metric with respect to a symmetric generating set $S$. We first prove a few general results about $\mathbb{Q}(Γ, S)$ including : \begin{itemize} \item For a group $Γ$ with polynomial growth property, the dual of $\mathbb{Q}(Γ, S)$ has polynomial growth property provided the action of $\mathbb{Q}(Γ,S)$ on $C^*_r(Γ)$ has full spectrum, \item $\mathbb{Q}(Γ, S) \cong QISO(\hatΓ, d)$ for any abelian $Γ$, where $d$ is a suitable metric on the dual compact abelian group $\hatΓ$. \end{itemize} We then carry out explicit computations of $\mathbb{Q}(Γ,S)$ for several classes of examples including free and direct product of cyclic groups, Baumslag-Solitar group, Coxeter groups etc. In particular, we have computed quantum isometry groups of all finitely generated abelian groups which do not have factors of the form $\mathbb{Z}_2^k$ or $\mathbb{Z}_4^l$ for some $k,l$ in the direct product decomposition into cyclic subgroups.