[論文レビュー] Symplectic realizations of bihamiltonian structures

Andriy Panasyuk|ArXiv.org|Jan 24, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 5

ひとこと要約

本稿は、複素単純リー代数の余随伴軌道上の正則シンプレクティックバイハミルトニアン構造を、実形式を用いて還元することにより、完全な退化バイハミルトニアン構造が得られることを確立する。CR幾何学と完全性の基準を用いて、還元構造がボルシノフ＝ブライアフ条件を満たすことを証明し、第一積分が正則カシミールの実部と虚部として特定され、CRラグランジュ的 foliation を形成することを示す。

ABSTRACT

A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a simultaneous reduction of both the real and imaginary parts of a complex symplectic form. Necessary and sufficient conditions of getting a bihamiltonian structure from the mentioned class are obtained. The second part of the paper is devoted to a series of examples of such a reduction related to semisimple Lie algebras.

研究の動機と目的

• 正則シンプレクティックバイハミルトニアン構造の還元が完全な退化バイハミルトニアン系をもたらす条件を確立すること。
• 複素単純リー代数の一般の余随伴軌道上の正則シンプレクティック構造を実形式を用いて還元すると、完全バイハミルトニアン構造が得られることを証明すること。
• 還元系の第一積分を特徴づけ、それらが元の構造の正則カシミールから生じることを示すこと。
• CR幾何的基準を用いて、還元系がボルシノフ＝ブライアフの完全性条件を満たすことを示すこと。

提案手法

• 本稿は、ベクトル場のペンキルのランクが一定であることに基づく、還元バイハミルトニアン構造の完全性に関する基準（定理4）を適用する。
• 元の正則ペア $ c, \tilde{c} $ から、リー群 $ G $ の実形式 $ G_0 \subset G $ に関連する実フォリエーションを用いて、還元されたペア $ c'_{\nu}, \bar{c}'_{\nu} $ を構成する。
• 複素化された接バンドルにおける双ベクトル場ペアの構造を解析するために、ゲルファンド＝ザハレヴィチの定理を用いる。
• 引数変換の手法を用いて、ペア $ c', \tilde{c}' $ を分析することで、還元系のカシミールを計算する。このペアは $ c', \bar{c}' $ と同じカシミールを持つ。
• 特に $ G_0 $-軌道の $ CR $-一般性を活用し、完全性に必要なランク一定性が満たされることを保証する。
• 還元系の第一積分が、還元写像を介して上へ引き上げられた正則カシミールの実部と虚部であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 正則シンプレクティックバイハミルトニアン構造の還元が、完全な退化バイハミルトニアン構造をもたらす条件は何か？
• RQ2 還元系の第一積分は、元の構造の正則カシミールとどのように関係しているか？
• RQ3 実フォリエーションの $ CR $-一般性が、完全性に必要なランク一定性を保証するために果たす役割は何か？
• RQ4 引数変換の手法を、正則ポアソン構造の実還元の文脈に適応してカシミールを計算することができるか？
• RQ5 還元バイハミルトニアン構造の最小実現は、$ CR $-ラグランジュ的 foliation と同値か？

主な発見

• 複素単純リー代数の一般の余随伴軌道上の正則シンプレクティックバイハミルトニアン構造を、実形式 $ G_0 \subset G $ を用いて還元すると、ボルシノフ＝ブライアフ条件を満たす完全な退化バイハミルトニアン構造が得られる。
• 還元系の第一積分は、正しくは元の構造の正則カシミールの実部と虚部であり、命題7.2で示されている。
• すべての $ \lambda \in \mathbb{C}^2 \setminus \{0\} $ に対して $ \mathop{\rm rank}\nolimits c'_{\lambda}(z') = \mathop{\rm rank}\nolimits c'(z') $ が成り立つことから、完全性に必要なランク一定性が確認された。
• 第一積分の $ G_0 $-不変性が確立され、商空間 $ U' = U/G_0 $ 上での適切な関数としての下降性が保証された。
• 正則カシミールの実部と虚部の共通レベル集合は、還元空間上に $ CR $-ラグランジュ的 foliation を形成する。
• コロナリー6を用いて、還元構造の最小実現が最小であることが示され、余分な構造がないことが確認された。