Towards Hypersemitoric Systems

TL;DR

This survey introduces hypersemitoric systems, a new class of integrable systems extending semitoric systems, highlighting their geometric properties, examples, and connections to physics and mathematics.

Contribution

It provides the first comprehensive overview of hypersemitoric systems, detailing their definitions, examples, and relation to existing integrable systems.

Findings

Hypersemitoric systems generalize semitoric systems with subcritical Hamiltonian-Hopf bifurcations.

Examples include spherical pendulum, Euler and Lagrange tops, coupled-angular momenta.

The theory of hypersemitoric systems is still developing, with connections to symplectic geometry and physics.

Abstract

This survey gives a short and comprehensive introduction to a class of finite-dimensional integrable systems known as hypersemitoric systems, recently introduced by Hohloch and Palmer in connection with the solution of the problem how to extend Hamiltonian circle actions on symplectic 4-manifolds to integrable systems with `nice' singularities. The quadratic spherical pendulum, the Euler and Lagrange tops (for generic values of the Casimirs), coupled-angular momenta, and the coupled spin oscillator system are all examples of hypersemitoric systems. Hypersemitoric systems are a natural generalization of so-called semitoric systems (introduced by Vu Ngoc) which in turn generalize toric systems. Speaking in terms of bifurcations, semitoric systems are `toric systems with/after supercritical Hamiltonian-Hopf bifurcations'. Hypersemitoric systems are `semitoric systems with, among others, subcritical Hamiltonian-Hopf bifurcations'. Whereas the symplectic geometry and spectral theory of toric and semitoric sytems is by now very well developed, the theory of hypersemitoric systems is still forming its shape. This short survey introduces the reader to this developing theory by presenting the necessary notions and results as well as its connections to other areas of mathematics and mathematical physics.