On the deformation quantization of symplectic orbispaces. (Q1417344): Difference between revisions

Stratified symplectic spaces naturally arise from a generalization of the Marsden-Wein\-stein reduction to the case where the group action on the original symplectic manifold is not free [cf. \textit{R. Sjamaar} and \textit{E. Lerman}, Ann. Math. (2) 134, No. 2, 375--422 (1991; Zbl 0759.58019)]. Thus it has become an interesting question, which is motivated physically, whether and how such spaces can be quantized. The present paper addresses this question for a special kind of stratified symplectic spaces, namely symplectic orbispaces, within the framework of deformation quantization. Here, an orbispace is a topological Hausdorff space which is equipped with an atlas of compatible orbispace charts, where an orbispace chart is a triple \((\widetilde{U}, G, \rho)\) such that \(\widetilde{U}\) is a smooth manifold with a smooth action of a Lie group \(G\) and \(\rho : \widetilde{U} \to U \subseteq X\) is a continuous \(G\)-invariant map inducing a homeomorphism \(\widetilde{U}/G \to U\) onto an open subset \(U\) of \(X\). Orbifolds are a special case of orbispaces which arise in case one specializes to a finite Lie group \(G\). Then a symplectic orbispace is an orbispace with a \(G\)-invariant symplectic form \(\omega_{(\widetilde{U}, G, \rho)}\) on each orbichart such that these symplectic forms are compatible with changes of orbicharts, i.e.\ for any change of orbicharts \(\varphi_{\widetilde{U}\widetilde{U'}}: \widetilde{U}\to \widetilde{U'}\) these symplectic forms satisfy \(\varphi_{\widetilde{U}\widetilde{U'}}^* \omega_{(\widetilde{U'}, G',\rho')} = \omega_{(\widetilde{U}, G, \rho)}\). Similarly, the author transfers other standard concepts of differential geometry like connections, Riemannian metrics etc.\ to the framework of orbispaces. In order to show the existence of a star product resp.\ deformation quantization on a symplectic orbispace the author considers Fedosov's construction on a symplectic manifold [cf.\ \textit{B.V.\ Fedosov}, J. Differ. Geom. 40, No. 2, 213--238 (1994; Zbl 0812.53034)] which can be carried out on every \(\widetilde{U}\) to define a \(G\)-invariant star product \(\star^{}_{\widetilde{U}}\) w.r.t.\ the Poisson bracket induced by \(\omega_{(\widetilde{U}, G, \rho)}\). Using the fact that a smooth function \(f\) on \(X\) can be locally described by smooth \(G\)-invariant functions \(f^{}_{\widetilde{U}}\) on every \(\widetilde{U}\) with the transformation property \(\varphi_{\widetilde{U}\widetilde{U'}}^* f^{}_{\widetilde{U'}} = f^{}_{\widetilde{U}}\) w.r.t.\ changes of orbicharts and the fact that the changes of orbicharts induce isomorphisms between the locally defined deformation quantizations, i.e. \[ \varphi_{\widetilde{U}\widetilde{U'}}^* (f^{}_{\widetilde{U'}} \star^{}_{\widetilde{U'}} g^{}_{\widetilde{U'}}) = (\varphi_{\widetilde{U}\widetilde{U'}}^* f^{}_{\widetilde{U'}}) \star^{}_{\widetilde{U}} (\varphi_{\widetilde{U}\widetilde{U'}}^* g^{}_{\widetilde{U'}}) \quad \text{{for all }} f,g \in C^\infty(X), \] the author shows that these local star products can be used to obtain a globally defined associative product \(\star\) on the space of formal series with values in \(C^\infty(X)\), which turns out to be a deformation quantization on the symplectic orbispace.