On the centralizer of invariant functions on a Hamiltonian G-space (Q582649)

Let J: \(M\to {\mathfrak g}^*\) be the moment map of the Hamiltonian action of the Lie group G on the symplectic manifold (M,\(\omega)\). A function f on M is said to be collective if it is a pullback by the moment map of a smooth function \(\Phi\) on \({\mathfrak g}^*\), i.e. \(f=J^*\circ \Phi\). The functions of this type form a Lie subalgebra of the Lie algebra \(C^{\infty}(M)\) (under Poisson bracket \(\{\).\(\}\) induced by the symplectic form \(\omega)\). Another subalgebra of \(C^{\infty}(M)\) is the set of G-invariant functions \(C^{\infty}(M)^ G\) on M. The two algebras are related as follows: First, it is relatively easy to see that the centralizer of the collective functions in \(C^{\infty}(M)\) consists of G-invariant functions. Second, and this is the main result of the paper under review, the converse is also true, namely, the centralizer of the invariant functions is the set of collective functions. The presented proof relies on the assumption that the image of the moment map misses the walls of Weyl chambers in \({\mathfrak g}^*\), as an example shows that if J(M) intersects the walls the second relation may fail to exist.