[论文解读] On global deformation quantization in the algebraic case

Michel Van den Bergh|ArXiv.org|Mar 8, 2006

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

一句话总结

本文使用受德拉姆上同调启发的代数方法，而非局部坐标系，为特征零域上的光滑代数簇提供了全局代数形变量化的新证明。它建立了多向量场与多微分算子的DG-李代数之间的拟同构，无需依赖单纯形截面或全局联络，从而在代数设定下证明了孔采维奇的形式性定理。

ABSTRACT

We give a proof of Yekutieli's global algebraic deformation quantization result which does not rely on the choice of local sections of the bundle of affine coordinate systems. Instead we use an argument inspired by algebraic De Rham cohomology.

研究动机与目标

• 为叶库蒂埃的全局代数形变量化结果提供一个新且简化的证明。
• 消除对仿射坐标系丛的局部截面选择这一先前方法中的技术障碍。
• 在代数设定下建立多向量场与多微分算子之间孔采维奇形式性拟同构。
• 确保形式性同构与底层面的自同构相容。
• 证明层的DG-李代数的导出全局截面可通过托姆-沙利文正规化计算，避免使用逆超覆盖。

提出的方法

• 证明使用受德拉姆上同调启发的代数论证来构造形式性拟同构，替代了对局部坐标系截面的需求。
• 在DG-李代数的层之间构造多向量场层与多微分算子层之间的拟同构。
• 该方法依赖于单纯复形的托姆-沙利文正规化，以计算代数层的导出全局截面。
• 它利用了希尼奇在操演范畴上的预层模型结构中关于超覆盖与纤维化提升的理论。
• 该构造被证明与簇的自同构相容，确保了几何上的自然性。
• 它利用了有序Čech复形与超覆盖复形在相关导出范畴中计算相同的导出全局截面这一事实。

实验结果

研究问题

• RQ1 是否可以在不选择仿射坐标系丛的局部截面的情况下，证明代数形变量化中的全局形式性拟同构？
• RQ2 如何在避免单纯形截面或全局联络的前提下，计算DG-李代数层的导出全局截面？
• RQ3 多向量场与多微分算子之间的形式性同构是否与簇的自同构相容？
• RQ4 托姆-沙利文正规化是否可用于在代数形变量化背景下定义导出全局截面？
• RQ5 代数德拉姆上同调方法是否能在代数设定下产生一个典范且几何自然的形式性同构？

主要发现

• 本文在特征零域上的光滑代数簇上，建立了多向量场与多微分算子的DG-李代数之间的拟同构。
• 形式性同构的构造不依赖于仿射坐标系丛的局部截面选择，简化了先前的方法。
• 所得同构与簇的自同构相容，确保了几何上的自然性。
• DG-李代数层的导出全局截面通过托姆-沙利文正规化计算，提供了典范构造。
• 证明表明，在相关导出范畴中，有序Čech复形与超覆盖复形计算相同的导出全局截面。
• HKR公式作为同调上的诱导映射被恢复，确认了与经典结果的一致性。