Constructing integrable systems of semitoric type (Q536617)

The authors study a generalization of the Atiyah, Guillemin-Sternberg, Delzant moment polytope theorem to the class of semitoric integrable systems. Let \((M,\omega)\) be a connected 4-dimensional symplectic manifold. A semitoric integrable system on \((M,\omega)\) consists of a pair of independent, real-valued, smooth Poisson commuting functions \(J\) and \(H\) on \(M\), for which \(J\) is a proper momentum map of a Hamiltonian circle action. It is also assumed that the associated map \(F=(J,H)\) has only non-degenerate singularities in the sense of Williamson, without real-hyperbolic blocks, as well as that, whenever \(m\) is a focus-focus critical point for \(F\), then \(m\) is the only critical point of the level set \(J^{-1}(J(m))\). In [\textit{A. Pelayo} and \textit{S. Vũ Ngoc}, ``Semitoric integrable systems on symplectic 4-manifolds'', Invent. Math. 177, No.~3, 571--597 (2009; Zbl 1215.53071)], starting from a given semitoric integrable system, the authors constructed five symplectic invariants and proved that these invariants determine the integrable systems up to isomorphisms. The authors found that some restrictions must be imposed on these symplectic invariants, leading to a collection of five abstract ingredients, denoted as semitoric list of ingredients. The main contribution of the present paper is the construction of a semitoric integrable system \((M,\omega,(J,H))\) starting from a semitoric list of ingredients, such that the five symplectic invariants of \((M,\omega,(J,H))\) are equal to it (Theorem 4.6). The above result, together with the uniqueness theorem proved in the previous paper, gives a classification of semitoric integrable systems on 4-manifolds (Theorem 4.7).