Deformation quantization of the simplest Poisson orbifold (Q2111044)

The article deals with the deformation quantisation of the reflection Poisson orbifold \(\mathbb R^2 \big\slash \mathbb Z^2\), particularly showing that there are 2 new types of deformations which are not encompassed by Kontsevich formality theorem. In brief, the commutative Poisson algebra \(A_0\) of smooth functions on the real symplectic plane has a canonical deformation quantisation, given by the Moyal-Weyl \(\ast\)-product, essentially equivalent to considering the Weyl algebra \(A_{\hbar}\) of the symplectic vector space at hand. If (discrete) symmetries of the plane are involved, then it makes sense in certain situations to consider either the subring of invariant functions, or the semidirect product of \(A_0\) acted on by the symmetry group: both of these new `starting' algebras then have deformations which go beyond the Moyal-Weyl construction. (One should note that \(A_{\hbar}\) has no nontrivial deformations as an associative algebra.) In \S~1 the authors introduce this idea abstractly, while in \S~2 they recall how a similar line of reasoning dates back to work of Wigner about the Heisenberg picture of motion in quantum mechanics. This leads to the 2 new versions of the algebra \(A_0\) above, namely the subring \(A_0^e \subseteq A_0\) of even/\(\mathbb Z_2\)-invariant functions, and the noncommutative twisted algebra \(A_{0,0} = A_0 \rtimes \mathbb Z_2\). The bulk of the paper is \S~3, which particularly focuses on deformations of \(A_{0,0}\). At least part of this relies on work of the first 2 authors about `multiplicative resolutions', cf. \S~3.1. Finally, 2 appendices are about homological perturbation theory (HPT), which features in the construction of the deformed product of Eq.~3.1; App.~A is mostly about generalities on HPT, while App.~B is used to give explicit formulæ: cf. Eq.~3.12 and below, and note that previous work of the first 2 authors gave a formula for the first term of the product expansion.