  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.
