[論文レビュー] 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$-対称性を持つ4次元の明示的可積分系を体系的に構成する手法を提案する。これにより、特にタイプ(3a)、(3b)、(3c)を含むすべての厳密最小半トーリック系が、トーリック、半トーリック、ハイパーセミトーリック型に遷移する1パラメータ族として実現可能となる。主な貢献は、マーク付き半トーリック多角形タイプのすべての実現を構成的に行うものであり、$mathbb{CP}^2$ やヒルツェブルフ面への明示的系の構成に加え、高さ不変量やフラップ構造といった不変量の完全な分類がなされている。

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$ やヒルツェブルフ面といった馴染み深い多様体上での明示的半トーリック系およびハイパーセミトーリック系の構成に展開すること。
• トーリックまたは半トーリックなブロー・ダウンを許さない系（＝厳密最小タイプ）を明示的に実現することで、半トーリック系の最小モデルプログラムを解決すること。
• S^1-対称性をもつ可積分系の族におけるハミルトニアン＝ホップ分岐（ノード・トレード）の局所的および大域的挙動を理解すること。
• 新しい系の族に対して、マーク付き半トーリック多角形、高さ不変量、フラップ構造といった主要な不変量を計算・分類すること。
• すべての厳密最小半トーリック系が、有限個の$t$を除いてすべての$t$で半トーリック型である1パラメータ族の一部として実現可能であることを示すこと。

提案手法

• トーリック系から出発し、ハミルトニアン＝ホップ分岐を誘発することで焦点-焦点特異点を生成する1パラメータ族$(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)$である。
• パrameter $t$ を変化させることで系のタイプの遷移を分析する：$t < t^-$ではトーリック、$t^- < t < t^+$では1つの焦点-焦点点をもつ半トーリック、$t$ が$t^+$に近いときにはハイパーセミトーリック。
• マーク付き多角形同型写像を用いてマーク付き半トーリック多角形を計算し、パラメータに応じて明示的な多角形タイプ(3a)、(3b)、(3c)が得られることを示す。
• 高さ不変量と局所的正規形を用いて、ハイパーセミトーリック系に一意なフラップと放物型軌道が存在することを確認する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン＝ホップ分岐によるトーリック系の変形を用いて、すべての厳密最小半トーリック系を明示的に構成可能か？
• RQ2 1パラメータ族がトーリック、半トーリック、ハイパーセミトーリック型に遷移するための正確なパrameter条件は何か？
• RQ3 このような分岐から生じる系に対して、マーク付き半トーリック多角形をどのように明示的に計算できるか？
• RQ4 $\mathbb{Z}_k$-球面（非自明な固定点を持つ球面）は、厳密最小系の構成において果たす役割は何か？
• RQ5 すべての厳密最小半トーリック系が、有限個の$t$を除いてすべての$t$で半トーリック型である連続族（＝半トーリック族）の一部として実現可能か？

主な発見

• $n=4$, $\alpha=2$, $\beta=1$, $\gamma=\frac{1}{90}$, $\delta=15$ の場合、$\mathbb{CP}^2$ 上に1パラメータ族が明示的に構成され、$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$ のとき、$t \in (t^-, t^+)$ の範囲で得られる半トーリック系は、図12(d)に示すようにタイプ(3a)のマーク付き半トーリック多角形を持つ。
• 同じ族に属するハイパーセミトーリック系は一意なフラップと2つの放物型軌道を有しており、これはトーリック的でも単純でもない構造を確認する。
• $n=3$ のとき、適切な$\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$ であり、適切なパラメータ選択によりこの上限に近づく。
• 本稿では、ヒルツェブルフ面および$\mathbb{CP}^2$ 上にタイプ(3a)、(3b)、(3c)の明示的半トーリック系を構成し、すべての厳密最小タイプに対する明示的モデルを完成させた。