[论文解读] Lectures on Batalin-Vilkovisky formalism and its applications in topological quantum field theory

Pavel Mnëv|arXiv (Cornell University)|Jul 25, 2017

Black Holes and Theoretical Physics参考文献 30被引用 19

一句话总结

本文为拓扑量子场论（TQFT）中微扰路径积分的巴蒂林-维利科夫斯基（BV）形式化提供了全面且数学严谨的介绍，重点聚焦于规范场论（如陈-西蒙斯理论）。它展示了如何通过AKSZ构造和纤维BV积分，从代数角度解释费曼图权重的起源并确保规范不变性，关键成果包括微扰陈-西蒙斯划分函数的编织依赖性，以及通过雅可比恒等式实现边界贡献的图解抵消。

ABSTRACT

Lecture notes for the course "Batalin-Vilkovisky formalism and applications in topological quantum field theory" given at the University of Notre Dame in the Fall 2016 for a mathematical audience. In these lectures we give a slow introduction to the perturbative path integral for gauge theories in Batalin-Vilkovisky formalism and the associated mathematical concepts.

研究动机与目标

• 为无物理背景的研究生和研究人员提供一份自包含的、以数学为导向的巴蒂林-维利科夫斯基（BV）形式化入门。
• 通过有限维模型作为无限维场论的代理，解释规范场论（尤其是拓扑场论）的微扰路径积分量化。
• 阐明陈-西蒙斯理论中费曼图权重的代数起源及其通过BV形式化实现的规范不变结构。
• 确立BV-斯托克斯定理与典范变换在确保微扰划分函数与规范固定选择无关性中的作用。
• 展示AKSZ构造如何统一并解释陈-西蒙斯及其相关理论中微扰振幅的紧凑形式。

提出的方法

• 采用有限维模型方法处理路径积分，利用超流形与分次微分几何形式化BV框架。
• 在引入完整BV形式化前，以法捷耶夫-波波夫方法为前奏，引入鬼场与BRST对称性。
• 利用微分分次流形（Q-流形）与奇性辛结构定义经典与量子主方程。
• 应用纤维BV积分与BV拉普拉斯技术处理规范固定，并推导模空间上的有效作用量。
• 通过AKSZ构造从高阶范畴与几何视角推导陈-西蒙斯作用量及其微扰展开。
• 应用BV积分的斯托克斯定理，证明微扰展开中规范不变性与量子主方程的满足。

实验结果

研究问题

• RQ1 在缺乏背景度量的情况下，特别是拓扑场论中，如何严格定义规范场论的微扰路径积分？
• RQ2 费曼图振幅中规范固定依赖性的代数机制是什么？
• RQ3 为何微扰陈-西蒙斯划分函数依赖于3-流形的编织结构？这与无限维边界贡献有何关联？
• RQ4 BV形式化如何解释陈-西蒙斯理论中费曼权重的紧凑对称形式，尤其是当传播子分解为(p,q)-型形式时？
• RQ5 AKSZ构造在统一与简化拓扑场论微扰展开中扮演何种角色？

主要发现

• 微扰陈-西蒙斯划分函数由三价费曼图的和给出，其权重由传播子的(p,q)-型分解决定，从而得到一个紧凑表达式，解释了法捷耶夫-波波夫奇迹。
• 由于配置空间中隐藏的边界层结构，划分函数表现出编织依赖性；这种现象在有限维BV模型中不存在，但在场论中存在。
• BV-斯托克斯定理确保了微扰路径积分的规范不变性，图解抵消源于雅可比恒等式与图的组合结构。
• 在上同调上的有效作用量满足量子主方程，该结论通过在紧化配置空间上应用斯托克斯定理证明，可推广至具有子流形上可观测量的理论。
• AKSZ构造为陈-西蒙斯作用量及其微扰振幅提供了几何起源，解释了传播子分解为(2,0)、(1,1)与(0,2)分量的根源。
• 基于循环微分分次李代数的有限维BV积分模型在陈-西蒙斯理论中，由于BV-斯托克斯定理而得到规范不变的结果，且无无限维边界效应的对应物。