Quantum Koszul formula on quantum spacetime

Noncommutative or quantum Riemannian geometry has been proposed as an effective theory for aspects of quantum gravity. Here the metric is an invertible bimodule map Ω¹⊗_AΩ¹ → A where A is a possibly noncommutative or 'quantum' spacetime coordinate algebra and (Ω¹ , d) is a specified bimodule of 1-forms or 'differential calculus' over it. In this paper we explore the proposal of a 'quantum Koszul formula' in Majid [12] with initial data a degree - 2 bilinear map ⊥ on the full exterior algebra Ω obeying the 4-term relations