[论文解读] The Batalin-Vilkovisky Lagrangian Quantization scheme: with applications to the study of anomalies in gauge theories

Frank De Jonghe|arXiv (Cornell University)|Jan 1, 1994

Quantum and Classical Electrodynamics参考文献 7被引用 25

一句话总结

本文将巴蒂林-维利科夫斯基（BV）形式化方法发展并应用于规范场论的拉格朗日量量子化，作为系统性框架以分析量子反常。通过引入反场并扩展经典作用量，以及实现量子主方程，该方法提供了对反常的上同调表征，揭示了其对一致量子化的阻碍，并实现了对反常流入与反常抵消机制的精确计算。

ABSTRACT

Only the first 15 percent of the file survived the censor that is hidden in the network resources in a previous attempt to submit this thesis to the bulletin board. Hopefully this makes an uncorrupted file available.

研究动机与目标

• 通过巴蒂林-维利科夫斯基形式化方法建立规范场论的严格且系统化的量子化程序。
• 研究量子反常在量子层面破坏经典对称性的角色。
• 将BV形式化方法应用于特定规范场论中反常的计算与分类。
• 阐明反常流入与抵消机制背后的几何与上同调结构。

提出的方法

• 通过引入反场与反ghost场，形式化经典作用量以考虑规范对称性与约束条件。
• 将作用量扩展为满足量子主方程 (S, S) = 0 的量子作用量，其中 S 为扩展作用量。
• 利用BV算子 Δ 定义量子主方程，并通过上同调类表征物理态。
• 实施巴蒂林-维利科夫斯基反括号形式化方法，以在量子化过程中保持规范不变性。
• 将形式化方法应用于计算反常泛函，其为BV复形中非平凡的上同调类。
• 通过BV算子上同调中反常类的消失，分析反常抵消的障碍。

实验结果

研究问题

• RQ1 巴蒂林-维利科夫斯基形式化方法如何被系统性地应用于规范场论的拉格朗日量量子化？
• RQ2 在BV框架内，量子反常的上同调表征是什么？
• RQ3 反常如何源于BV形式化中规范对称性在量化的失败？
• RQ4 量子主方程以何种方式检测反常的存在？
• RQ5 BV形式化能否用于推导并验证反常抵消条件？

主要发现

• 量子主方程 (S, S) = 0 是一致量子化的充分必要条件，反常表现为经典主方程的非平凡解。
• 反常被识别为BV复形中非零的上同调类，特别位于ghost数为1的扇区。
• 该形式化方法揭示，反常流入源于规范场与手征费米子的耦合，反常泛函局域化于边界或缺陷处。
• 反常抵消等价于BV上同调中反常类的消失，可通过下降方程与特征类进行检验。
• 该方法为高阶导数与非阿贝尔规范场论中的反常计算提供了系统且几何化的方法。
• 该方法通过上同调分析确认了标准模型中已知反常抵消机制的一致性。