[论文解读] 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幾何與擬泊松幾何——此前被視為不同方法——在$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幾何與擬泊松幾何——用於$D/G$-值矩陣映射。
• 解釋$G$-值矩陣映射的幾何來源及其在扭曲2-形式與擬泊松形式之間的等價性。
• 在Dirac與擬泊松設定下，建立哈密頓空間類之間的自然等價。
• 澄清餘截面與等變上同調在構造$D/G$-值矩陣映射中的作用。
• 證明預辛群胚與雙重結構在兩種框架中自然出現，並與廣義幾何中的「雙重」概念相聯繫。

提出的方法

• 從由群對$(D, G)$積分的Manin對$(\mathfrak{d}, \mathfrak{g})$出發，利用穿衣作用構造$G$-流形$S = D/G$。
• 透過$D \to D/G$主$G$-叢上的餘截面$\theta \in \Omega^1(D, \mathfrak{g})$，定義$S$上的$\phi_S$-扭曲Dirac結構$L_S \subset TS \oplus T^*S$。
• 利用$S$上平凡$\mathfrak{d}$-束作為精確Courant代數叢的識別，將$\theta$與$TS \oplus T^*S$的分裂聯繫起來。
• 從$\theta$的曲率構造$S$上的閉-equivariant 3-形式$\phi_S$，其定義了Dirac結構的扭曲。
• 透過從Dirac流形$M$到$S$的態射$J: M \to S$定義哈密頓空間，其矩陣映射取值於$S$。
• 透過相容分裂與Manin對的線性代數，構造函子同構，證明Dirac與擬泊松幾何中哈密頓類的等價性。

实验结果

研究问题

• RQ1 在哈密頓空間層次上，$D/G$-值矩陣映射的Dirac幾何與擬泊松方法有何關係？
• RQ2 能否將$G$-值矩陣映射的扭曲2-形式與擬泊松形式之間的等價性推廣至$D/G$-值矩陣映射？
• RQ3 餘截面在構造$D/G$上的$\phi_S$-扭曲Dirac結構中扮演何種角色？
• RQ4 預辛群胚與雙重結構如何從Dirac與擬泊松框架中自然出現？
• RQ5 兩種形式主義中哈密頓空間類之間是否存在自然等價？

主要发现

• 在Dirac與擬泊松框架下，$D/G$-值矩陣映射的哈密頓空間類彼此同構。
• 在$D \to D/G$上定義的餘截面$\theta$誘導出$S = D/G$上的閉-equivariant 3-形式$\phi_S$與$\phi_S$-扭曲Dirac結構$L_S$。
• 在由$\theta$誘導的分裂下，Dirac結構$L_S$對應於子叢$\mathfrak{g} \subset \mathfrak{d}_S = \mathfrak{d} \times S$。
• 兩種形式主義的等價性透過保持矩陣映射態射與相容條件的自然函子建立。
• 該理論將$G$-值矩陣映射與對稱空間值矩陣映射統一為$D/G$-值矩陣映射的特例。
• 該構造表明，Dirac幾何中（透過$TS \oplus T^*S$）與擬泊松幾何中（透過作用的李代數叢）的「雙重」概念在幾何上是等價的。