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.
From: Joseph Palmer [view email]
[v1]
Sun, 2 May 2021 18:09:27 UTC (510 KB)
[v2]
Tue, 14 Jun 2022 12:29:55 UTC (2,907 KB)
[v3]
Tue, 16 Jun 2026 21:53:55 UTC (287 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。