[论文解读] Formality for algebroids I: Nerves of two-groupoids

Paul Bressler, Alexander Gorokhovsky+2 more|arXiv (Cornell University)|Nov 28, 2012

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

一句话总结

本文建立了在度数低于 -1 时分量为零的微分分次李代数 𝔤 关联的 Deligne 2-群胚的骨架与 Hinich 构造的 𝔤-值微分形式的单纯集之间的同伦等价。该结果为通过单纯方法理解形变理论提供了形式化框架，表明在 L∞-代数与高阶群胚的语境下，这两种模型在拟范畴意义下是等价的。

ABSTRACT

We show that for a differential graded Lie algebra $\mathfrak{g}$ whose components vanish in degrees below -1 the nerve of the Deligne 2-groupoid is homotopy equivalent to the simplicial set of $\mathfrak{g}$-valued differential forms introduced by V.Hinich.

研究动机与目标

• 建立高阶范畴结构（2-群胚）与形变理论中微分形式之间的同伦理论桥梁。
• 阐明 Deligne 2-群胚骨架与 Hinich 的 L∞-代数单纯模型之间的关系。
• 通过单纯与同伦方法，为形变理论中的高阶结构提供形式化框架。
• 通过微分分次李代数语境下的骨架构造，拓展对形式模问题的理解。

提出的方法

• 构造与一个在度数 < -1 时分量为零的微分分次李代数 𝔤 关联的 Deligne 2-群胚的骨架。
• 利用 Hinich 的构造定义一个 𝔤-值微分形式的单纯集，该构造对 𝔤 的形式模问题进行建模。
• 在 2-群胚的骨架与 Hinich 的 𝔤-值形式单纯集之间建立一个映射。
• 使用同伦代数技术，包括纤维化替换与单纯同伦理论，证明该映射是同伦等价。
• 利用 𝔤 的分量集中在度数 ≤ 0 的事实，确保 2-群胚结构良好且与微分形式相容。
• 应用 ∞-范畴理论与 L∞-代数理论的结果，对两种模型进行范畴比较。

实验结果

研究问题

• RQ1 对于在度数低于 -1 时分量为零的微分分次李代数，其 Deligne 2-群胚骨架是否与 Hinich 的 𝔤-值微分形式单纯集同伦等价？
• RQ2 在 L∞-代数语境下，高阶范畴结构（2-群胚）如何建模形变问题？
• RQ3 单纯模形式模空间与高阶群胚骨架之间的精确关系是什么？
• RQ4 Deligne 2-群胚的同伦类型能否由取值于微分分次李代数的微分形式捕捉？
• RQ5 在多大程度上，两种模型——2-群胚骨架与 Hinich 的单纯集——代表了相同的形变模问题？

主要发现

• 对于在度数低于 -1 时分量为零的微分分次李代数 𝔤，其 Deligne 2-群胚骨架与 Hinich 的 𝔤-值微分形式单纯集之间存在同伦等价。
• 该等价性在形变理论中建立了高阶范畴结构与微分形式模型之间的直接联系。
• 该结果确认了 Hinich 的单纯集从 ∞-范畴意义下正确地对 𝔤 的形式模空间进行了建模。
• 当 𝔤 集中在度数 ≤ 0 时，该同伦等价成立，从而确保 2-群胚结构良好且纤维化。
• 该构造为 𝔤 的形式模问题提供了单纯模型，且与 L∞-代数的同伦理论相容。
• 本文为通过 2-群胚骨架及其与微分形式模型的等价性来解释形变问题，提供了正式框架。