The reduced spaces of a symplectic Lie group action (Q2431739)

The authors prove the following result: Let \((M,\omega)\) be a connected paracompact symplectic manifold and \(G\) a Lie group acting freely and properly on it by symplectic diffeomorphisms. Let \(K:M\rightarrow{\mathfrak{g}^{*}/\widetilde{\mathcal{H}}}\) be a cylinder valued momentum map for this action. Then \(\mathfrak{g}^{*}/\widetilde{\mathcal{H}}\) carries a natural Poisson structure and there exists a smooth \(G\)-action on it with respect to which \(K\) is equivariant and Poisson. Moreover, (i) the Marsden-Weinstein reduced space: \(M^{[\mu]}:=K^{-1}([\mu])/G_{[\mu]}\), \([\mu]\in{\mathfrak{g}^{*}/\widetilde{\mathcal{H}}}\) has a natural Poisson structure inherited from the symplectic structure \(\omega\), that is in general degenerate; (ii) the optimal reduced spaces can be naturally identified with the symplectic leaves of \(M^{[\mu]}\); (iii) the reduced spaces obtained by foliation reduction equal the orbit spaces \(M_{[\mu]}:=K^{-1}([\mu])/N_{[\mu]}\), where \(N\) is a normal connected Lie subgroup of \(G\) whose Lie algebra is the annihilator \(\mathfrak{n}:=(\text{Lie} (\widetilde{\mathcal{H}}))^{o}\subset{\mathfrak{g}}\) of \(\text{Lie}(\widetilde{\mathcal{H}})\subset{\mathfrak{g}^{*}}\) in \(\mathfrak{g}\); (iv) the quotient group \(H_{[\mu]}:=G_{[\mu]}/N_{[\mu]}\) acts canonically on \(M_{[\mu]}\) and the quotient Poisson manifold \(M_{[\mu]}/H_{[\mu]}\) is Poisson diffeomorphic to \(M^{[\mu]}\). Some examples are also nicely pointed out.