Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$-bundles

技術要約：対称な時間依存型ハミルトン系の簡約 I：前シンプレクティック主 $\mathbb{R}$-束

問題提起
本論文は、対称リー群 $G$ を持つ時間依存型ハミルトン系の幾何学的簡約（リダクション）を扱う。自己共役な（自律的な）ハミルトン系におけるシンプレクティック多様体上の簡約（例：マースデン・ワインスタインの簡約）は確立されているが、時間依存型システムにこれらの手法を拡張する場合、特定の課題が生じる。先行研究 [8] 等のアプローチでは、対称群の作用が構成ファイブレーション $\Pi: Q \to \mathbb{R}$ を保存する（すなわち、作用が時間変数をシフトさせない）ことを仮定していた。この仮定は制約的であり、明示的に時間に依存する保存量の存在を排除し、時間変数を翻訳するような変換を包含できない。著者らは、この条件を緩和し、作用が関連する 1-形式 $\eta = \Pi^*(dt)$ を保存する限りにおいて、構成束のファイブレーション $\Pi$ を必ずしも保存しないような方法で対称群が構成束に作用することを許容する簡約フレームワークの開発を目指している。

手法
著者らは、主 $\mathbb{R}$-束および前シンプレクティック構造を用いた、時間依存型ハミルトン力学の拡張された定式化を利用している。

1. 幾何学的設定:

   • 構成空間 $Q$ は、ファイブレーション $\Pi: Q \to \mathbb{R}$ の全空間である。
   • 運動量の位相空間は、垂直束の双対束 $V^*\Pi$ として特定される。
   • 拡張位相空間は余接束 $T^*Q$ である。
   • 主 $\mathbb{R}$-束構造 $\mu: T^*Q \to V^*\Pi$ が確立される。ここで、射影は垂直束 $V\Pi \hookrightarrow TQ$ の双対である。

2. 前シンプレクティック構造:

   • ハミルトン切断 $h: V^*\Pi \to T^*Q$ が与えられるとき、著者らは同次ハミルトン関数 $F_h: T^*Q \to \mathbb{R}$ を定義する。
   • この切断は、2つの閉 2-形式を誘導する：
     • $\omega_h = \omega_Q + dF_h \wedge \eta_0$ （$T^*Q$ 上の、階数 2 の前シンプレクティック構造）。
     • $\Omega_h = h^*\omega_Q$ （$V^*\Pi$ 上の、階数 1 の前シンプレクティック構造）。
   • 動力学は、$T^*Q$ 上のベクトル場 $X^{\omega_Q}_{F_h}$ および $V^*\Pi$ 上の $R_h$ によって符号化され、これらは $\mu$-射影可能である。

3. 対称性と運動量写像:

   • 著者らは、1-形式 $\eta = \Pi^*(dt)$ が不変である（$\phi_g^*\eta = \eta$）ようなリー群作用 $\phi$ を想定している。これは、$\Pi \circ \phi_g = \Pi + m(g)$ （$m$ は乗法的関数）であることを意味し、無限小レベルでは、リー代数 1-コサイクル $c_\phi: \mathfrak{g} \to \mathbb{R}$ の存在を意味する。
   • この条件下では、余接束の持ち上げ作用（cotangent lift action）および誘導された $T^*Q$ 上の作用は、前シンプレクティックである。
   • 新しい運動量写像が構築される：
     • $T^*Q$ 上：$J(\alpha_q) = J_c(\alpha_q) - F_h(\alpha_q)c_\phi$ （ここで $J_c$ は標準的な運動量写像）。
     • $V^*\Pi$ 上：$J_V$ は射影 $\mu$ を通じて $J$ から誘導される（$J = J_V \circ \mu$）。
   • ノーターの定理の変奏が証明され、$J_V^\xi$ が、たとえ明示的に時間に依存する場合であっても、時間依存型動力学 $R_h$ の第一積分であることを確立している。

4. 簡約手順:

   • 正則値 $\nu \in \mathfrak{g}^*$ に対して、著者らは拡張空間 $(T^*Q, \omega_h)$ と制限空間 $(V^*\Pi, \Omega_h)$ の両方で簡約を行う。
   • $(T^*Q)_\nu = J^{-1}(\nu)/G_\nu$ および $(V^*\Pi)_\nu = J_V^{-1}(\nu)/G_\nu$ が、それぞれ前シンプレクティック構造 $\omega_h^\nu$ (階数 2) および $\Omega_h^\nu$ (階数 1) を継承することを証明する。
   • 決定的な点として、主 $\mathbb{R}$-束構造は保存される：簡約された写像 $\mu_\nu: (T^*Q)_\nu \to (V^*\Pi)_\nu$ は主 $\mathbb{R}$-束であり、簡約された動力学およびベクトル場は、この構造と整合性を保ち続ける。

主要な貢献と結果

• 対称条件の一般化: 本論文は、時間ファイブレーションを保存するという要求を緩和することで、従来の簡約理論を一般化している。これにより、時間変数を翻訳する対称性を許容している。
• 修正された運動量写像: 構築された運動量写像 $J$ は、ハミルトン関数 $F_h$ とリー代数コサイクル $c_\phi$ を含む補正項を取り入れている。この修正は、時間依存型の設定において簡約を機能させるために不可欠である。
• 束構造の保存: 簡約プロセスは、簡約された拡張位相空間と簡約された制限位相空間を結ぶ、簡約された主 $\mathbb{R}$-束を成功裏に導き出し、2つの記述レベル間の幾何学的関係を保持している。
• 具体的な例: 理論は以下の2つの例を通じて示されている：
  1. 一定速度で移動するフレームから観測された $N$ 次元調和振動子。
  2. 一定角速度を持つフレームから観測された、エルロイの被帽（中心質量で連結された2つの剛体）の時間依存型モデル。
     いずれの場合も、著者らは簡約された空間、前シンプレクティック構造、および動力学を明示的に計算している。

意義と主張
著者らは、本研究が、時間変数を保存しない対称性を収容することで、オリジナルのアルバートによる簡約 [2] および先行研究 [8] の制限を克服したと主張している。これにより、以前の簡約フレームワークではアクセス不可能であった、明示的に時間に依存する第一積分を特定することが可能となった。

本論文は、簡約手順が余接束の簡約と、階数 1 および 2 の前シンプレクティック構造の簡約を統一するものであることを強調している。著者らは、簡約された構造が期待される階数（2 および 1）を維持するためには、ハミルトンベクトル場 $X^{\omega_Q}_{F_h}$ の相対平衡を除外する必要があると述べている。これらの相対平衡の分析とその安定性は、将来の研究課題として特定されている。

さらに、著者らは、現在の主 $\mathbb{R}$-束に基づくフレームワークが、シンプレクティック主 $\mathbb{R}$-束へと拡張可能であり、それによって [8] の結果を非不変なファイブレーションへとさらに一般化できることを示唆しており、これを今後の研究の方向として掲げている。