Approximation of quantum tori by finite quantum tori for the quantum Gromov--Hausdorff distance (Q2484454)

We establish that, given a compact Abelian group \(G\) endowed with a continuous length function \(\ell\) and a sequence \((H_n)_{n\in\mathbb N}\) of closed subgroups of \(G\) converging to \(G\) for the Hausdorff distance induced by \(\ell\), then \(C^* (\widehat{G},\sigma)\) is the quantum Gromov--Hausdorff limit of any sequence \(C^* (\widehat{H}_n, \sigma_n)_{n\in\mathbb N}\) for the natural quantum metric structures and when the lifts of \(\sigma_n\) to \(\widehat {G}\) converge pointwise to \(\sigma\). This allows us, in particular, to approximate the quantum tori by finite-dimensional \(C^*\)-algebras for the quantum Gromov--Hausdorff distance. Moreover, we also establish that, if the length function \(\ell\) is allowed to vary, we can collapse quantum metric spaces to various quotient quantum metric spaces.