[论文解读] Courant Algebroids and Strongly Homotopy Lie Algebras

Dmitry Roytenberg, Alan Weinstein|arXiv (Cornell University)|Feb 27, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 115

一句话总结

本文证明，广义了李双胚体的余双体及标准 TM ⊕ T*M（配备Courant括号）的结构——Courant代数胚，自然地携带一个强同伦李代数（L∞-代数）结构。通过构建Courant代数胚的显式同调解析，作者表明：括号的异常（即违反雅可比恒等式与莱布尼茨法则）被编码为高阶同伦运算，证明整个结构满足L∞-代数的定义恒等式，且结构映射简单自然，其中大多数高阶括号为零。

ABSTRACT

Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.

研究动机与目标

• 理解Courant括号的几何与代数异常性质，其不满足雅可比恒等式与莱布尼茨法则。
• 建立Courant代数胚与强同伦李代数（L∞-代数）之间的联系，后者已知在形变理论与数学物理中出现。
• 构造Courant代数胚的显式、自然的同调解析，使其作为L∞-代数实现，且在大多数情况下高阶括号为零。
• 提供一个概念性框架，系统地将Courant括号不构成李括号的失败编码为高阶同伦关系。

提出的方法

• 对Courant代数胚 E = TM ⊕ T*M 构建有限同调解析，将其分解为分次分量：E0 = Γ(TM)，E1 = Γ(T*M)，E2 = C∞(M)。
• 定义结构映射 l1: E1 → E0，l2: E1 ⊗ E1 → E0，l3: E1 ⊗ E1 ⊗ E1 → E0，其中 l1 为微分，l2 为Courant括号，l3 为雅可比子（Jacobiator）T。
• 利用Courant代数胚公理——特别是锚映射条件、莱布尼茨法则以及括号的微分性质——推导出结构映射满足的恒等式。
• 证明映射满足L∞-代数恒等式：(l1)² = 0，l1l2 = 0，以及涉及 l2 与 l3 的广义雅可比恒等式。
• 通过显式计算雅可比子 J 与括号关系，验证关键恒等式 l2l3 = l3l2 与 (l2l2 + l3l1) = 0。
• 利用技术引理表明：雅可比子 J 满足 J(e1,e2,e3),e4⟩ + 循环项 = 0，且括号的括号满足特定反对称关系，从而确认一致性。

实验结果

研究问题

• RQ1 Courant括号虽不满足雅可比恒等式与莱布尼茨法则，能否系统地理解为更高阶代数结构的一部分？
• RQ2 是否存在一种自然方式，通过同调解析将Courant代数胚实现为强同伦李代数（L∞-代数）？
• RQ3 在此实现中，高阶结构映射（l1, l2, l3）的显式形式为何？它们是否满足L∞-代数恒等式？
• RQ4 Courant括号中的异常——即表达式的微分——如何对应于L∞-代数中的高阶同伦运算？
• RQ5 李双胚体的双重构造能否被理解为该L∞-代数结构的特例？

主要发现

• Courant代数胚 E = TM ⊕ T*M 在有限同调解析下自然携带L∞-代数结构，其分量为 E0 = Γ(TM)，E1 = Γ(T*M)，E2 = C∞(M)。
• 结构映射显式定义为：l1 为微分，l2 为Courant括号，l3 为雅可比子 T，且大多数高阶括号为零。
• 映射 l2l2 + l3l1 恒为零，确认L∞-代数恒等式 (l2l2 + l3l1) = 0 成立，该恒等式编码了Courant括号不满足雅可比恒等式的失败。
• 通过关系 K + 2J = 0（其中 J 为雅可比子，K 为括号的括号）证明了恒等式 l2l3 = l3l2，表明高阶运算的一致性。
• 证明依赖于技术引理：雅可比子满足循环和恒等式，且括号的括号满足反对称条件，二者对L∞-代数的闭包至关重要。
• 该构造自然且典范，选择最少，为Courant括号异常提供了概念性解析，即以高阶同伦关系系统编码。