Explicit formula for the natural and projectively equivariant quantization

In [Prog Theor Phys Suppl 49(3):173–196, 1999], Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [math.DG/0208171, Submitted], Bordemann proved this existence using the framework of Thomas–Whitehead connections. In [Lett Math Phys 72(3):183–196, 2005], we gave a new proof of the same theorem thanks to the Cartan connections. After these works, there was no explicit formula for the quantization. In this paper, we give this formula using the formula in terms of Cartan connections given in [Lett Math Phys 72(3):183–196, 2005]. This explicit formula constitutes the generalization to any order of the formulae at second and third orders soon published by Bouarroudj in [Lett Math Phys 51(4):265–274, 2000] and [C R Acad Sci Paris Sér I Math 333(4):343–346, 2001].