[논문 리뷰] Families of four-dimensional integrable systems with $S^1$-symmetries

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

Nonlinear Waves and SolitonsPhysics and Astronomy인용 수 3

한 줄 요약

이 논문은 해밀턴-홉프 분기(deformation via Hamiltonian-Hopf bifurcations)를 통해 토릭 시스템을 변형함으로써, $S^1$-대칭을 가진 명시적인 4차원 통합 가능 시스템을 체계적으로 구성하는 방법을 제시한다. 이는 특히 (3a), (3b), (3c) 유형에 속하는 엄격 최소(semi)토릭 시스템을 모두 실현할 수 있게 하며, 토릭, (semi)토릭, 하이퍼( semi)토릭 유형 간 전이를 보이는 일파rameter 가중치 가중족을 제공한다. 주요 기여는 표시된 (semi)토릭 다각형 유형을 구성적으로 실현하는 것으로, 이는 $\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$와 히르체브루흐 표면 같은 친숙한 다양체 위에서 명시적인 (semi)토릭 및 하이퍼( semi)토릭 시스템을 구성하는 일반 전략을 개발하는 것.
• 토릭 또는 (semi)토릭 압축이 존재하지 않는 시스템인 엄격 최소 유형을 명시적으로 실현함으로써 (semi)토릭 시스템의 최소 모델 프로그램을 해결하는 것.
• 일반적으로 $S^1$-대칭을 가진 통합 가능 시스템의 가중족에서 해밀턴-홉프 분기(노드 트레이드)의 국소적 및 전역적 행동을 이해하는 것.
• 새로운 시스템 가중족에 대해 표시된 (semi)토릭 다각형, 높이 불변량, 플랩 구조와 같은 핵심 불변량을 계산하고 분류하는 것.
• 모든 엄격 최소 (semi)토릭 시스템이 (유한한 수의 제외점을 제외한 모든 $t$에 대해 (semi)토릭인) (semi)토릭 가중족의 일부로 나타남을 보여주는 것.

제안 방법

• 토릭 시스템에서 출발하여 해밀턴-홉프 분기를 유도함으로써 초점-초점 특이점을 생성하는 일파라미터 가중족 $(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)$ 이다.
• 파arameter $t$를 변화시켜 시스템 유형 간 전이를 분석하는 것: $t < t^-$ 에서는 토릭, $t^- < t < t^+$ 에서는 초점-초점 점 하나를 가진 (semi)토릭, $t^+$ 근처에서는 하이퍼( semi)토릭.
• 표시된 (semi)토릭 다각형 이sovorphism를 통해 표시된 (semi)토릭 다각형을 계산하며, 매개변수에 따라 명시적인 다각형 유형 (3a), (3b), (3c)을 도출하는 것.
• 높이 불변량과 국소 정규형을 사용하여 하이퍼( semi)토릭 시스템에서 유일한 플랩과 포물선 궤도의 존재를 확인하는 것.

실험 결과

연구 질문

• RQ1 모든 엄격 최소 (semi)토릭 시스템은 해밀턴-홉프 분기를 통해 토릭 시스템을 변형함으로써 명시적으로 구성될 수 있는가?
• RQ2 일파라미터 가중족이 토릭, (semi)토릭, 하이퍼( semi)토릭 유형 간 전이되는 정확한 매개변수 조건은 무엇인가?
• RQ3 이러한 분기에서 유도된 시스템에 대해 표시된 (semi)토릭 다각형을 명시적으로 계산할 수 있는가?
• RQ4 $\mathbb{Z}_k$-구(spheres, 비자명한 이소트로피 구)는 엄격 최소 시스템의 구성에서 어떤 역할을 하는가?
• RQ5 모든 엄격 최소 (semi)토릭 시스템은 (유한한 수의 제외점을 제외한 모든 $t$에 대해 (semi)토릭인) (semi)토릭 가중족의 일부로 실현될 수 있는가?

주요 결과

• $n=4$, $\alpha=2$, $\beta=1$, $\gamma=\frac{1}{90}$, $\delta=15$ 일 때, $\mathbb{CP}^2$ 위의 일파라미터 가중족이 명시적으로 구성되었으며, 이는 $t^-$ 와 $t^+$ 사이에서 토릭에서 (semi)토릭으로, 그리고 하이퍼( semi)토릭으로 전이된다. 여기서 $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^+)$ 범위 내의 (semi)토릭 시스템은 그림 12(d)에 나타나 있듯이 (3a) 유형의 표시된 (semi)토릭 다각형을 가진다.
• 동일한 가중족 내의 하이퍼( semi)토릭 시스템은 유일한 플랩과 두 개의 포물선 궤도를 가지며, 이는 비토릭성 및 비단순성의 구조적 특성을 확인한다.
• $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) 유형의 명시적 (semi)토릭 시스템을 구성하여, 모든 엄격 최소 유형에 대한 명시적 모델을 완성한다.