[论文解读] Families of four-dimensional integrable systems with $S^1$-symmetries

Yohann Le Floch, Joseph W. Palmer|arXiv (Cornell University)|Jul 20, 2023

Nonlinear Waves and SolitonsPhysics and Astronomy被引用 3

一句话总结

本文提出了一种系统化方法，通过哈密顿-霍普夫分岔对环面系统进行形变，构造具有 $S^1$-对称性的显式四维可积系统，从而实现所有严格极小半 toric 系统——特别是类型 (3a)、(3b) 和 (3c)——通过一参数族在环面、半 toric 和超半 toric 类型之间过渡。关键贡献在于一种构造性方法，实现了每种带标记的半 toric 多边形类型，包括在 $\mathbb{CP}^2$ 和 Hirzebruch 曲面上的显式系统，并对高度不变量和褶皱结构等不变量进行了完整分类。

ABSTRACT

The aim of this paper is to give new insights about families of integrable systems lifting a Hamiltonian $S^1$-space. Specifically, we study one-parameter families $(M^4,ω,F_t=(J,H_t))_{0 \leq t \leq 1}$ of systems with a fixed Hamiltonian $S^1$-space $(M,ω,J)$ and which are semitoric for certain values of the parameter $t$, with a focus on such families in which one singular point undergoes a Hamiltonian-Hopf bifurcation (also called nodal trade in the context of semitoric systems, and more generally almost toric fibrations). Beyond semitoric systems, we also study families containing hypersemitoric systems, and we investigate the local theory of a nodal trade.\\Building on and generalizing the ideas of a previous paper, we show how such families can be used to find explicit semitoric systems with certain desired invariants (bundled in the marked semitoric polygon). This allows us to make progress on the semitoric minimal model program by understanding and coming up with explicit systems for each strictly minimal type (i.e., those not admitting any toric or semitoric type blowdown). In order to obtain these systems, we develop strategies for constructing and understanding explicit examples of semitoric (and hypersemitoric) systems in general. One strategy we make use of is to start from a well-understood system (such as a toric system) and to explicitly induce Hamiltonian-Hopf bifurcations to produce focus-focus singular points. This is an expanded version of the technique used in the aforementioned previous paper, in order to apply it to semitoric systems which include non-trivial isotropy spheres in the underlying $S^1$-space (i.e., $\mathbb{Z}_k$-spheres), which occurs in several of the strictly minimal systems.\\In particular, we give an explicit one-parameter family of systems on $\mathbb{CP}^2$ which transitions between being of toric type, semitoric type, and hypersemitoric type depending on the value of the parameter. We study this system at each stage, computing the marked semitoric polygon of the semitoric system and determining several properties of the hypersemitoric system, including the existence of a unique flap and two parabolic orbits. Furthermore, we study the transitions between these stages.\\We also come up with new explicit semitoric systems on all Hirzebruch surfaces which, together with the previous systems and the systems already contained in the literature, gives an explicit model for every type of strictly minimal system. Moreover, we show how to obtain every strictly minimal system by applying sequences of alternating toric type blowups and blowdowns to simple explicit systems. In particular, we obtain that every strictly minimal semitoric polygon can be obtained from a semitoric system which is part of a family $(M,ω,F_t=(J,H_t))$ which is semitoric for all but a finite number of values of $t$, called a semitoric family.

研究动机与目标

• 在 $\mathbb{CP}^2$ 和 Hirzebruch 曲面等熟悉流形上，发展一种构造显式半 toric 与超半 toric 系统的一般策略。
• 通过显式实现所有严格极小类型（即不允许可积或半 toric 爆破的类型），解决半 toric 系统的极小模型程序。
• 理解具有 $S^1$-对称性的可积系统族中哈密顿-霍普夫分岔（节点变换）的局部与全局行为。
• 为新系统族计算并分类关键不变量，如带标记半 toric 多边形、高度不变量和褶皱结构。
• 证明每个严格极小半 toric 系统均可作为半 toric 家族的一部分出现，即一个一参数族，除有限多个 $t$ 外均为半 toric。

