The centralizer of invariant functions and division properties of the moment map (Q1362386)

Let \(\Phi: M\to {\mathfrak g}^*\) be a moment map associated to a Hamiltonian action of a compact Lie group \(G\) with the Lie algebra \({\mathfrak g}\) on a symplectic manifold \((M,\omega)\). Let \(C^\infty (M)^G\) \((C^\infty (M)^{G_0}_{\text{loc}})\) denote the \(G\)-invariant \((G_0\)-invariant where \(G_0\) is the identity component) smooth functions on \(M\). Let \(C^\infty (M)^\Phi\) \((C^\infty (M)^\Phi_{\text{loc}})\) denote the smooth functions on \(M\) that are (locally) constant on the level sets of the moment map. Let \(\Phi^* C^\infty ({\mathfrak g}^*)\) denote the collective functions, i.e., pullbacks of smooth functions on \({\mathfrak g}^*\). Theorem: The centralizers of the Poisson algebras \(\Phi^*C^\infty ({\mathfrak g}^*) \subset C^\infty (M)^\Phi \subset C^\infty (M)^\Phi_{\text{loc}}\) (subalgebras of \(C^\infty (M))\) are all equal to \(C^\infty (M)^{G_0}\), and the centralizers of the algebras \(C^\infty (M)^G \subset C^\infty (M)^{G_0}\) are both equal to \(C^\infty (M)^\Phi_{\text{loc}}\). Let \(\Psi: M\to N\) be a smooth map between smooth manifolds. A smooth function \(f\) on \(M\) is called a formal pullback (with respect to \(\Psi)\) if for every point \(y\in \Psi(M)\) there exists a function \(\psi\in C^\infty (N)\) such that all derivatives of \(f-\Psi^* \psi\) are vanishing at the points lying in \(\Psi^{-1}(y)\). We say that \(\Psi\) has the division property if any smooth function on \(M\) which is locally constant on the level sets of \(\Psi\) belongs to \(\Psi^* C^\infty (N)\). Theorem: If \(M\) is connected and the moment map \(\Phi\) is proper, then every formal pullback (with respect to \(\Phi)\) is a collective function, in particular a proper moment map for a Hamiltonian action of a torus on a connected manifold has the division property. The paper includes examples concerning the standard actions of the groups \(U(2)\), \(CU(2)\), \(SU(2)\), and many important comments on the results (which were only very briefly outlined here).