[论文解读] Erratum to: "A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold"

Vasiliy Dolgushev|ArXiv.org|Mar 4, 2007

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

一句话总结

本文修正了Dolgushev在2007年对光滑流形上Tsygan形式性猜想证明中引理1的缺陷，通过使用$ L_\infty $-同构的Maurer-Cartan元素解释，提供了一种新证明。该修正保持了所有原始结果（包括定理6）的有效性，通过在DG余交换余代数的模型范畴结构下重新定义$ L_\infty $-同构之间的同伦关系。

ABSTRACT

Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results of math.QA/0504420.

研究动机与目标

• 修正Dolgushev 2007年关于Tsygan形式性猜想论文第2.3节引理1中的错误。
• 利用$ L_\infty $-同构的Maurer-Cartan元素解释，提供引理1的严格证明。
• 以与模型范畴理论一致的方式重新定义$ L_\infty $-同构之间的同伦关系。
• 确保即使经过修正，原始论文中的定理6及其他结果依然有效。
• 通过DG余交换余代数建立$ L_\infty $-同构之间同伦的模型范畴理论解释。

提出的方法

• 将$ L_\infty $-同构重新解释为由同态复形构造的辅助$ L_\infty $-代数中的Maurer-Cartan元素。
• 使用移位算子$ s $和Schur函子$ F_{{\Lambda}{\bf cocomm}} $，为$ L_\infty $-代数$ {\cal L} $定义余代数$ C({\cal L}) $。
• 应用下中心滤子和幂零性，以确保无限Maurer-Cartan级数的收敛性。
• 通过使用多项式de Rham代数$ \Omega^\bullet(\mathbb{R}) $的路径对象构造，定义$ L_\infty $-同构之间的同伦关系。
• 构造一个非常良好的路径对象$ C^+({\cal L}^\diamond)^I = C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R})) $，以建模右同伦。
• 将同伦数据转化为$ s\,{\rm Hom}(C({\cal L}), {\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R})) $中的Maurer-Cartan元素$ h = h^0 + h^1 dt $，其满足方程(5.7)和(5.8)。

实验结果

研究问题

• RQ1 在原始证明存在错误的前提下，Dolgushev 2007年论文第2.3节引理1的正确证明是什么？
• RQ2 如何将$ L_\infty $-同构恰当地解释为辅助$ L_\infty $-代数中的Maurer-Cartan元素？
• RQ3 如何定义$ L_\infty $-同构之间的同伦关系，以确保与模型范畴理论的一致性？
• RQ4 修正后的证明如何保持原始论文中定理6及其他结果的有效性？
• RQ5 是否可以利用DG余交换余代数上的模型范畴结构来表征$ L_\infty $-同构之间的同伦关系？

主要发现

• 原始论文中引理1的错误通过Dmitry Tamarkin建议的证明方法得以修正，该方法基于$ L_\infty $-同构的Maurer-Cartan解释。
• 修正后的证明表明，两个$ L_\infty $-同构同伦当且仅当它们的延拓$ F^+ $和$ \hat{F}^+ $在单位DG余交换余代数的模型范畴中同伦。
• 该同伦通过一个满足$ C^+(p_0) \circ H^+ = F^+ $和$ C^+(p_1) \circ H^+ = \hat{F}^+ $的同态$ H^+: C^+({\cal L}) \to C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R})) $实现。
• 编码同伦的Maurer-Cartan元素$ h $可分解为$ h = h^0 + h^1 dt $，其中$ h^0 $满足Maurer-Cartan方程，$ h^1 $编码形变的时间导数。
• 路径对象$ C^+({\cal L}^\diamond \otimes \Omega^\bullet(\mathbb{R})) $是一个非常良好的路径对象，确保同伦在模型范畴意义下表现良好。
• 由于修正证明的正确性以及同伦定义的稳定性，原始论文的所有结果（包括定理6）均保持有效。