A quantization can be seen as a way to construct a differential operator with prescribed principal symbol. The map from the space of symbols to the space of differential operators is moreover required to be a linear bijection.
In general, there is no natural quantization procedure, that is, spaces of symbols and of differential operators are not equivalent, if the action of local diffeomorphisms is taken into account. However, considering manifolds endowed with additional structures, one can seek for quantizations that depend on this additional structure and that are natural if the dependence with respect to the structure is taken into account.
The existence of such a quantization was proved recently in a series of papers in the context of projective geometry.
Here, we show that the construction of the quantization based on Cartan connections can be adapted from projective to pseudo-conformal geometry to yield the natural and conformally invariant quantization for arbitrary symbols, outside some critical situations.