Metric properties of the fuzzy sphere (Q1935697)

The authors study some spectral distances indexed by \(N\in\mathbb{N}\) on the fuzzy sphere as a quantum metric space and show the convergence of such distances between Bloch coherent states to the classical distance between the corresponding points on \(\mathbb{S}^{2}\). From representation theory, it is known that \(\mathcal{A}\left( \mathbb{S} ^{2}\right) \cong\bigoplus_{l=0}^{\infty}V_{l}\) for the *-algebra of polynomials on \(\mathbb{S}^{2}\) generated by \(x_{1},x_{2},x_{3}\) subject to \(x_{1} ^{2}+x_{2}^{2}+x_{3}^{2}=1\), and \(\mathcal{A}_{N}:=M_{N+1}\left( \mathbb{C}\right) \cong V_{j}\otimes V_{j}^{\ast}\cong\bigoplus_{l=0}^{2j}V_{l}\) which as a truncation of \(\mathcal{A}\left( \mathbb{S}^{2}\right) \) is called a fuzzy sphere and carries a canonical adjoint \(SU\left( 2\right) \)-action \(\left( g,a\right) \mapsto\pi_{j}\left( g\right) a\pi_{j}\left( g\right) ^{\ast}\), where \(N:=2j\) with \(j\) a nonnegative half-integer, and \(V_{j}\) denotes the \(\left( N+1\right) \)-dimensional representation space for the unique spin \(j\) irreducible representation \(\pi_{j}:\mathcal{U}\left( \mathfrak{su}\left( 2\right) \right) \rightarrow M_{N+1}\left( \mathbb{C}\right) \). Using the abstract Dirac element \(\mathfrak{D}=1\otimes1+2\sum_{k}J_{k}\otimes J_{k}\) of \(\mathcal{U}\left( \mathfrak{su}\left( 2\right) \right) \otimes\mathcal{U}\left( \mathfrak{su}\left( 2\right) \right) \) with \(J_{k}\) the standard real generators of \(\mathcal{U}\left( \mathfrak{su} \left( 2\right) \right) \), the authors construct a non-real irreducible spectral triple \(\left( \mathcal{A}_{N},\mathcal{H}_{N},D_{N}\right) \) with \(\mathcal{H}_{N}=V_{j}\otimes\mathbb{C}^{2}\) and a real spectral triple \(\left( \mathcal{A}_{N},\widetilde{\mathcal{H}}_{N},\widetilde{\mathcal{D} }_{N},\widetilde{\mathcal{J}}_{N}\right) \) with \(\widetilde{\mathcal{H}} _{N}=\mathcal{A}_{N}\otimes\mathbb{C}^{2}\), both of which are non-gradable and are equivariant with respect to the canonical \(SU\left( 2\right) \)-actions. It is shown that these two spectral triples induce the same spectral distance \(d_{N}\) on the state space \(\mathcal{S}\left( \mathcal{A}_{N}\right) \) of \(\mathcal{A}_{N}\). The authors recall the known \(SU\left( 2\right) \)-equivariant map sending points \(\left( \phi,\theta\right) \) of \(\mathbb{S}^{2}\) to vectors \(\left| \phi,\theta\right) _{N}\in V_{j}\) that generate the \(SU\left( 2\right) \)-coherent states \(\psi_{\left( \phi,\theta\right) }^{N}\), called the Bloch coherent states, defined by \(\psi_{\left( \phi,\theta\right) } ^{N}\left( a\right) :=\left( \phi,\theta\right| a\left| \phi ,\theta\right) _{N}\) for \(a\in\mathcal{A}_{N}\), which provides a natural translation of the classical points on \(\mathbb{S}^{2}\) to quantum points on the fuzzy sphere as pure states. They then show that the spectral distance \(d_{N}\left( \psi_{\left( \phi,\theta\right) }^{N},\psi_{\left( \phi^{\prime},\theta^{\prime}\right) }^{N}\right) \) converges to the geodesic distance \(d_{geo}\left( \left( \phi,\theta\right) ,\left( \phi^{\prime},\theta^{\prime}\right) \right) \) as \(N\rightarrow\infty\) for all \(\left( \phi,\theta\right) ,\left( \phi^{\prime},\theta^{\prime }\right) \in\mathbb{S}^{2}\).