2025-11-18T03:16:13.087039

Real Forms of Holomorphic Hamiltonian Systems

Arathoon, Fontaine

By complexifying a Hamiltonian system one obtains dynamics on a holomorphic symplectic manifold. To invert this construction we present a theory of real forms which not only recovers the original system but also yields different real Hamiltonian systems which share the same complexification. This provides a notion of real forms for holomorphic Hamiltonian systems analogous to that of real forms for complex Lie algebras. Our main result is that the complexification of any analytic mechanical system on a Grassmannian admits a real form on a compact symplectic manifold. This produces a `unitary trick' for Hamiltonian systems which curiously requires an essential use of hyperkÃ¤hler geometry. We demonstrate this result by finding compact real forms for the simple pendulum, the spherical pendulum, and the rigid body.

academic

正則ハミルトン系の実形式

基本情報

論文ID: 2009.10417
タイトル: Real Forms of Holomorphic Hamiltonian Systems
著者: Philip Arathoon (University of Michigan), Marine Fontaine (University of Warwick)
分類: math.SG math-ph math.DS math.MP
発表時期: SIGMA 20 (2024), 114, 24 pages
論文リンク: https://arxiv.org/abs/2009.10417

要約

ハミルトン系を複素化することにより、正則シンプレクティック多様体上の力学系が得られる。本論文は、この構成を逆転させるための実形式理論を提案する。この理論は元の系を復元するだけでなく、同じ複素化を持つ異なる実ハミルトン系を生成することができる。これは複素リー代数の実形式に類似した概念を正則ハミルトン系に提供する。主要な結果は、グラスマン多様体上で定義される任意の解析力学系の複素化は、コンパクトなシンプレクティック多様体上の実形式を認めるということである。これにより、ハミルトン系の「ユニタリートリック」が生成され、興味深いことに、超ケーラー幾何学を本質的に使用する必要がある。単振子、球面振子および剛体に対してコンパクトな実形式を見出すことにより、この結果が実証される。

研究背景と動機

1. 中心的問題

本研究が解決しようとする中心的問題は、与えられた正則ハミルトン系に対して、その複素化がすべて同じ正則系を与えるようなすべての可能な実ハミルトン系を系統的に見出す方法である。これは複素リー代数の実形式理論に類似している。

2. 問題の重要性

理論的意義: ハミルトン動力学における複素化と実化の間の双方向対応を確立する
応用価値: 古典力学系に新しい研究視点を提供し、特にコンパクトな実形式を通じて非コンパクト系を研究する
幾何学的洞察: 超ケーラー幾何学がハミルトン系に果たす深い役割を明らかにする

3. 既存手法の限界

従来の研究は主に以下に限定されていた：

$\mathbb{C}^{2n}$ 上の系のみを考察し、実部分空間は $\mathbb{R}^{2n}$
より一般的な正則シンプレクティック多様体を扱うための系統的理論枠組みの欠如
微分幾何学の道具と思想の不十分な活用

4. 研究動機

実形式理論をより広範な動力学系に拡張する
微分幾何学とのより密接な関連を確立する
可積分系理論に新しい道具を提供する

核心的貢献

正則ハミルトン系の実形式理論を確立: 複素リー代数の実形式の概念をハミルトン動力学に推広
主要定理を証明: グラスマン多様体上で定義される任意の解析力学系はコンパクトなシンプレクティック多様体上の実形式を認める
超ケーラー幾何学のハミルトン系への応用を発展: ブレーン理論を通じた実形式と虚シンプレクティック形式の構成
具体的な物理応用を提供: 単振子、球面振子および剛体に対するコンパクトな実形式の発見
可積分性の対応関係を確立: 正則可積分性と実形式上の可積分性の同値性を証明

方法論の詳細

問題設定

正則シンプレクティック多様体 $(M,\Omega)$ 上の正則ハミルトン系が与えられたとき、 $N$ 上に制限された力学系が実ハミルトン系を構成するようなすべての可能な実形式 $(N,\hat{\omega}_R)$ を見出す。

理論的枠組み

1. 正則シンプレクティック幾何学の基礎

正則シンプレクティック多様体 $(M,\Omega)$ に対して、正則シンプレクティック形式を実部と虚部に分解する： $\Omega = \omega_R + i\omega_I$

ここで $\omega_R$ と $\omega_I$ は $M$ 上の実シンプレクティック形式であり、関係式を満たす： $\omega_R(I(X),Y) = -\omega_I(X,Y)$

2. 実形式の定義

定義2.2: 正則シンプレクティック多様体 $(M,\Omega)$ の実形式 $N$ は以下のように呼ばれる：

実シンプレクティック形式: $\Omega$ の $N$ への制限が純実である場合
虚シンプレクティック形式: $\Omega$ の $N$ への制限が純虚である場合

命題2.3: 全実部分多様体 $N \subset (M,\Omega)$ が実シンプレクティック形式であることと、それが $(M,\omega_I)$ のラグランジュ部分多様体であることは同値であり、これは $(M,\omega_R)$ のシンプレクティック部分多様体であることを意味する。

3. 不変性条件

定理2.5: 実シンプレクティック形式 $N \subset M$ が正則関数 $f = u + iv$ により生成されるハミルトン流の下で不変であることと、 $v$ が $N$ 上で局所的に定数であることは同値である。このとき、 $N$ 上の流は $(N,\hat{\omega}_R)$ 上で $u$ の制限により生成されるハミルトン流と同一である。

超ケーラー幾何学的手法

1. ブレーン理論

命題4.1: 超ケーラー多様体 $M$ の部分多様体 $N$ が $(M,I,\Omega_1)$ の複素ラグランジュ部分多様体であることと、それが $(M,J,\Omega_2)$ の虚シンプレクティック形式かつ $(M,K,\Omega_3)$ の実シンプレクティック形式であることは同値である。

2. 超ケーラー約化

$U(m)$ が $\text{Hom}(\mathbb{H}^m,\mathbb{H}^n)$ 上に作用する超ケーラー約化を通じて、以下を得る：

定理4.4: 超ケーラー約化空間 $\tilde{M}$ は以下を満たす：

$(\tilde{M},I,\Omega_1) \cong (T^*_{1,0}\text{Gr}_\mathbb{C}, i, \Omega_{\text{can}})$
$(\tilde{M},J,\Omega_2) \cong (\text{Orb}(-1), i, \Omega_{\text{KKS}})$
$(\tilde{M},K,\Omega_3) \cong (\text{Orb}(i), i, \Omega_{\text{KKS}})$

技術的革新点

統一的枠組み: 異なる実ハミルトン系を同一の正則系の異なる実形式として統一
超ケーラー構造の本質的使用: 複素構造の変更を通じた異なる正則シンプレクティック多様体の取得
ブレーン対応: 複素ラグランジュ部分多様体と実/虚シンプレクティック形式の間の対応関係の確立
明示的構成: グラスマン多様体上の系のコンパクトな実形式の明示的公式の提供

実験的設定

具体例

論文は理論を検証するために3つの古典力学系を通じて実証する：

単振子: 相空間 $T^*S^1$ 、コンパクトな実形式は $S^2$
球面振子: 相空間 $T^*S^2$ 、コンパクトな実形式は $S^2 \times S^2$
剛体: 相空間 $T^*SO(3)$ 、コンパクトな実形式は $\mathbb{CP}^3$

計算方法

軌道 $\text{Orb}(\zeta) \subset \text{gl}_n\mathbb{C}^*$ を中心的対象として使用
写像 $\Phi: \text{Orb}(i) \to T^*_{1,0}\text{Gr}_\mathbb{C}$ を通じた対応関係の確立
超ケーラー幾何学の3つの複素構造を利用した変換

実験結果

主要な結果

1. 単振子のコンパクトな実形式

複素2-球面 $CS^2$ 上の正則ハミルトニアン： $H_C(x) = \frac{1}{2}(x^2 - y^2 + z^2 - 1) + \frac{x\sqrt{2}}{\sqrt{1 + x^2 - y^2 + z^2}}$

コンパクトな実形式 $S^2$ への制限は： $H_C|_{S^2} = -\cos^2\psi + \cos\phi$

2. 球面振子のコンパクトな実形式

$CS^2 \times CS^2$ 上で正則可積分系 $(H_C, J_C)$ を構成： $H_C = \frac{1}{2}(x_1x_2 - y_1y_2 + z_1z_2 - 1) + \frac{y_1 - y_2}{\sqrt{(x_1+x_2)^2 + (y_1-y_2)^2 + (z_1+z_2)^2}}$ $J_C = \frac{y_1 + y_2}{2i}$

コンパクトな実形式 $S^2 \times S^2$ 上で実可積分系を与える。

3. 剛体のコンパクトな実形式

$SL_2\mathbb{C}$ 作用の動量写像を通じて： $\mu_C: \text{Orb}(i) \to \text{sl}_2\mathbb{C}^*$

コンパクトな実形式 $\mathbb{CP}^3$ への制限は $SU(2)$ 作用の動量写像となり、剛体系のコンパクト版を与える。

可積分性の結果

定理5.4: 正則ハミルトニアンが $(M,\Omega)$ 上で正則可積分系を認め、流が解析的実シンプレクティック形式 $N$ を不変に保つ場合、 $(N,\hat{\omega}_R)$ 上の対応する実ハミルトン系は可積分である。

定理5.6: 正則可積分系 $\mu: M \to \mathbb{C}^n$ が実シンプレクティック構造 $R$ に関して $R$ -相容的である場合、制限 $\hat{\mu}: M^R \to \text{Fix}\rho^*$ は $(M^R,\hat{\omega}_R)$ 上の実可積分系である。