Fubini-study metrics and Levi-Civita connections on quantum projective spaces (Q2054263)

In the study of noncommutative spaces, it is desirable to quantize important notions of commutative spaces. In classical Riemannian geometry, the Riemannian metric and the Levi-Civita connection are fundamental notions. The idea to quantize the Riemannian metric and the Levi-Civita connection to noncommutative algebra is used as algebraic approach, which is explained for instance in [\textit{E.J. Beggs} and \textit{S. Majid}, Quantum Riemannian geometry. Cham: Springer (2020; Zbl 1436.53001)]. In this paper under review, the author introduces analogues of the Fubini-Study metrics and the corresponding Levi-Civita connections on the quantum projective spaces. Let \(\mathcal{B}\) be the algebra of a generic quantum projective space (see Section 4 for the definition) and \(\Omega\) the degree-one part of a differential calculus over \(\mathcal{B}\). Then a quantum metric can be defined as an element \(g \in \Omega \otimes_{\mathcal{B}} \Omega\) satisfying an appropriate condition. The first main result in this paper is a quantization of the Fubini-Study metric. Theorem (see Theorem 6.11). Any quantum projective space \(\mathcal{B}\) admits a quantum metric \(g \in \Omega \otimes_{\mathcal{B}} \Omega\). Moreover, in the classical limit it reduces to the Fubini-Study metric. Let \(\nabla : \Omega \to \Omega \otimes_{\mathcal{B}} \Omega\) be a connection on \(\Omega\) (the notion of the connection on \(\Omega\) and its tortion can be defined in the standard algebraic sense). To formulate an analogue of the compatibility of \(\nabla\) with \(g\), there are two possibilities: 1) (weak sense) use ``cotortion'', 2) (strong sense) require \(\nabla\) to be a bimodule connection. In this paper, the author defines a quantization of the Levi-Civita connection which is compatible with the quantum Fubini-Study metric \(g\) in the weak and strong sense. Theorem (see Theorem 7.7). Any quantum projective space \(\mathcal{B}\) admits a connection \(\nabla : \Omega \to \Omega \otimes_{\mathcal{B}} \Omega\) which is torsion free and cotorsion free. Moreover, in the classical limit it reduces to the Levi-Civita connection for the Fubini-Study metric on the cotangent bundle. Theorem (see Theorem 8.4). The connection \(\nabla : \Omega \to \Omega \otimes_{\mathcal{B}} \Omega\) is a bimodule connection and is compatible with the quantum metric, in the sense that \(\nabla g = 0\).