[论文解读] Lie II theorem for Lie algebroids via higher groupoids

Chenchang Zhu|arXiv (Cornell University)|Dec 31, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 3

一句话总结

本文通过构造一个称为普遍 W-2-群胚（universal W-groupoid）的通用积分 Lie 2-群胚，建立了 Lie 代数丛的 Lie II 定理——该 2-群胚是源-2-连通的，可积分任意 Lie 代数丛（无论是否经典可积）。证明了 Lie 代数丛的同态可唯一提升为这些高阶群胚的同态，将经典 Lie II 定理推广至高阶微分流形栈的范畴，并提供了完整的函子性积分过程。

ABSTRACT

Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie groups, Lie algebroids (integrable or not) one-to-one correspond to a sort of etale Lie 2-groupoids with 2-connected source fibres. Finally, we discuss how to lift Lie algebroid morphisms to Lie 2-groupoid morphisms (Lie II Theorem).

研究动机与目标

• 将经典的 Lie II 定理（关联 Lie 代数同态与 Lie 代数群同态）推广至 Lie 代数丛与高阶群胚的范畴。
• 通过在微分流形栈范畴中引入一个通用积分对象，解决并非所有 Lie 代数丛在经典意义下可积为 Lie 群胚的问题。
• 在 Lie 代数丛与一类具有 2-连通源纤维的局部平凡（étale）Lie 2-群胚之间建立一一对应关系，推广 Lie III 定理。
• 提供一个函子性积分过程，将 Lie 代数丛同态提升为普遍积分 Lie 2-群胚之间的同态。

提出的方法

• 从在顶点处消失的 Lie 代数丛同态 $ T\triangle^i \to A $ 构造一个单纯集 $ S(A) $，编码 $ A $-路径与 $ A $-同伦。
• 对 $ S(A) $ 应用 Kan 修复，得到一个普遍的 Lie 2-群胚 $ \mathcal{G}(A) $，其源纤维为 2-连通。
• 利用栈群胚与 Morita 等价性，将 $ \mathcal{G}(A) $ 表示为微分流形栈中的群胚，确保与几何与同伦结构的兼容性。
• 通过涉及主丛与中心扩张的群胚表示定义普遍 W-群胚 $ \mathcal{G}(A) $，例如对 $ TS^2 $ 有 $ \tilde{S}^2 \times \tilde{S}^2 / B\mathbb{Z} $。
• 利用同伦正合列与栈理论方法，证明 $ \mathcal{G}(A) $ 是积分 $ A $ 的普遍对象，且其源纤维为 2-连通。
• 证明任意 Lie 代数丛同态 $ A \to B $ 可唯一提升为普遍 Lie 2-群胚同态 $ \mathcal{G}(A) \to \mathcal{G}(B) $，从而在该语境下确立 Lie II 定理。

实验结果

研究问题

• RQ1 能否为任意 Lie 代数丛（即使在经典意义下不可积）构造一个普遍积分对象？
• RQ2 何种正确的高阶群胚结构可作为 Lie 代数丛的单连通 Lie 代数群的推广？
• RQ3 如何以函子性方式将 Lie 代数丛同态提升为积分对象之间的同态？
• RQ4 高阶同伦群（尤其是 $ \pi_2 $）在 Lie 代数丛的积分中起何种作用？
• RQ5 构造 $ \mathcal{G}(A) $ 与已知几何对象（如 Poisson sigma 模型或 Hopf 纤维丛）之间有何关联？

主要发现

• 由 Lie 代数丛 $ A $ 构造的普遍 W-群胚 $ \mathcal{G}(A) $ 是源-2-连通的，即其源纤维的 $ \pi_1 $ 与 $ \pi_2 $ 均平凡，确保最大连通性。
• 对于切丛 $ TS^2 $，普遍积分 Lie 2-群胚为 $ \tilde{S}^2 \times \tilde{S}^2 / B\mathbb{Z} $，其中 $ \tilde{S}^2 $ 是对应 Hopf 纤维丛的 $ B\mathbb{Z} $-主丛，且该对象在源纤维上具有平凡的 $ \pi_2 $。
• 通过将 $ A $-路径与 $ A $-同伦的单纯集 $ S(A) $ 进行 Kan 修复，构造 $ \mathcal{G}(A) $，得到一个栈型 Lie 2-群胚，可普遍且函子性地积分 $ A $。
• 即使 $ A $ 在经典意义下不可积，普遍 W-群胚 $ \mathcal{G}(A) $ 仍能提供对 $ A $ 的完整积分，方法是通过微分流形栈。
• 在该语境下，Lie II 定理成立：每个 Lie 代数丛同态 $ A \to B $ 均可唯一提升为普遍 Lie 2-群胚同态 $ \mathcal{G}(A) \to \mathcal{G}(B) $，推广了经典结果。
• 群胚 $ \mathcal{G}(TS^2) $ 的同伦群满足 $ \pi_2(\text{源纤维}) = \pi_1(B\mathbb{Z}) = \mathbb{Z} $，但由于 $ B\mathbb{Z} $-作用的存在，总源纤维的 $ \pi_2 $ 为平凡，从而确认了 2-连通性。