[論文レビュー] Dirac structures, moment maps and quasi-Poisson manifolds

Henrique Bursztyn, Marius Crainic|ArXiv.org|Oct 28, 2003

Advanced Topics in Algebra被引用数 5

ひとこと要約

本稿は、ポisson写像とシンプレクティック群ガロア作用の対応関係をディラック幾何に拡張し、一般化された運動量写像としてのディラック実現を導入する。単連結リー群 $G$ 上のカルタン＝ディラック構造の完全なディラック実現とハミルトニアン準ポisson $G$-多様体の間には一対一対応が存在し、ディラック幾何と反転手続きを用いて準ポソンおよび準ハミルトニアンの還元を統一的に扱う。

ABSTRACT

We extend the correspondence between Poisson maps and actions of symplectic groupoids, which generalizes the one between momentum maps and hamiltonian actions, to the realm of Dirac geometry. As an example, we show how hamiltonian quasi-Poisson manifolds fit into this framework by constructing an ``inversion'' procedure relating quasi-Poisson bivectors to twisted Dirac structures.

研究の動機と目的

• ポアソン幾何からディラック幾何への運動量写像の一般化を図り、ポアソン写像とシンプレクティック群ガロア作用の対応関係を拡張する。
• 統一的な枠組みを通じて、準ポソン多様体、準ハミルトニアン空間、およびねじれディラック構造の関係を明確にする。
• ディラック実現の統合により、無限小の準ポソン $\mathfrak{g}$-作用のグローバル実現を提供する。
• マーデン＝ウインスタイン、ル、シュウ、および準ポソンの還元手続きを、一つのディラック幾何的還元枠組みに統一する。
• ねじれディラック構造と準ポソンのベクトル場の間の双対性を、明示的な反転手続きによって確立する。

提案手法

• ディラック幾何におけるポアソン写像の一般化として、特定の横断性および積分可能性条件を満たす、多様体からディラック多様体へのディラック写像としてのディラック実現を導入する。
• 準ポソン多様体 $M$ に対して、$T^*M \oplus \mathfrak{g}$ 上にリー代数的構造を構成し、ポアソン幾何における余接リー代数的構造を一般化する。
• ねじれディラック構造（例：リー群上のカルタン＝ディラック構造）から準ポソンのベクトル場への写像である「反転」手続きを定義し、両者の間の双対性を確立する。
• リー代数的構造の標準的統合を用いて、完全なディラック実現を余シンプレクティック群ガロア作用に統合し、AMM群ガロアが余シンプレクティック群ガロアに一致することを同定する。
• ディラック還元を適用して還元されたポアソン多様体を構成し、古典的および準ポソン還元定理と整合することを示す。
• $G \times G$（AMM群ガロア）に標準的な余シンプレクティック構造を用い、$G$ 上のカルタン＝ディラック構造の統合を実現する。

実験結果

リサーチクエスチョン

• RQ1 運動量写像の概念をポアソン幾何を越えてディラック構造の文脈に一般化するにはどうすればよいか？
• RQ2 準ポソン $\mathfrak{g}$-多様体とリー群上のねじれディラック構造との正確な関係は何か？
• RQ3 ディラック実現はどのようにグローバル作用に統合され、それらからどのような群ガロア作用が生じるか？
• RQ4 準ポソン多様体の還元を、一様なディラック幾何的枠組みで記述できるか？
• RQ5 ねじれディラック構造と準ポソンのベクトル場を結ぶ「反転」手続きの役割は何か？

主な発見

• 単連結リー群 $G$ 上のカルタン＝ディラック構造の完全なディラック実現とハミルトニアン準ポソン $G$-多様体の間には一対一対応が存在する。
• 反転手続きにより、$G$ 上のねじれディラック構造と多様体上の準ポソンのベクトル場の間の双対性が確立され、非退化な場合に [2, Thm. 10.3] の対応関係が回復される。
• $G$ 上のカルタン＝ディラック構造を統合する標準的な余シンプレクティック群ガロアは、特定の $\phi^G$-ねじれ2次形式を備えた $G \ltimes G$（AMM群ガロア）と同型である。
• 完全なディラック実現 $J: M \to G$ のディラック還元により得られるポアソン多様体 $J^{-1}(g)/G_g$ は、準ポソン還元によって得られる多様体と一致する。
• 完全なディラック実現に付随するグローバル作用は、無限小の準ポソン $\mathfrak{g}$-作用を統合し、$M$ が $J$ を群値運動量写像とするハミルトニアン準ポソン $G$-多様体であることを示す。
• 本フレームワークにより、さまざまな還元定理が統一される：$M = \mathfrak{g}^*$ のときマーデン＝ウインスタイン還元が回復され、$M = G^*$ のときルの還元が回復され、$M = G$ のとき準ハミルトニアン還元が回復される。