提出的方法

• 从环面系统出发，构造一参数族 $(M^4, \omega, F_t = (J, H_t))$，通过诱导哈密顿-霍普夫分岔生成焦点-焦点奇点。
• 在 $\mathbb{C}^4$ 上使用一个具有 $N = \frac{1}{2}(|z_1|^2 + |z_3|^2 + (n-2)|z_4|^2, |z_2|^2 + |z_4|^2)$ 的作用量映射进行辛约化，以定义基础流形 $W_{n-2}(\beta, \beta)$。
• 定义扰动哈密顿量 $H_t = \frac{2t-1}{2}|z_3|^2 + 2\gamma t(\mathcal{X} + \delta R^2) - 2\gamma\delta t((n-1)\beta + \alpha)^2$，其中 $\mathcal{X} = \Re(z_1 z_2 \bar{z}_3^{n-1} z_4)$ 且 $R = \frac{1}{2}(|z_1|^2 + (n-2)|z_4|^2)$。
• 通过调节参数 $t$ 分析系统类型之间的转变：$t < t^-$ 时为环面型，$t^- < t < t^+$ 时为含一个焦点-焦点点的半 toric 型，$t$ 接近 $t^+$ 时为超半 toric 型。
• 通过带标记多边形同构计算带标记半 toric 多边形，根据参数明确展示多边形类型 (3a)、(3b) 和 (3c)。
• 利用高度不变量和局部正规型验证超半 toric 系统中唯一褶皱和抛物轨道的存在性。

实验结果

研究问题

• RQ1 是否可以通过哈密顿-霍普夫分岔对环面系统进行形变，显式构造出所有严格极小半 toric 系统？
• RQ2 一参数族在环面、半 toric 和超半 toric 类型之间转变的精确参数条件是什么？
• RQ3 如何显式计算由此类分岔产生的系统的带标记半 toric 多边形？
• RQ4 在严格极小系统构造中，$\mathbb{Z}_k$-球面（非平凡等周球面）起什么作用？
• RQ5 每个严格极小半 toric 系统是否都能作为半 toric 家族的一部分实现，即一个连续族，除有限多个 $t$ 外均为半 toric？

主要发现

• 在 $\mathbb{CP}^2$ 上显式构造了一个一参数族，其类型从环面经半 toric 到超半 toric 过渡，其中 $t^-$ 和 $t^+$ 的值为 $t^- = \frac{27}{2(27 + 4\sqrt{5})} \approx 0.38$ 和 $t^+ = \frac{27}{2(27 - 4\sqrt{5})} \approx 0.75$，对应 $n=4$，$\alpha=2$，$\beta=1$，$\gamma=\frac{1}{90}$，$\delta=15$。
• 当 $n=4$ 时，区间 $t \in (t^-, t^+)$ 内的半 toric 系统具有类型为 (3a) 的带标记半 toric 多边形，如图 12(d) 所示。
• 同一族中的超半 toric 系统具有唯一褶皱和两个抛物轨道，证实其非环面、非简单结构。
• 当 $n=3$ 时，通过在半 toric 区域内选择适当的 $\gamma$、$\delta$ 和 $t$，可使高度不变量 $h_0$ 无限接近 $h^+ = \left(1 - \frac{3\sqrt{3}}{4\pi}\right)\beta$。
• 当 $n=4$ 时，最大高度不变量为 $h^+ = \left(1 - \frac{\ln(12 - 8\sqrt{2})}{\pi}\right)\beta$，且通过合适的参数选择可趋近该上界。
• 本文在 Hirzebruch 曲面和 $\mathbb{CP}^2$ 上显式构造了类型 (3a)、(3b) 和 (3c) 的半 toric 系统，完成了对每种严格极小类型的显式模型构建。