[论文解读] BV quantization and the algebraic index

Ryan Grady, Qin Li+1 more|arXiv (Cornell University)|Jul 7, 2015

Advanced Topics in Algebra参考文献 30被引用 9

一句话总结

本文在BV形式化中构建了一个一维AKSZ型拓扑量子场论，利用辛流形上Weyl丛上的Fedosov阿贝尔联络，系统计算了所有圈次的量子修正。它将这些联络扩展至BV代数丛上的平坦结构，使得BV积分能导出形变量子化中的迹映射，并通过单圈计算为代数指标定理提供了简洁的证明。

ABSTRACT

Into a differential geometric setting, we import the physical interpretation of index theorems via semi-classical analysis in topological quantum field theory. We construct a one-dimensional (mathematical) quantum field theory of AKSZ type in the BV formalism. Its quantization requires quantum corrections for classical local functionals at all loops, which are solved exactly by Fedosov's Abelian connections on Weyl bundles over symplectic manifolds. By consideration of the observables in our effective BV theory, we extend Fedosov's Abelian connections on Weyl bundles to a flat structure on a bundle of BV algebras. This allows us to utilize the tool of BV integration to obtain the trace map associated to the deformation quantization. This leads to a simple proof of the algebraic index theorem which corresponds to the one-loop computation in topological quantum mechanics.

研究动机与目标

• 将拓扑量子场论中的指标定理嵌入微分几何框架。
• 在BV形式化中构建一维AKSZ型数学量子场论。
• 利用辛流形上Weyl丛的Fedosov阿贝尔联络，系统求解所有圈次的量子修正。
• 将Fedosov联络扩展至BV代数丛上的平坦结构，以保证BV积分的一致性。
• 通过BV积分推导形变量子化中的迹映射，并建立代数指标定理的新证明。

提出的方法

• 在BV形式化中形式化一维AKSZ型拓扑量子场论。
• 应用辛流形上Weyl丛的Fedosov阿贝尔联络，求解所有圈次的量子修正。
• 将Weyl丛结构扩展为带有平坦联络的BV代数丛，以保证量子理论的一致性。
• 利用BV积分技术定义与形变量子化相容的迹映射。
• 依赖BV代数丛的平坦性，以确保迹的规范不变性与拓扑不变性。
• 建立单圈有效作用量与代数指标定理之间的直接联系。

实验结果

研究问题

• RQ1 如何通过拓扑量子场论中的半经典分析来解释形变量子化中的指标定理？
• RQ2 Fedosov的阿贝尔联络在BV量化理论中所有圈次的量子修正中起什么作用？
• RQ3 BV形式化如何从Weyl丛扩展至带有平坦联络的BV代数丛？
• RQ4 BV积分以何种方式导出形变量子化中的迹映射？
• RQ5 此有效BV理论中的单圈计算如何导致代数指标定理的证明？

主要发现

• 在BV形式化中构建的一维AKSZ型TQFT成功地将所有圈次的量子修正纳入了经典局部泛函的框架。
• 将Weyl丛上的Fedosov阿贝尔联络扩展至BV代数丛上的平坦结构，保证了量子理论的一致性。
• BV代数丛的平坦性使得BV积分能够定义出形变量子化中行为良好的迹映射。
• 通过BV积分导出的迹映射直接作为单圈结果得到代数指标定理。
• 本文通过将代数指标定理解释为拓扑量子力学中的单圈计算，为该定理提供了新的简化证明。
• 该框架在拓扑场论中的物理半经典分析与形变量子化中的代数指标之间建立了精确的对应关系。