Extending compact Hamiltonian $\mathbb{S}^1$-spaces to integrable systems with mild degeneracies in dimension four

TL;DR

This paper proves that any four-dimensional Hamiltonian $ ext{S}^1$-space can be extended to a hypersemitoric integrable system with mild degeneracies, enriching the classification of symplectic manifolds with integrable structures.

Contribution

It introduces hypersemitoric systems as a natural extension of Hamiltonian $ ext{S}^1$-spaces, allowing for controlled degenerate singularities, and proves their universal extendability.

Findings

Any Hamiltonian $ ext{S}^1$-space can be extended to a hypersemitoric system.

Existence of $ ext{S}^1$-spaces requiring degenerate singular points in all extensions.

Hypersemitoric systems are the 'nicest' class with tame degeneracies.

Abstract

Given any compact connected four dimensional symplectic manifold $(M,\omega)$ and smooth function $J\colon M\to \mathbb{R}$ which generates an effective $\mathbb{S}^1$-action, we show that there exists a smooth function $H\colon M\to\mathbb{R}$ such that $(M,\omega,(J,H))$ is a completely (Liouville) integrable system of a type we call hypersemitoric -- these are systems for which all singularities are non-degenerate, except possibly for a finite number of families of degenerate points of a relatively tame type called parabolic (also sometimes called cuspidal). Such an $(M,\omega,J)$ is often referred to as a Hamiltonian $\mathbb{S}^1$-space (classified by Karshon in 1999) and we call any integrable system of the form $(M,\omega,(J,H))$ an extension of $(M,\omega,J)$. Using this terminology, our main result is that any Hamiltonian $\mathbb{S}^1$-space can be extended to a hypersemitoric integrable system. We also show that there exist Hamiltonian $\mathbb{S}^1$-spaces for which any extension must include at least one degenerate singular point. Parabolic points are among the most common and natural degenerate points, and thus hypersemitoric systems are in this sense the `nicest' class of systems to which all Hamiltonian $\mathbb{S}^1$-spaces can be extended. We also prove several foundational results about these systems, such as the non-existence of loops of hyperbolic-regular points and some properties about their fibers.