“…This work requires us to first prove that the group of isometries of a quantum compact metric space is compact. For the Riemannian manifold case, noncommutative tori and other examples,
was studied by Park in [
31, 32], for spectral triples over twisted reduced group
‐algebras associated to a length function as defined in [
9] by Long–Wu in [
30], for Goffeng–Mesland [
15] spectral triples on Cuntz algebras by Conti‐Rossi in [
11], and for the Christensen–Ivan [6] spectral triples of AF‐algebras by Bassi–Conti in [2]. Conti–Farsi consider both
and
for Kellendonk–Savinien spectral triples in [
10].…”