[论文解读] Formal deformations of morphisms of associative algebras

Dennis Borisov|ArXiv.org|Jun 23, 2005

Advanced Topics in Algebra参考文献 5被引用 6

一句话总结

本文构建了一个 $Δ}_{\infty}$-代数，用于控制微分分次结合代数之间态射及其定义域与值域的同步形变。证明了该 $Δ}_{\infty}$-代数的单纯德利涅群胚与形变群胚弱同伦等价，并表明其上同调与经典的格尔斯滕哈伯-舍克上同调一致，确认了与先前构造的一致性。

ABSTRACT

The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical construction is shown.

研究动机与目标

• 描述微分分次结合代数之间态射的形式形变理论，包括态射及其定义域与值域的同步形变。
• 构造一个 $Δ}_{\infty}$-代数来控制这些同步形变，而非使用李代数，因为复合结构导致高阶运算的出现。
• 建立该 $Δ}_{\infty}$-代数的单纯德利涅群胚与实际形变群胚之间的弱同伦等价。
• 证明该 $Δ}_{\infty}$-代数的上同调与经典格尔斯滕哈伯-舍克上同调一致，确认与先前工作的兼容性。

提出的方法

• 使用微分分次代数态射范畴的单纯局部化，将同伦形变建模为单纯范畴之间函子的纤维。
• 通过霍赫希尔德上同调上的 $Γ}_{\infty}$-结构将形变问题转化为 $Δ}_{\infty}$-代数的定义，利用Maurer-Cartan方程。
• 通过余微分与余自由余代数的态射定义 $Δ}_{\infty}$-代数，其运算反映了代数态射的复合结构。
• 利用巴尔-考伯构造，从 $Δ}_{\infty}$-代数的德利涅群胚到形变群胚构造一个单纯函子。
• 通过证明巴尔-考伯构造在映射空间上诱导弱同伦等价，从而证明德利涅群胚与形变群胚之间的弱同伦等价。
• 利用几乎自由的非正则分次代数的纤维性，确保在模型范畴设定下纤维计算的有效性。

实验结果

研究问题

• RQ1 如何利用同伦代数语言形式化微分分次结合代数中态射及其定义域与值域的同步形变？
• RQ2 为何在此形变问题中需要使用 $Δ}_{\infty}$-代数而非李代数？
• RQ3 所构造的 $Δ}_{\infty}$-代数的单纯德利涅群胚是否与实际形变群胚等价？
• RQ4 该 $Δ}_{\infty}$-代数的上同调是否与经典格尔斯滕哈伯-舍克上同调一致？
• RQ5 高阶运算（如三元运算）如何自然地从形变复形中态射的复合结构中产生？

主要发现

• 所构造的 $Δ}_{\infty}$-代数控制了微分分次结合代数中态射及其定义域与值域的同步形变。
• 该 $Δ}_{\infty}$-代数的德利涅群胚与形变群胚弱同伦等价，确立了该 $Δ}_{\infty}$-代数作为正确形变函子的地位。
• 该 $Δ}_{\infty}$-代数的上同调同构于经典格尔斯滕哈伯-舍克上同调，确认了与先前工作的兼容性。
• 该 $Δ}_{\infty}$-代数复形上的微分由映射 $C^\bullet(A,A) \oplus C^\bullet(B,B) \to C^\bullet(A,B)$ 的锥给出，经由态射 $\gamma$ 扭转，与已知微分一致。
• 上同调上的李代数结构源自 $Δ}_{\infty}$-结构的二元运算，该运算与格尔斯滕哈伯-舍克理论中使用的圆积的交换子一致。
• 该构造依赖于非正则分次代数的纤维性，确保在模型范畴设定下纤维计算的有效性。