[论文解读] Dirac geometry and integration of Poisson homogeneous spaces

Henrique Bursztyn, David Iglesias Ponte+1 more|arXiv (Cornell University)|May 27, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用 8

一句话总结

该论文通过Dirac几何方法证明了所有Poisson李群的Poisson齐次空间的可积性，利用主丛上Dirac结构的拉回构造了显式的辛群胚。关键贡献是一个普遍定理，表明齐次空间上Dirac结构的可积性对应于其在全空间上拉回结构的H-容许积分，从而为半单李群及其对称空间、共轭类和旗流形提供了显式构造。

ABSTRACT

Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M o M/H$, integrations of a Dirac structure on $M/H$ to $H$-admissible integrations of its pullback Dirac structure on $M$ by pre-symplectic groupoids. Our construction gives a distinguished class of explicit real or holomorphic pre-symplectic and symplectic groupoids over semi-simple Lie groups and some of their homogeneous spaces, including their symmetric spaces, conjugacy classes, and flag varieties. In a more general framework, we also show integrability of all homogeneous spaces of ${\mathcal{LA}}^\vee$-Lie groups in the sense of E. Meinrenken.

研究动机与目标

• 解决Poisson李群的Poisson齐次空间可积性这一长期悬而未决的问题。
• 通过使用Dirac几何和主丛结构，推广现有的可积性结果。
• 为Poisson齐次空间构造显式的辛群胚，特别是针对半单李群。
• 将框架扩展至复和实情形，包括对称空间和旗流形。
• 建立商空间上Dirac结构的积分与全空间上其拉回结构的H-容许积分之间的对应关系。

提出的方法

• 利用Dirac几何，通过主丛 M → M/H，将齐次空间 G/H 上Dirac结构的可积性与全空间 M 上其拉回结构的 H-容许积分联系起来。
• 应用李代数胚和李群胚理论，特别是 H-李代数胚对与 H-李群胚对，以关联可积性条件。
• 采用群胚上乘法预辛形式与辛形式的概念，其显式公式源自Drinfeld双代数和服装作用（dressing action）。
• 构造一个群胚1-上循环 cω，满足 c′ω(a) = dμω(a)，以确保与辛形式的乘法结构相容。
• 通过右不变向量场和Poisson李群的李代数对偶，推导出群胚 G(L) 上预辛形式 ω 的显式公式。
• 利用李代数胚的源-单连通积分，确保通过Dirac结构构造辛群胚的唯一性与可构造性。

实验结果

研究问题

• RQ1 每个Poisson李群的Poisson齐次空间是否都能被积分化为辛群胚？
• RQ2 齐次空间上Dirac结构的可积性如何与主丛上其拉回结构的可积性相关联？
• RQ3 可以为半单李群及其齐次空间构造哪些显式的辛群胚？
• RQ4 群胚上的乘法预辛形式如何与底层李代数胚的上循环及矩映射相关联？
• RQ5 Drinfeld双代数和服装作用在这些积分构造中起什么作用？

主要发现

• 任何Poisson李群的Poisson齐次空间均可被积分化为辛群胚，解决了Poisson几何中的一个核心开放问题。
• 该构造为实与复半单李群及其齐次空间（包括对称空间、共轭类和旗流形）提供了显式的辛群胚。
• 群胚 G(L) 上的预辛形式 ω 通过涉及李代数对偶与右不变向量场的显式公式给出，其结构与Drinfeld双代数一致。
• 群胚1-上循环 cω 满足 c′ω(u+ξ) = −dξˡ，确保与乘法辛结构相容。
• 该方法建立了 G/H 上Dirac结构可积性与全空间 M 上其拉回结构 H-容许积分之间的普遍等价关系，适用于 LA∨-李群。
• 李代数胚的源-单连通积分确保了辛群胚在同构意义下的唯一性，且该构造在实与复情形下均成立。