[论文解读] A Formality Theorem for Chains

Vasiliy Dolgushev|arXiv (Cornell University)|Feb 16, 2004

Algebraic structures and combinatorial models参考文献 23被引用 6

一句话总结

本文通过结合费多索夫的解析方法与肖伊克特对幂级数代数的同伦形式性 quasi-isomorphism，证明了光滑流形的 Hochschild 链的齐加诺形式性猜想。其关键贡献是通过该形式化框架，对任意泊松流形上的函数的量子代数中的迹进行了完整描述。

ABSTRACT

We prove Tsygan’s formality conjecture for ordinary Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y 1,...y d]] proposed in paper math.QA/0010321 by Shoikhet. This allows us to describe traces on the quantum algebra of functions on an arbitrary Poisson manifold. 1

研究动机与目标

• 建立光滑流形的 Hochschild 链的 Tsygan 形式性猜想。
• 将形式性 quasi-isomorphism 从形式幂级数代数推广到一般的光滑流形。
• 对任意泊松流形上函数的量子代数中的迹提供完整描述。
• 在 Hochschild 同调的背景下，统一费多索夫的解析方法与肖伊克特的形式性结果。

提出的方法

• 利用流形上光滑函数代数的费多索夫解析方法，构造 Hochschild 链的解析复形。
• 将肖伊克特对 R[[y₁,…,yₙ]] 的形式性 quasi-isomorphism 应用于流形上每一点的局部形式邻域。
• 通过费多索夫解析方法，将局部形式性映射粘合，构造全局形式性 quasi-isomorphism。
• 采用微分几何与同调代数技术，确保与泊松结构的相容性。
• 依赖于 Hochschild 链与 de Rham 复形通过费多索夫方法的 quasi-isomorphism 关系。
• 建立 Hochschild 链与微分形式之间的链级形式性，从而实现迹的计算。

实验结果

研究问题

• RQ1 能否使用现有的解析方法证明光滑流形的 Hochschild 链的 Tsygan 形式性猜想？
• RQ2 如何将肖伊克特对形式幂级数的结果推广到全局光滑流形？
• RQ3 任意泊松流形上函数的量子代数中的迹具有怎样的结构？
• RQ4 是否存在 Hochschild 链与光滑流形上微分形式之间的典范形式性 quasi-isomorphism？
• RQ5 费多索夫解析方法能否用于构造与泊松结构相容的全局形式性映射？

主要发现

• 本文通过费多索夫解析方法，建立了 C∞(M) 的 Hochschild 链与 de Rham 复形之间的形式性 quasi-isomorphism。
• 证明了任意光滑流形 M 上 Hochschild 链的 Tsygan 形式性猜想。
• 该构造为任意泊松流形上函数的量子代数中的迹提供了典范描述。
• 该方法通过费多索夫解析方法，将肖伊克特的局部形式性结果推广至全局情形。
• 该结果以微分形式与泊松结构的显式表达，提供了迹映射的完整且明确的描述。
• 该形式化框架使得在变形量子化中无需依赖形式幂级数即可计算迹。