[论文解读] Higher Lie theory

Daniel Robert-Nicoud, Bruno Vallette|arXiv (Cornell University)|Oct 20, 2020

Advanced Algebra and Geometry被引用 5

一句话总结

本文提出了一种新的单纯上同调方法，通过用一个普遍对象表示Maurer–Cartan空间函子，实现了同伦李代数的积分化，从而构造出一个行为良好的左伴随函子，并建立了一套一致的高阶Baker–Campbell–Hausdorff公式层级。该框架在∞-同态下保持函子性，并提供了忠实反映拓扑空间有理同伦类型的同伦李代数模型。

ABSTRACT

We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the existence of additional, previously unknown, structures and properties. Namely, we introduce a well-behaved left adjoint functor, we establish functoriality with respect to infinity-morphisms, and we construct a coherent hierarchy of higher Baker-Campbell-Hausdorff formulas. Thanks to these tools, we are able to establish the most important results of higher Lie theory. We use the recent developments of the operadic calculus, which leads us to explicit tree-wise formulas at all stage. We conclude by applying this theory to rational homotopy theory: the left adjoint functor is shown to provide us with homotopy Lie algebra models for topological spaces which faithfully capture their rational homotopy type.

研究动机与目标

• 使用一个普遍的单纯上同调对象，系统地发展完整移位同伦李代数的积分理论。
• 建立Maurer–Cartan空间函子的左伴随函子，确保高阶李理论中的函子性和一致性。
• 构建一套高阶Baker–Campbell–Hausdorff公式的层级结构，以编码更高阶的同伦结构。
• 将该框架应用于有理同伦理论，提供忠实反映拓扑空间有理同伦类型的同伦李代数模型。
• 厘清∞-同态与∞π-同态之间的关系，并证明积分函子的同伦不变性。

提出的方法

• 通过一个普遍的单纯上同调对象表示Maurer–Cartan空间函子，推广了Getzler原始构造。
• 运用操作代数微积分，推导出所有代数与同伦构造的显式树状公式。
• 将积分函子定义为Maurer–Cartan函子的左伴随，确保其与∞-同态的兼容性。
• 引入∞π-同态作为一类精炼的同态，用于控制函子性和同伦不变性。
• 使用扭转变换方法，关联积分过程中规范等价与同伦等价的关系。
• 通过在Maurer–Cartan空间中填充锥面，利用加权平面有根树构造高阶Baker–Campbell–Hausdorff乘积。

实验结果

研究问题

• RQ1 如何通过一个普遍的单纯上同调对象表示Maurer–Cartan空间函子，以实现同伦李代数的积分化？
• RQ2 在高阶李理论的背景下，∞-同态与∞π-同态之间的精确关系是什么？
• RQ3 能否系统地构建一套一致的高阶Baker–Campbell–Hausdorff公式层级，以编码更高阶的同伦数据？
• RQ4 积分函子是否保持同伦类型，并忠实建模拓扑空间的有理同伦类型？
• RQ5 Maurer–Cartan空间函子的左伴随函子与经典李理论及有理同伦理论有何关联？

主要发现

• 证明了积分函子是Maurer–Cartan空间函子的一个行为良好的左伴随函子，为完整移位同伦李代数的系统积分提供了方法。
• 该框架在∞π-同态下建立了函子性，且证明了∞π-同态是控制同伦不变性的正确同态类。
• 构建了一套一致的高阶Baker–Campbell–Hausdorff公式层级，其显式树状表达式由操作代数微积分导出。
• 积分函子具有同伦不变性，并尊重形变问题的包含关系，确保与模型范畴结构的兼容性。
• 左伴随函子生成了拓扑空间的同伦李代数模型，能忠实捕捉其有理同伦类型，解决了人为基点带来的问题。
• 证明了形式微分方程 $ v(t) = \sum_{\tau \in \mathrm{wPT}} \frac{1}{W(\tau)} \tau^f(v_0) $ 的解是唯一的，从而给出了BCH型流的树基公式。