[论文解读] Deformation Theory and Partition Lie Algebras

Lukas Brantner, Akhil Mathew|arXiv (Cornell University)|Apr 15, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 41被引用 12

一句话总结

本文引入了分拆李代数（partition Lie algebras），作为微分分次李代数的特征无关推广，为任意特征下的形式模形式问题提供了李代数框架。它建立了在域或完备局部基上，形式模形式问题与分拆李代数之间的等价关系，将Lurie–Pridham对应关系推广至特征零以外的情形。

ABSTRACT

A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant of differential graded Lie algebras, called partition Lie algebras, in arbitrary characteristic. We then explicitly compute the homotopy groups of free algebras, which parametrise operations. Finally, we prove generalisations of the Lurie-Pridham correspondence classifying formal moduli problems via partition Lie algebras over an arbitrary field, as well as over a complete local base.

研究动机与目标

• 本文旨在将原本仅在特征零下成立的Lurie–Pridham对应关系推广至正特征和混合特征情形。
• 它旨在填补在有限特征和混合特征下，对导出形变的李理论描述的缺失。
• 目标是定义一类新的同伦李代数，称为分拆李代数，以捕捉任意特征下形式模形式问题的无穷小结构。
• 作者旨在计算自由分拆李代数的同伦群，这些同伦群参数化类似于Dyer–Lashof运算的自然运算。
• 最终目标是建立在任意域和完备局部环上，形式模形式问题与分拆李代数之间的精确对应关系。

提出的方法

• 作者利用∞-范畴和单子的框架，结合分拆复形的等变拓扑，定义了分拆李代数。
• 他们使用超覆盖理论和Kan扩张，构造了在紧致对象子范畴上的左Kan扩张。
• 该构造依赖于一类态射S，其在非正度数上诱导同伦群上的满射。
• 作者利用分拆复形|Πn|的结构及其同伦群，计算了自由分拆李代数的同伦群。
• 他们应用Grothendieck构造和单纯复形论证，证明某些超覆盖是余极限图。
• 关键技术工具是将函子从紧致对象扩展至整个范畴时，保持滤子余极限的扩张，从而实现左Kan扩张的计算。

实验结果

研究问题

• RQ1 能否将形式模形式问题与微分分次李代数之间的Lurie–Pridham对应关系推广至正特征和混合特征？
• RQ2 在任意特征下，控制导出形变的正确同伦李代数结构是什么？
• RQ3 自由分拆李代数的同伦群如何参数化任意分拆李代数同伦群上的自然运算？
• RQ4 在完备局部基上，形式模形式问题与分拆李代数之间的确切关系是什么？
• RQ5 在∞-范畴的模和代数范畴中，如何利用超覆盖计算左Kan扩张？

主要发现

• 本文将分拆李代数构造为微分分次李代数的特征无关推广。
• 证明了在任意域k上，形式模形式问题与k上分拆李代数之间的∞-范畴等价。
• 在完备局部基环上建立了类似的等价关系，将对应关系扩展至算术设定。
• 计算了自由分拆李代数的同伦群，并表明其参数化任意分拆李代数同伦群上的Dyer–Lashof型运算。
• 作者证明了任何保持sifted余极限的T-代数上的函子，均可从共连通模上的自由代数左Kan扩张得到。
• 通过(F, S)-超覆盖构造左Kan扩张，使得即使函子不保持所有几何实现，也能计算其值。