[Paper Review] Constructing integrable systems of semitoric type

Álvaro Pelayo, San Vũ Ngọc|arXiv (Cornell University)|Mar 19, 2009

Geometric and Algebraic Topology12 references4 citations

TL;DR

This paper presents a general construction method for 4-dimensional semitoric integrable systems by assembling five specific ingredients: a weighted convex polygon, focus-focus singularities with prescribed Taylor series, volume invariants, twisting indices, and local models. It proves that every such system arises via this construction, establishing a complete classification via symplectic invariants and completing a Delzant-type classification for semitoric systems.

ABSTRACT

Let M be a connected, symplectic 4-manifold. A semitoric integrable system on M essentially consists of a pair of independent, real-valued, smooth functions J and H on the manifold M, for which J generates a Hamiltonian circle action under which H is invariant. In this paper we give a general method to construct, starting from a collection of five ingredients, a symplectic 4-manifold equipped a semitoric integrable system. Then we show that every semitoric integrable system on a symplectic 4-manifold is obtained in this fashion. In conjunction with the uniqueness theorem proved recently by the authors (Invent. Math. 2009), this gives a classification of semitoric integrable systems on 4-manifolds, in terms of five invariants. Some of the invariants are geometric, others are analytic and others are combinatorial/group-theoretic.

Motivation & Objective

• To provide a general, systematic method to construct all 4-dimensional semitoric integrable systems from a set of five abstract ingredients.
• To complete the classification of semitoric systems by showing that every such system arises via this construction.
• To establish that the five invariants—polygon, Taylor series, volume, twisting indices, and singularity count—fully determine the system up to isomorphism.
• To unify local geometric, analytic, and combinatorial invariants into a global construction framework.

Proposed method

• The construction begins with a weighted rational convex polygon Δ, representing the momentum map image with cuts and weights.
• Each focus-focus singularity is encoded by a formal Taylor series invariant (S_i)^∞, which determines the local semi-local structure.
• The volume invariants (h_1, ..., h_{m_f}) are assigned to each focus-focus point and preserved under the gluing process.
• Twisting indices k_j are incorporated via symplectic gluing of local models using rotation and translation maps T^{k_j} and τ.
• Local models for elliptic and focus-focus singularities are glued together over overlapping domains using symplectic transition maps to ensure smoothness of the global momentum map F = (J, H).
• The global symplectic manifold M is constructed as a fibered space over the image of the momentum map μ, with J proper and H smooth, ensuring the system is a valid semitoric integrable system.

Experimental results

Research questions

• RQ1 Can every 4-dimensional semitoric integrable system be constructed from a finite set of geometric, analytic, and combinatorial data?
• RQ2 How can the five symplectic invariants—polygon, Taylor series, volume, twisting indices, and singularity count—be used to reconstruct the system?
• RQ3 Is the construction method universal, such that all semitoric systems arise via this procedure?
• RQ4 Does the gluing process preserve the local invariants and ensure global smoothness of the momentum map (J, H)?
• RQ5 Can the classification of semitoric systems be completed by providing a constructive inverse to the invariant map?

Key findings

• Every 4-dimensional semitoric integrable system arises from the proposed construction using five ingredients: a weighted polygon, Taylor series invariants, volume data, twisting indices, and singularity count.
• The constructed system (M, ω, (J, H)) is a valid semitoric integrable system with J proper and H smooth, and all singularities are non-degenerate as required.
• The five invariants of the constructed system exactly match the input ingredients, proving the construction is inverse to the invariant map.
• The global manifold M is connected if and only if the momentum polygon Δ is compact.
• The symplectic structure is preserved under gluing, and the resulting momentum map F = (J, H) is smooth everywhere, including across cuts.
• The twisting indices k_j in the construction precisely recover the global twisting invariants of the system, confirming the invariance under symplectic isomorphism.