[论文解读] Extending compact Hamiltonian $S^1$-spaces to integrable systems with mild degeneracies in dimension four

Sonja Hohloch, Joseph Palmer|arXiv (Cornell University)|May 2, 2021

Geometric and Algebraic Topology参考文献 36被引用 6

一句话总结

本文证明了每个紧致四维哈密顿 $S^1$-空间均可通过添加第二个守恒量 $H$ 扩展为一个完全可积系统——称为双半正则系统——使得所有奇点均为非退化奇点，仅存在有限个抛物型（尖点型）退化。作者证明了抛物点是此类扩展中唯一必需的退化类型，因此双半正则系统是扩展所有此类 $S^1$-空间的最小且最自然的类。

ABSTRACT

We show that all compact four-dimensional Hamiltonian $S^1$-spaces can be extended to a completely integrable system on the same manifold such that all singularities are non-degenerate, except possibly for a finite number of degenerate orbits of parabolic (also called cuspidal) type -- we call such systems hypersemitoric. More precisely, given any compact four dimensional Hamiltonian $S^1$-space $(M,\omega,J)$ we show that there exists a smooth $H\colon M o\mathbb{R}$ such that $(M,\omega,(J,H))$ is a completely integrable system of hypersemitoric type. Hypersemitoric systems generalize semitoric systems. In addition to elliptic-elliptic, elliptic-regular, and focus-focus singular points which can occur in semitoric systems, hypersemitoric systems may also have hyperbolic-regular and hyperbolic-elliptic singular points (hyperbolic-hyperbolic points cannot appear due to the presence of the global $S^1$-action) and moreover degenerate singular points of a relatively tame type called parabolic. Admitting the existence of degenerate points is necessary since there exist compact four-dimensional Hamiltonian $S^1$-spaces whose extensions must include degenerate singular points of some kind as we show in the present paper. Parabolic points are among the most common and natural degenerate points, and we show that it is sufficient to only admit these degenerate points in order to extend all Hamiltonian $S^1$-spaces. In this sense, hypersemitoric systems are thus the nicest and smallest class of systems to which all Hamiltonian $S^1$-spaces can be extended. Moreover, we prove several foundational results about these systems, such as the non-existence of loops of hyperbolic-regular points and properties about their fibers.

研究动机与目标

• 将紧致四维哈密顿 $S^1$-空间扩展为具有可控奇点的完全可积系统。
• 识别可容纳所有此类 $S^1$-空间（包括需要退化奇点的）的最小可积系统类。
• 表征此类扩展中必须出现的奇点类型——尤其是抛物型奇点。
• 证明双半正则系统的基础结构性质，例如不存在环状的双曲-正则点。
• 建立由于全局 $S^1$-作用的存在，双曲-双曲奇点不可能出现，从而缩小可能的退化类型范围。

提出的方法

• 构造一个光滑函数 $H: M \to \mathbb{R}$，使得 $(M, \omega, (J, H))$ 构成一个完全可积系统。
• 分析所得系统的奇点类型，重点关注非退化奇点与抛物型（尖点型）退化。
• 利用全局 $S^1$-作用排除双曲-双曲奇点，并限制可能的退化类型。
• 分类动量映射的纤维并证明结构约束，例如双曲-正则点构型中不存在环状结构。
• 运用辛几何与奇点理论的技术，表征可积系统的局部与全局行为。
• 通过构造其他退化类型不可避免的显式例子，证明抛物奇点在扩展所有紧致 $S^1$-空间时既必要又充分。

实验结果

研究问题

• RQ1 每个紧致四维哈密顿 $S^1$-空间是否都能扩展为仅含轻微退化的完全可积系统？
• RQ2 此类扩展中必须出现的退化奇点类型为何？能否将其限制于某一特定且行为良好的类？
• RQ3 双半正则系统类——包含椭圆-椭圆、椭圆-正则、焦点-焦点、双曲-正则、双曲-椭圆以及抛物奇点——是否是此类扩展的最小可能类？
• RQ4 此类系统中是否存在双曲-正则点环状结构的拓扑障碍？
• RQ5 全局 $S^1$-作用是否可用于排除某些奇点类型，例如双曲-双曲点？

主要发现

• 所有紧致四维哈密顿 $S^1$-空间均可扩展为仅含非退化奇点与有限个抛物型（尖点型）退化的完全可积系统。
• 抛物奇点是此类扩展中唯一必需的退化类型，且其存在既必要又充分。
• 由于全局 $S^1$-作用的存在，双曲-双曲奇点在该类系统中不可能出现，从而限制了可能的奇点类型。
• 系统 $(M, \omega, (J, H))$ 被证明为双半正则系统，即其通过引入额外的非退化与抛物奇点，推广了半正则系统。
• 双半正则系统中不存在双曲-正则点的环状结构，确立了其纤维结构的一个关键拓扑约束。
• 双半正则系统类是能够包含所有紧致四维哈密顿 $S^1$-空间可能扩展的最小且最自然的类。