[论文解读] Integrability of Lie brackets

Marius Crainic, Rui Loja Fernandes|ArXiv.org|May 4, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 6

一句话总结

本文通过识别两个可计算的障碍——单值群和二阶单值映射，解决了将李代数丛整合到李群丛这一长期存在的问题。它建立了完整的可积性判据，推广了李的第三定理，并统一了泊松几何、叶状结构理论和几何力学中的已知结果。

ABSTRACT

In this paper we present the solution to a longstanding problem of differential geometry: Lie's third theorem for Lie algebroids. We show that the integrability problem is controlled by two computable obstructions. As applications we derive, explain and improve the known integrability results, we establish integrability by local Lie groupoids, we clarify the smoothness of the Poisson sigma-model for Poisson manifolds, and we describe other geometrical applications.

研究动机与目标

• 解决长期存在的问题：每个李代数丛是否都能积分到一个李群丛？
• 识别并表征李代数丛可积性障碍的精确条件。
• 将李的第三定理从李代数推广到更广泛的李代数丛设定。
• 统一并澄清泊松几何、叶状结构和几何力学中已有的可积性结果。
• 建立普遍积分对象——威滕群丛——的存在性，作为任意李代数丛的积分对象。

提出的方法

• 引入 $A$-路径，即在李代数丛中定义的曲线，其在锚映射下提升为基流形中的曲线。
• 定义 $A$-路径的同伦关系，以在 $A$-路径的等价类空间上构造群丛结构。
• 通过在同伦关系下对 $A$-路径取商，构造威滕群丛 $\mathcal{G}(A)$，作为候选积分群丛。
• 引入单值群作为可积性的障碍，度量 $A$-路径在同伦下无法闭合的失败程度。
• 通过截面的无穷小流定义二阶单值映射，捕捉更高阶的障碍。
• 利用截面的无穷小流通过李代数丛上的导子，定义纤维上的类似整体变换的作用。

实验结果

研究问题

• RQ1 李代数丛积分到李群丛的必要且充分条件是什么？
• RQ2 如何将可积性问题简化为可计算的障碍？
• RQ3 威滕群丛在何种意义上可作为李代数丛的普遍积分对象？
• RQ4 单值群和二阶单值映射如何度量可积性失败的程度？
• RQ5 该框架如何推广李的第三定理，并统一泊松几何与叶状结构理论中的已知可积性结果？

主要发现

• 本文建立了完整的可积性判据：李代数丛当且仅当其单值群为零时，可积分到李群丛。
• 二阶单值映射提供了可计算的障碍，其在且仅在第一个单值群为平凡时消失。
• 威滕群丛 $\mathcal{G}(A)$ 是李群丛，当且仅当单值障碍消失。
• 通过 $A$-路径与同伦构造威滕群丛的方法，为任意李代数丛提供了自然且函子式的积分。
• 该框架解释并改进了泊松几何中已知的可积性结果，包括泊松 $\sigma$-模型的光滑性。
• 截面的无穷小流推广了伴随作用，并通过 $A^*$ 上的哈密顿流，为李代数丛结构提供了几何实现。