[論文レビュー] 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

ひとこと要約

本稿では、任意のコンパクトな4次元ハミルトニアン $S^1$-空間が、非退化でない特異点が有限個の放物型（カスプ型）退化を除きすべて非退化であるような第二の保存量 $H$ を追加することで、完全可積分系に拡張可能であることを証明している。著者らは、このような拡張において放物型点が唯一必要となる退化であることを確立しており、したがってハイパーシミトニック系は、すべての such $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.

研究の動機と目的

• コンパクトな4次元ハミルトニアン $S^1$-空間を、制御された特異点を持つ完全可積分系に拡張すること。
• すべての such $S^1$-空間を含めることが可能な、最小の可積分系のクラスを同定すること、特に退化特異点を必要とするものも含む。
• このような拡張において現れる特異点の種類（特に放物型）を同定すること。
• ハイパーシミトニック系の基礎的構造的性質（例えば、双曲型正則点のループの非存在）を証明すること。
• グローバルな $S^1$-作用のおかげで、双曲型-双曲型特異点が不可能であることを示し、可能な退化の種類を制限すること。

提案手法

• $(M, \omega, (J, H))$ が完全可積分系をなすような滑らかな関数 $H: M \to \mathbb{R}$ を構成すること。
• 得られた系の特異点の型を分析し、非退化および放物型（カスプ型）退化に焦点を当てる。
• グローバルな $S^1$-作用を用いて双曲型-双曲型特異点を除外し、可能な退化の種類を制約すること。
• 運動量写像のファイバーを分類し、例えば双曲型正則点の配置にループが存在しないといった構造的制約を証明すること。
• シンプレクティック幾何学および特異点論の技術を用いて、可積分系の局所的および大域的挙動を特徴付けること。
• 他の退化が避けられない具体例を構成することで、放物型特異点が、すべてのコンパクトな $S^1$-空間を拡張するための必要十分条件であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクトな4次元ハミルトニアン $S^1$-空間は、穏やかな退化のみを許容する完全可積分系に拡張可能か？
• RQ2 このような拡張において現れる退化特異点の種類は何か？ そして、特定の良好な性質を持つクラスに制限可能か？
• RQ3 楕円型-楕円型、楕円型-正則、フォーカス-フォーカス、双曲型-正則、双曲型-楕円型、および放物型特異点を許容するハイパーシミトニック系のクラスは、このような拡張のための最小限のクラスか？
• RQ4 このような系において、双曲型正則点のループの存在にトポロジカルな障害はあるか？
• RQ5 グローバルな $S^1$-作用を用いて、双曲型-双曲型点のような特定の特異点型を除外できるか？

主な発見

• すべてのコンパクトな4次元ハミルトニアン $S^1$-空間は、非退化特異点と有限個の放物型（カスプ型）退化を除き、すべて非退化であるような完全可積分系に拡張可能である。
• このような拡張においては、放物型特異点が唯一必要となる退化であり、かつそれが必要十分条件である。
• グローバルな $S^1$-作用のおかげで、双曲型-双曲型特異点はこのような系では生じえない。
• 系 $(M, \omega, (J, H))$ はハイパーシミトニックであることが証明されており、これは非退化および放物型特異点を追加で許容する半トーリック系の一般化であることを意味する。
• ハイパーシミトニック系では、双曲型正則点のループは存在しない。これは、ファイバー構造に重要なトポロジカル制約を確立する。
• ハイパーシミトニック系のクラスは、コンパクトな4次元ハミルトニアン $S^1$-空間のすべての可能な拡張を含む最小かつ最も自然なクラスである。