A convexity theorem for Poisson actions of compact Lie groups (Q4338375)

When a connected compact symplectic manifold \(X\) admits a Hamiltonian action of a connection compact Lie group \(K\), the image of the moment map from \(X\) to the dual of the Lie algebra of \(K\) meets any positive Weyl chamber in a convex polytope [\textit{V. Guillemin} and \textit{S. Sternberg}, Invent. Math. 67, 491--513 (1982; Zbl 0503.58017) and ibid. 77, 533--546 (1984; Zbl 0561.58015), and \textit{F. Kirwan}, Invent. Math. 77, 547--552 (1984; Zbl 0561.58016)]. The authors generalise this result to Poisson actions of connected compact semisimple groups, as follows. Let \(X\) be a compact connected symplectic manifold, with a Poisson action of a compact connected semisimple Lie group \(K\) and a moment map \(J\) in the sense of \textit{J.-H. Lu} [Math. Sci. Res. Inst. Publ. 20, 209--226 (1991; Zbl 0735.58004)] from \(X\) to the dual group \(K^d\). If \(A_+\) is the image under the exponential map of a suitable positive Weyl chamber, then \(\log (J(X) \cap A_+)\) is a convex polytope. The method of proof is to reduce to the action of a maximal torus \(T\) and show that the action of \(T\) is in fact Hamiltonian.