Quantum isometry group of deformation: a counterexample (Q2292680)

The first author of this paper defined and showed the existence under mild assumptions, of the quantum isometry group (a universal compact quantum group) of a spectral triple [Commun. Math. Phys. 285, No. 1, 141--160 (2009; Zbl 1228.81188)]. A question on the quantum isometry group is whether the functor ``QISO'' which assigns to a noncommutative manifold its isometry group ``commutes'' with functor of deformation. An affirmative answer to this question for ``monoidal'' deformation was obtained by \textit{L. De Sadeleer} [Lett. Math. Phys. 107, No. 4, 673--715 (2017; Zbl 1367.58003)]. But since the isometry of the classical Riemannian manifold may drastically change by a slight perturbation of the Riemannian metric, this question may have negative answer in general. In this paper, two examples of flat deformations of finite dimensional spectral triples on the $C^\ast$-algebra of finite groups for which the corresponding quantum isometry groups are not flat deformations (the authors say the simpler example was remarked from a referee) are given. The authors emphasize that such examples can not be produced for classical Riemannian geometry since there exists only one Riemannian metric. Spectral triples, compact quantum groups, quantum isometry groups and deformation via considering families of vector spaces are reviewed in \S2, with special attention for the spectral triple $(\mathbb{C}\Gamma, \ell^2(\Gamma), D_\Gamma)$, where $\Gamma$ is a finitely generated discrete group, which is used in the authors' counter example. Counter examples are given in \S3. The authors' counter example is constructed by using $\Gamma_1=\mathbb{Z}_9\times \mathbb{Z}_3$ and $\Gamma_2=\mathbb{Z}_9\rtimes\mathbb{Z}_3$ (Theorem 3). The other example due to a referee is obtained taking two Dirac operators (rank 1 projections on $\mathbb{C}^2$) $D_0,D_1$ and take a homotopy $D_t$ connecting $D_0$ and $D_1$.