[論文レビュー] Dirac geometry, quasi-Poisson actions and D/G-valued moment maps

Henrique Bursztyn, Marius Crainic|ArXiv.org|Oct 2, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用数 4

ひとこと要約

この論文は、Dirac幾何とquasi-Poisson幾何——以前は別個のアプローチと見なされてきた——が、$D/G$-値のモーメント写像に関して同型なハミルトニアン空間のカテゴリをもたらすことを示すことによって、$D/G$-値のモーメント写像の統一的枠組みを確立する。両者の形式的枠組みが、Manin対$(\mathfrak{d},\mathfrak{g})$と$D$上の等位的接続に基づいており、それらが自然なハミルトニアンカテゴリの同型を介して等価なモーメント写像理論をもたらすことを証明する。

ABSTRACT

We study Dirac structures associated with Manin pairs (\d,\g) and give a Dirac geometric approach to Hamiltonian spaces with D/G-valued moment maps, originally introduced by Alekseev and Kosmann-Schwarzbach in terms of quasi-Poisson structures. We explain how these two distinct frameworks are related to each other, proving that they lead to isomorphic categories of Hamiltonian spaces. We stress the connection between the viewpoint of Dirac geometry and equivariant differential forms. The paper discusses various examples, including q-Hamiltonian spaces and Poisson-Lie group actions, explaining how presymplectic groupoids are related to the notion of "double" in each context.

研究の動機と目的

• Dirac幾何とquasi-Poisson幾何——$D/G$-値のモーメント写像に関して——の2つの別個の幾何的枠組みを統一すること。
• G-値のモーメント写像の幾何的起源を明らかにし、twisted 2-form と quasi-Poisson 形式の両方の定式化の間の等価性を説明すること。
• Dirac形式とquasi-Poisson形式におけるハミルトニアン空間のカテゴリの間の自然な同型を確立すること。
• 等位的接続とG-不変コホモロジーが$D/G$-値のモーメント写像を構成する上で果たす役割を明確にすること。
• presymplectic群ガロアとdouble構造が、両者の枠組みにおいて自然に現れ、一般化幾何における「double」の概念と関連することを示すこと。

提案手法

• 群対$(D, G)$によって積分されたManin対$(\mathfrak{d}, \mathfrak{g})$から、ドレッシング作用を用いて$G$-多様体$S = D/G$を構成する。
• 主$G$-バンドル$D \to D/G$上の等位的接続$\theta \in \Omega^1(D, \mathfrak{g})$を用いて、$TS \oplus T^*S$上の$\phi_S$-歪みDirac構造$L_S$を定義する。
• S上の自明な$\mathfrak{d}$-バンドルを正確なCourant代数束として特定することで、$\theta$を$TS \oplus T^*S$の分割に関連付ける。
• 曲率から$S$上の閉じた$G$-不変3形式$\phi_S$を構成し、これによりDirac構造の歪みが定義される。
• Dirac多様体$M$から$S$への写像$J: M \to S$としてハミルトニアン空間を定義し、モーメント写像を$S$値とする。
• 互いに整合する分割とManin対の線形代数を用いて関手的同型を構成することで、Dirac幾何とquasi-Poisson幾何におけるハミルトニアンカテゴリの等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン空間のレベルで、$D/G$-値のモーメント写像に関して、Dirac幾何的およびquasi-Poisson的アプローチはどのように関係しているか？
• RQ2 G-値のモーメント写像のtwisted 2-formとquasi-Poisson定式化の間の等価性は、$D/G$-値のモーメント写像へ一般化可能か？
• RQ3 等位的接続は、$D/G$上の$\phi_S$-歪みDirac構造を構成する上で果たす役割は何か？
• RQ4 presymplectic群ガロアとdouble構造は、Dirac形式とquasi-Poisson形式の両方の枠組みからどのように生じるか？
• RQ5 2つの形式的枠組みにおけるハミルトニアン空間のカテゴリの間に、自然な同型が存在するか？

主な発見

• Dirac幾何的枠組みとquasi-Poisson幾何的枠組みにおける$D/G$-値のモーメント写像付きハミルトニアン空間のカテゴリは、同型である。
• 主$G$-バンドル$D \to D/G$上の等位的接続$\theta$は、閉じた$G$-不変3形式$\phi_S$と、$S = D/G$上の$\phi_S$-歪みDirac構造$L_S$を誘導する。
• 分割が$\theta$によって誘導されるとき、Dirac構造$L_S$は$\mathfrak{g} \subset \mathfrak{d}_S = \mathfrak{d} \times S$の部分バンドルに対応する。
• 2つの形式的枠組みの間の等価性は、モーメント写像の同型写像と整合性条件を保存する自然な関手によって確立される。
• 理論により、G-値のモーメント写像と対称空間値のモーメント写像が、$D/G$-値のモーメント写像の特別な場合として統一される。
• 構成により、Dirac幾何における$TS \oplus T^*S$による「double」と、quasi-Poisson幾何における作用のLie代数束による「double」が幾何的に同値であることが示された。