Symplectic topology of integrable Hamiltonian systems, I: Arnold-Liouville with singularities

This work is devoted to a systematic study of symplectic convexity for integrable Hamiltonian systems with elliptic and focus-focus singularities. A distinctive feature of these systems is that their base spaces are still smooth manifolds (with boundary and corners), similarly to the toric case, but their associated integral affine structures are singular, with non-trivial monodromy, due to focus singularities. We obtain a series of convexity results, both positive and negati...

We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. For instance, this is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and integrable systems with time-dependent parameters.

We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on a special class called $b$-Poisson/$b$-symplectic manifolds. The semilocal equivalence with such models uses the corresponding action-angle coordinate theorems in these settings: the theorem of Liouville-Mineur-Arnold [A74] for symplectic manifolds and an action-angle theorem for regular Liouville tori in Poisson manifolds [LMV11]. Our models comprise regular ...

We discuss normal forms and symplectic invariants of parabolic orbits and cuspidal tori in integrable Hamiltonian systems with two degrees of freedom. Such singularities appear in many integrable systems in geometry and mathematical physics and can be considered as the simplest example of degenerate singularities. We also suggest some new techniques which apparently can be used for studying symplectic invariants of degenerate singularities of more general type.

This article gives a classification, up to symplectic equivalence, of singular Lagrangian foliations given by a completely integrable system of a 4-dimensional symplectic manifold, in a full neighbourhood of a singular leaf of focus-focus (=nodal) type.

The well known Liouville-Arnold theorem says that if a level surface of integrals of an integrable system is compact and connected, then it is a torus. However, in some important examples of integrable systems the topology of a level surface of integrals is quite complicated. This is due to the fact that in these examples the phase space has points where either the Hamiltonian is singular or the symplectic form is singular or degenerate. In such situations the Liouville-Arnol...

We consider an integrable Hamiltonian system with n-degrees of freedom whose first integrals are invariant under the symplectic action of a compact Lie group G. We prove that the singular Lagrangian foliation associated to this Hamiltonian system is symplectically equivalent, in a G-equivariant way, to the linearized foliation in a neighborhood of a compact singular non-degenerate orbit. We also show that the non-degeneracy condition is not equivalent to the non-resonance con...

In this paper we obtain exact normal forms with functional invariants for local diffeomorphisms, under the action of the symplectomorphism group in the source space. Using these normal forms we obtain exact classification results for the first occurring singularities of Hamiltonian systems with one-sided constraints, a problem posed by R. B. Melrose in his studies of glancing hypersurfaces.

Many interesting physical systems have mathematical descriptions as finite-dimensional or infinite-dimensional Hamiltonian systems. Poincare who started the modern theory of dynamical systems and symplectic geometry developed a particular viewpoint combining geometric and dynamical systems ideas in the study of Hamiltonian systems. After Poincare the field of dynamical systems and the field of symplectic geometry developed separately. Both fields have rich theories and the ti...

Classical mechanical systems are modeled by a symplectic manifold $(M,\omega)$, and their symmetries, encoded in the action of a Lie group $G$ on $M$ by diffeomorphisms that preserves $\omega$. These actions, which are called "symplectic", have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact abelian Lie groups that are, in addi...