Spectral metric spaces for Gibbs measures (Q2437045)

A noncommutative metric space (according to \textit{A. Connes} [Noncommutative geometry. Transl. from the French by Sterling Berberian. San Diego, CA: Academic Press (1994; Zbl 0818.46076)] is a spectral triple \((A,H,D)\) consisting of a \(C^*\)-algebra \(A\), which acts faithfully on a Hilbert space \(H\), and an essentially selfadjoint operator \(D\) on \(H\) with compact resolvent such that \[ \{a\in A: [a,D] \text{ is bounded in } H\} \] is dense in \(A\). A.\,Connes showed that this structure induces a pseudo-metric in the state space \(S(A)\) of \(A\), analogous to how the Monge-Kantorovich metric defined on the space of probability measures induces a metric on the underlying compact Riemannian manifold. The present paper deals with the application of this theory of noncommutative metric spaces to the geometry of fractal sets. This was one of Connes's main examples in his book [loc.\,cit.]. The study of fractal geometry using this machinery has been pursued by several authors in the past two decades. In this paper, the authors generalize the notion of Haar orthonormal basis (Theorem 3.5) and obtain new relevant examples for which the pseudo-metric is a metric inducing the \(w^*\)-topology of \(S(A)\) (Theorems 4.1 and 4.2), which is one of the main problems in this theory.