[论文解读] Integration of semidirect product Lie 2-algebras

Yunhe Sheng, Chenchang Zhu|arXiv (Cornell University)|Mar 6, 2010

Advanced Topics in Algebra被引用 11

一句话总结

本文提出了一种有限维的半直积李2代数的积分方法——具体而言，是针对由李代数的2-term上同调表示所导出的半直积李2代数，利用蝴蝶方法将 $L_–$-同态严格化，并构造出一个严格的李2群。主要贡献在于提出了一套系统性的、有限维的积分程序，避免了无穷维模型的使用，成功应用于全息李代数和弦型李2代数。

ABSTRACT

The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we integrate such a Lie 2-algebra to a strict Lie 2-group in the finite dimensional case.

研究动机与目标

• 提供由李代数的2-term上同调表示所导出的半直积李2代数的有限维积分。
• 克服在严格李2代数之间积分 $L_–$-同态时的技术难题，这类问题通常导致无穷维解。
• 应用蝴蝶方法将 $L_–$-同态严格化，并构造出积分半直积李2代数的严格李2群。
• 将该方法具体应用于全息李代数 $\mathfrak{gl}(V) \oplus V$ 的积分，作为具体实例。
• 对先前为弦型李2代数构造的非严格李2群进行严格化，此前该群并非自然严格。

提出的方法

• 利用蝴蝶方法将严格李2代数之间的 $L_–$-同态表示为严格同态的之字形结构，从而避免求解复杂的偏微分方程。
• 将李代数的交叉模 $\mathrm{End}(\mathbb{V})$ 积分，得到李群的交叉模 $\mathrm{Aut}(\mathbb{V})$。
• 通过群层面的半直积构造，从李群交叉模的严格同态构造出严格李2群。
• 将蝴蝶构造应用于李代数层面的 $L_–$-同态，将其上移到群层面，得到严格同态。
• 使用拉回构造，将目标李2代数（例如全息李代数）实现为更大严格李2代数的子李2代数。
• 对所得严格李2群进行微分，以恢复原始李2代数，从而确认其可积性。

实验结果

研究问题

• RQ1 能否将由2-term上同调表示导出的半直积李2代数积分到有限维的严格李2群？
• RQ2 在李2代数的背景下，如何绕过 $L_–$-同态的无穷维积分问题？
• RQ3 蝴蝶方法能否有效应用于将严格李2代数之间的 $L_–$-同态积分，以获得有限维李2群？
• RQ4 全息李代数 $\mathfrak{gl}(V) \oplus V$ 的显式李2群积分是什么？
• RQ5 是否可能对先前构造的、积分弦型李2代数的非严格李2群进行严格化？

主要发现

• 本文构造了一个有限维的严格李2群，用于积分任意由李代数及其2-term上同调表示所构成的半直积李2代数。
• 蝴蝶方法成功地将 $L_–$-同态转化为严格同态的之字形结构，使得在直接方法失效时仍能实现有限维积分。
• 全息李代数 $\mathfrak{gl}(V) \oplus V$ 的积分被实现为一个严格李2群，通过拉回和群层面的半直积显式构造。
• 所得全息李代数的李2群同构于 $G(\mathfrak{gl}(V) \times V)/\mathcal{G} \cong G(V)$，确认了其群结构的性质。
• 该构造为积分弦型李2代数 $\mathbb{R} \to \mathfrak{g} \oplus \mathfrak{g}^*$ 的李2群提供了严格化，此前该群并非自然严格。
• 对所构造的严格李2群进行微分，可恢复原始李2代数，从而确认该积分是正确且完整的。