Truncated geometry on the circle (Q2114550)

In the operator algebraic approach to noncommutative geometry or topology, a unital C*-algebra \(A\) is viewed as the function algebra of a ``virtual'' compact noncommutative space or so-called a compact quantum space, naturally suggested by the fact that unital commutative C*-algebras are exactly of the form \(C\left( X\right) \equiv C\left( X;\mathbb{C}\right) \) for some compact Hausdorff space \(X\) or so-called a compact classical space. Since such a topological space \(X\) is exactly the pure state space of the C*-algebra \(C\left( X\right) \) equipped with the weak*-topology, the pure state space \(\mathcal{P}\left( A\right) \) of a unital C*-algebra \(A\) together with its compact weak*-topology is an important structure of \(A\) reflecting the elusive corresponding quantum space. From the viewpoint of deformation quantization, people have been interested in theories and examples of a sequence or net of quantum algebras \(A\) approximating a classical algebra \(C\left( X\right) \) in various meaningful senses. One meaningfully interesting approximation is in terms of the pure state space \(\mathcal{P}\left( A\right) \) with its weak*-topology metrised by the Connes distance arising from some spectral triple of \(A\) approaching a compact metric space \(X\) with respect to the Gromov-Hausdorff distance between compact metric spaces. The main result of this paper is to establish that for the finite-dimensional C*-algebras \(C\left( S^{1}\right) ^{\left( n\right) }=P_{n}C^{\ast}\left( \mathbb{Z}\right) P_{n}\) of Toeplitz operators on \(\mathbb{C}^{n}\) truncated from the concrete group C*-algebra \(C^{\ast}\left( \mathbb{Z}\right) \subset\mathcal{B}\left( \ell^{2}\left( \mathbb{Z}\right) \right) \) by the orthogonal projection \(P_{n}\) from \(\ell^{2}\left( \mathbb{Z}\right) \) onto \(\mathbb{C}^{n}=\ell^{2}\left( \left\{ 1,2,..,n\right\} \right) \), the pure state space \(\mathcal{P}\left( C\left( S^{1}\right) ^{\left( n\right) }\right) \) metrised by some concrete Connes distance converges to the state space \(\mathcal{S}\left( C\left( S^{1}\right) \right) =\mathcal{S}\left( C^{\ast}\left( \mathbb{Z}\right) \right) \) metrised by the Monge-Kantorovich metric, as \(n\) goes to \(\infty\), with respect to the Gromov-Hausdorff distance.