Symmetry of a symplectic toric manifold (Q617040)

The action of a torus group \(T\) on a symplectic toric manifold \((M,\omega)\) often extends to an effective action of a (non-abelian) compact Lie group \(G\). One can consider \(T\) and \(G\) as compact Lie subgroups of the symplectomorphism group Symp\((M,\omega)\) of \((M,\omega)\). On the other hand, \((M,\omega)\) is determined by the associated moment polytope \(P\) by the result of \textit{T. Delzant} [Bull. Soc. Math. Fr. 116, No.~3, 315--339 (1988; Zbl 0676.58029)]. In this paper, the author introduces a root system \(R(P)\) associated to the moment polytope \(P\) and a homomorphism \(\mathcal{D}:N_{G}(T) \to\text{Aut}(P)\), where \(N_{G}(T)\) denotes the normalizer of \(T\) in \(G\) and Aut\((P)\) denotes an automorphism group of \(P\). It turns out that the root system \(R(P)\) gives information on the identity component \(G^{0}\) of \(G\) and the homomorphism \(\mathcal{D}\) induces an injective homomorphism \(G/G^{0} \cong N_{G}(T)/N_{G^{0}}(T) \to\text{Aut}(P)/\mathcal{D}(N_{G^{0}}(T)),\) such that \(\mathcal{D}\) detects the connected components of \(G\). The main result of the paper is the following theorem: Let \((M,\omega)\) be a symplectic toric manifold with a Hamiltonian action of a torus \(T\) of half the dimension of the dimension of \(M\) and let \(P\) be the associated moment polytope. Then the following hold: {\parindent6.5mm \begin{itemize}\item[(1)] any irreducible subsystem of \(R(P)\) is of type \(A\); \item[(2)] if \(G\) is a compact Lie subgroup of Symp\((M,\omega)\) containing the torus \(T\), then the root system \(\Delta(G)\) of \(G\) is a subsystem of \(R(P)\), such that any irreducible factor of \(\Delta(G)\) is of type \(A\) by \((1)\) above; \item[(3)] let \(G\) be as in \((2)\) above. If \(\Delta(G)=R(P)\) and the homomorphism \(\mathcal{D}\) is surjective, then \(G\) is maximal among compact Lie subgroups of Symp\((M,\omega)\); \item[(4)] there exists a compact Lie subgroup \(G_{\max}\) of Symp\((M,\omega)\) containing the torus \(T\) such that the assumption in \((3)\) above is satisfied. \end{itemize}} As noted by the author in the proof, a part of the theorem, concerning the identity component of the compact Lie subgroup \(G\) or \(G_{\max}\), has been indepentendly obtained by \textit{D. McDuff} and \textit{S. Tolman} [Int. Math. Res. Not. 2010, No.~8, 1506--1574 (2010; Zbl 1202.52010)].