[论文解读] Review of deformation theory II: a homotopical approach

Ai Guan, Andrey Lazarev+2 more|arXiv (Cornell University)|Nov 29, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 6

一句话总结

本文在特征零情形下建立了同伦型的形变理论框架，证明任何形变函子均可通过微分分次李代数（dg-Lie 代数）在同调等价意义下控制。利用模型范畴理论与 Koszul 对偶性，证明了局部伪紧致分次代数的形变函子在同伦范畴中具有表示性，将经典结果推广至同伦协变量的设定。

ABSTRACT

We give a general treatment of deformation theory from the point of view of homotopical algebra following Hinich, Manetti and Pridham. In particular, we show that any deformation functor in characteristic zero is controlled by a certain differential graded Lie algebra defined up to homotopy, and also formulate a noncommutative analogue of this result valid in any characteristic.

研究动机与目标

• 通过模型范畴与 Brown 表示性定理，为形变理论提供严谨的同伦基础。
• 将经典结果（即形变函子由 dg-Lie 代数控制）推广至同伦不变的设定。
• 通过结合 associative dg 代数，建立适用于任意特征的非交换类比。
• 证明在适当条件下，局部伪紧致 dg 代数上的形变函子在同伦范畴中具有表示性。
• 通过 Koszul 对偶性与 bar–cobar 构造，比较交换与结合形变理论。

提出的方法

• 利用 Quillen 的闭模型范畴，形式化局部伪紧致 dg 代数上的形变函子。
• 在紧生成模型范畴中应用 Brown 表示性定理，确立形变函子的同伦表示性。
• 利用 dg 李代数与余交换 dg 余代数之间的 Koszul 对偶性（基于 Hinich 的框架），将形变函子与 dg-Lie 代数关联。
• 利用 bar–cobar 构造将结合 dg 代数与 dg-Lie 代数关联，实现形变控制的传递。
• 制定在局部伪紧致 dg 代数的同伦范畴上，函子具有表示性的条件：同伦不变性、归一化、保持乘积，以及纤维积映射的满射性。
• 应用阿贝尔化函子与 Chevalley–Eilenberg 构造之间的伴随关系，关联结合与交换形变函子。

实验结果

研究问题

• RQ1 在何种条件下，局部伪紧致 dg 代数上的形变函子在同伦范畴中具有表示性？
• RQ2 在特征零下，如何通过 dg-Lie 代数（在同调等价意义下）控制形变函子？
• RQ3 在同伦设定下，结合形变理论与交换形变理论之间有何关系？
• RQ4 bar–cobar 对偶性是否可用于关联由结合 dg 代数控制的形变函子与由 dg-Lie 代数控制的形变函子？
• RQ5 在局部伪紧致 dg 代数的同伦范畴上，函子具有表示性的必要且充分条件是什么？

主要发现

• 任何在局部伪紧致 dg 代数的同伦范畴上定义的形变函子，若满足同伦不变性、归一化、保持乘积，且纤维积映射满足满射性，则具有表示性。
• 在特征零下，每个形变函子均可通过形变代数的 bar 构造，在同调等价意义下由 dg-Lie 代数控制。
• 与 dg 代数 𝔤 关联的形变函子由 bar 构造 Bar(𝔤) 表示，且同构于 Lie(𝔤) 的 Maurer–Cartan 函子。
• 将结合形变函子限制在局部伪紧致交换 dg 代数范畴上，对应于由结合代数的李代数控制的形变函子。
• Chevalley–Eilenberg 构造给出了从 bar 构造到交换 dg 代数的同伦映射类与关联李代数的 Maurer–Cartan 元素之间的自然同构。
• 模的导出自同态的非单位元 dg 代数控制其形变；当限制在交换情形时，其对应于该自同态代数的李代数。