Let (M, ω) be a symplectic 4-manifold. A semitoric integrable system on (M, ω) is a pair of smooth functions J, H ∈ C ∞ (M, R) for which J generates a Hamiltonian S 1 -action and the Poisson brackets {J, H } vanish. We shall introduce new global symplectic invariants for these systems; some of these invariants encode topological or geometric aspects, while others encode analytical information about the singularities and how they stand with respect to the system. Our goal is to prove that a semitoric system is completely determined by the invariants we introduce.

International audienceLet 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

We study the Hamiltonian dynamics and spectral theory of spin-oscillators. Because of their rich structure, spin-oscillators display fairly general properties of integrable systems with two degrees of freedom. Spin-oscillators have infinitely many transversally elliptic singularities, exactly one elliptic-elliptic singularity and one focus-focus singularity. The most interesting dynamical features of integrable systems, and in particular of spin-oscillators, are encoded in their singularities. In the first part of the paper we study the symplectic dynamics around the focus-focus singularity. In the second part of the paper we quantize the coupled spin-oscillators systems and study their spectral theory. The paper combines techniques from semiclassical analysis with differential geometric methods.