[论文解读] Generalized complex structures and Lie brackets

Marius Crainic|ArXiv.org|Dec 5, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 32

一句话总结

本文揭示了广义复结构的复杂且看似难以处理的定义方程，当通过李代数丛和群丛的视角审视时，会显著简化。通过从底层泊松结构的辛群丛构造一个‘希钦群丛’，作者表明广义复结构对应于该群丛上的非退化广义复结构，从而提供了一个全局的、可积的框架，阐明了其几何意义，并在广义复几何中实现了新构造。

ABSTRACT

We look at generalized complex structures from the point of view of Poisson and Dirac geometry and we remark that the puzzling equations underlying the notion of generalized complex structure have miraculously simple meaning when passing to Lie algebroids/groupoids.

研究动机与目标

• 澄清广义复结构复杂定义方程的几何意义。
• 证明这些结构可通过李群丛实现自然的全局积分化。
• 建立流形上广义复结构与相关辛群丛上非退化广义复结构之间的一一对应关系。
• 为理解此全局设定下的广义全纯映射与约化提供框架。
• 通过群丛积分的视角，探索广义复几何与泊松、狄拉克及辛几何之间的联系。

提出的方法

• 本文使用与广义复结构底层泊松二阶张量相关的辛群丛作为全局对象。
• 引入了‘希钦群丛’的概念——一种配备有乘法广义复结构及基空间上2-形式的李群丛。
• 作者证明了广义复结构的定义方程（C1）–（C3）等价于群丛上存在一个乘法2-形式及与群丛结构相容的几乎复结构。
• 他们利用李群丛上乘法形式的理论，特别是形式为乘法且与群丛结构相容的条件。
• 该构造依赖于余切括号和广义复结构能自然地提升至群丛层面并保持可积性这一事实。
• 关键技术工具是将广义复结构识别为形如 $\mathcal{J} = \begin{pmatrix} a & \pi^\sharp \\ \sigma_\sharp & -a^* \end{pmatrix}$ 的丛映射，该映射被证明对应于群丛上的广义复结构。

实验结果

研究问题

• RQ1 广义复结构的复杂定义方程如何能获得更简洁、几何化的解释？
• RQ2 广义复结构背后的全局可积对象是什么？
• RQ3 广义全纯映射与约化概念能否通过群丛作用来理解？
• RQ4 广义复结构的规范等价性与群丛设定下的莫里塔等价之间有何关系？
• RQ5 希钦群丛构造与泊松σ模型及广义复几何之间有何联系？

主要发现

• 广义复结构的定义方程等价于其底层泊松结构的辛群丛上存在一个乘法广义复结构。
• 流形 $M$ 上的广义复结构与‘希钦群丛’之间存在一一对应关系——即配备有乘法广义复结构及基空间上满足 $\omega + J^*\omega = t^*\sigma - s^*\sigma$ 的2-形式的李群丛。
• 希钦群丛的各向同性群是复李群，其复结构继承自群丛上的广义复结构。
• 该构造提供了广义复结构的全局积分化，消除了原始方程的局部复杂性。
• 广义复结构的规范变换对应于群丛结构的规范变换，且所得群丛彼此莫里塔等价。
• 广义复结构的希钦群丛是自莫里塔等价的，且该构造可通过预辛群丛推广至狄拉克结构。